Towards a certified and efficient computing of gröbrier bases

  1. Jorge, J.S.
  2. Gulías, V.M.
  3. Freire, J.L.
  4. Sánchez, J.J.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540290025

Year of publication: 2005

Volume: 3643 LNCS

Pages: 111-120

Type: Conference paper

DOI: 10.1007/11556985_16 GOOGLE SCHOLAR

Sustainable development goals