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

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

ISSN: 0747-7171

Any de publicació: 2010

Volum: 45

Número: 1

Pàgines: 96-123

Tipus: Article

DOI: 10.1016/J.JSC.2009.07.002 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus