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

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

ISSN: 0747-7171

Datum der Publikation: 2010

Ausgabe: 45

Nummer: 1

Seiten: 96-123

Art: Artikel

DOI: 10.1016/J.JSC.2009.07.002 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus