Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10325758 | Journal of Symbolic Computation | 2005 | 29 Pages |
Abstract
We have implemented our method as a Mathematicaâ¢Â package, embedded in the THâOREMâ system developed in the group of Prof. Bruno Buchberger. We show some computations performed by this package.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Markus Rosenkranz,