FRANCISCO
PALOMO LOZANO
Profesor Titular de Escuela Universitaria
![Foto de José Luis](/img/nophoto.png)
José Luis
Ruiz Reina
José Luis Ruiz Reina-rekin lankidetzan egindako argitalpenak (2)
2010
-
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123
2004
-
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184