Ponencia
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Autor/es | Medina Bulo, Inmaculada
Palomo Lozano, Francisco Alonso Jiménez, José Antonio Ruiz Reina, José Luis |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2004 |
Fecha de depósito | 2019-05-17 |
Publicado en |
|
ISBN/ISSN | 978-3-540-23212-4 0302-9743 |
Resumen | In this paper, we present the formal verification of a Common
Lisp implementation of Buchberger’s algorithm for computing
Gröbner bases of polynomial ideals. This work is carried out in the Acl2
system and shows how ... In this paper, we present the formal verification of a Common Lisp implementation of Buchberger’s algorithm for computing Gröbner bases of polynomial ideals. This work is carried out in the Acl2 system and shows how verified Computer Algebra can be achieved in an executable logic. |
Cita | Medina Bulo, I., Palomo Lozano, F., Alonso Jiménez, J.A. y Ruiz Reina, J.L. (2004). Verified Computer Algebra in ACL2 (Gröbner Bases Computation). En AISC 2004: 7th International Conference on Artificial Intelligence and Symbolic Computation (171-184), Linz, Austria: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Verified Computer Algebra in ... | 257.2Kb | [PDF] | Ver/ | |