A verified Common Lisp implementation of Buchberger’s algorithm in ACL2
Saved in:
| Title: | A verified Common Lisp implementation of Buchberger’s algorithm in ACL2 |
|---|---|
| Authors: | Medina-Bulo, Inmaculada1, http://neptuno.uca.es/~inmame, Palomo-Lozano, Francisco1, http://neptuno.uca.es/~palomo, Ruiz-Reina, José-Luis2, http://www.cs.us.es/~jruiz |
| Source: | Journal of Symbolic Computation; Jan2010, Vol. 45 Issue 1, p96-123, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 07477171 |
|---|---|
| DOI: | 10.1016/j.jsc.2009.07.002 |
