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

Ano de publicación: 2005

Volume: 3643 LNCS

Páxinas: 111-120

Tipo: Achega congreso

DOI: 10.1007/11556985_16 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable