Title | Detecting Unnecessary Reductions in an Involutive Basis Computation |
Author(s) | Joachim Apel, Ralf Hemmecke |
Type | Article in Journal |
Abstract | |
Keywords | |
ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/journal/07477171 |
Language | English |
Journal | Journal of Symbolic Computation |
Volume | 40 |
Number | 4--5 |
Pages | 1131--1149 |
Year | 2005 |
Edition | 0 |
Translation |
No |
Refereed |
No |
Sponsors | Austrian Science Foundation (FWF), SFB F013, project 1304 and Naturwissenschaftlich-Theoretisches
Zentrum (NTZ) of the University of Leipzig |