Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleVerified Computer Algebra in ACL2 (Gröbner Bases Computation)
Author(s) Jose Antonio Alonso
TypeArticle in Conference Proceedings
AbstractIn 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.
KeywordsAutomated Reasoning, Verification, Computer Algebra, Gröbner bases, Buchberger's Algorithm, ACL2
Length14
ISBN3-540-23212-5
ISSN0302-9743
File
LanguageEnglish
JournalLNCS
SeriesLNAI
Volume3249
Pages171-184
PublisherSpringer-Verlag
Year2004
MonthSeptember
Edition0
Translation No
Refereed Yes
Conferencename Artificial Intelligence and Symbolic Mathematical Computation
Webmaster