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.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540290025

Año de publicación: 2005

Volumen: 3643 LNCS

Páginas: 111-120

Tipo: Aportación congreso

DOI: 10.1007/11556985_16 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible