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
ISSN: 0302-9743, 1611-3349
ISBN: 9783540290025
Ano de publicación: 2005
Volume: 3643 LNCS
Páxinas: 111-120
Tipo: Achega congreso