Certifying properties of an efficient functional program for computing Gröbner bases
- Jorge, J.S.
- Gulias, V.M.
- Freire, J.L.
ISSN: 0747-7171
Year of publication: 2009
Volume: 44
Issue: 5
Pages: 571-582
Type: Article
ISSN: 0747-7171
Year of publication: 2009
Volume: 44
Issue: 5
Pages: 571-582
Type: Article