ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Computer Algebra"
Mostrando ítems 1-1 de 1
-
Artículo
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
(Elsevier, 2010)In this article, we present the formal verification of a Common Lisp implementation of Buchberger's algorithm for ...