Repositorio de producción científica de la Universidad de Sevilla

Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

 

Advanced Search
 
Opened Access Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Cites

Show item statistics
Icon
Export to
Author: Medina Bulo, Inmaculada
Palomo Lozano, Francisco
Alonso Jiménez, José Antonio
Ruiz Reina, José Luis
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2004
Published in: AISC 2004: 7th International Conference on Artificial Intelligence and Symbolic Computation (2004), p 171-184
ISBN/ISSN: 978-3-540-23212-4
0302-9743
Document type: Presentation
Abstract: 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.
Cite: 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.
Size: 257.2Kb
Format: PDF

URI: https://hdl.handle.net/11441/86466

DOI: 10.1007/978-3-540-30210-0_15

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)