Publicaciones en las que colabora con José Luis Ruiz Reina (2)

2010

  1. A verified Common Lisp implementation of Buchberger's algorithm in ACL2

    Journal of Symbolic Computation, Vol. 45, Núm. 1, pp. 96-123

2004

  1. 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