View in EDS

A verified Common Lisp implementation of Buchberger’s algorithm in ACL2

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first