Details:
Title  Verified Computer Algebra in ACL2 (Gröbner Bases Computation)  Author(s)  Jose Antonio Alonso  Type  Article in Conference Proceedings  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 systeand shows how verified Computer Algebra can be achieved in an executable logic.  Keywords  Automated Reasoning, Verification, Computer Algebra, Gröbner bases, Buchberger's Algorithm, ACL2  Length  14  ISBN  3540232125  ISSN  03029743 
File 
 Language  English  Journal  LNCS  Series  LNAI  Volume  3249  Pages  171184  Publisher  SpringerVerlag  Year  2004  Month  September  Edition  0  Translation 
No  Refereed 
Yes  Conferencename  Artificial Intelligence and Symbolic Mathematical Computation 
