Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9652863 | Journal of Symbolic Computation | 2005 | 19 Pages |
Abstract
We show that the application of criteria enforces the termination of the involutive basis algorithm independent of the prolongation selection strategy.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Joachim Apel, Ralf Hemmecke,