Towards a certified and efficient computing of gröbrier bases
- Jorge, J.S.
- Gulías, V.M.
- Freire, J.L.
- Sánchez, J.J.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540290025
Ano de publicación: 2005
Volume: 3643 LNCS
Páxinas: 111-120
Tipo: Achega congreso
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
