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
Year of publication: 2005
Volume: 3643 LNCS
Pages: 111-120
Type: Conference paper
ISSN: 0302-9743, 1611-3349
ISBN: 9783540290025
Year of publication: 2005
Volume: 3643 LNCS
Pages: 111-120
Type: Conference paper