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
Año de publicación: 2005
Volumen: 3643 LNCS
Páginas: 111-120
Tipo: Aportación congreso