FRANCISCO
PALOMO LOZANO
Profesor Titular de Escuela Universitaria
José Luis
Ruiz Reina
Publicacions en què col·labora amb José Luis Ruiz Reina (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