Details:
| Title | COMPACT: Reduction of a Polynomial in the Presence of Side Relations | | Author(s) | Anthony C. Hearn | | Type | Technical Report, Misc | | Abstract | Compact is a package of functions for the reduction of a polynomial in the presence of side relations. |
| Language | English | | Year | 2005 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
