Verified Computer Algebra in ACL2 1st Edition by Medina Bulo, Palomo Lozano, Alonso Jiménez, Ruiz Reina 9783540232124
Original price was: $50.00.$35.00Current price is: $35.00.
Authors:I. Medina-Bulo, F. Palomo-Lozano, J.A. Alonso-Jiménez; J.L. Ruiz-Reina , Tags:Artificial Intelligence and Symbolic Computation , Author sort:I. Medina-Bulo, F. Palomo-Lozano, J.A. Alonso-Jiménez & Ruiz-Reina, J.L. , Languages:Languages:eng , Published:Published:Dec 2004
Verified Computer Algebra in ACL2 1st Edition by Medina Bulo, Palomo Lozano, Alonso Jiménez, Ruiz Reina – Ebook PDF Instant Download/Delivery. 9783540232124
Full download Verified Computer Algebra in ACL2 1st Edition after payment
Product details:
ISBN 13: 9783540232124
Author: Medina-Bulo, F. Palomo-Lozano, J.A. Alonso-Jiménez; J.L. Ruiz-Reina
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.
Verified Computer Algebra in ACL2 1st Table of contents:
1 Introduction
2 The Acl2 System
3 Polynomial Rings and Ideals
4 Polynomial Reductions
5Gr¨obner Bases
6 Buchberger’s Algorithm
7 Conclusions
People also search for Verified Computer Algebra in ACL2 1st:
virtualsc algebra 2 answers
vlacs algebra 2
vlacs algebra 1
algebra acc
You may also like…
eBook PDF
Monobloc and facial bipartition osteotomies 1st edition by Ramon Ruiz, Timothy Turvey, Paul Tiwana
eBook PDF
Seminars in Orthodontics June 2019 Volume 25 Issue 2 1st edition by Leena Palomo ISSN 1073-8746
