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 |
|