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

  1. Medina-Bulo, I.
  2. Palomo-Lozano, F.
  3. Ruiz-Reina, J.-L.
Journal:
Journal of Symbolic Computation

ISSN: 0747-7171

Year of publication: 2010

Volume: 45

Issue: 1

Pages: 96-123

Type: Article

DOI: 10.1016/J.JSC.2009.07.002 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus