Details:
Title | Software for discussing parametric polynomial systems: the Gr\"obner cover. | Author(s) | Antonio Montes, Michael Wibmer | Type | Book, Chapter in Book, Conference Proceeding | Abstract | | Keywords | Groebner cover, parametric polynomial, canonical algorithm, automatic theorem discovering | ISBN | 978-3-662-44198-5/pbk |
URL |
http://link.springer.com/chapter/10.1007%2F978-3-662-44199-2_62 |
Language | English | Pages | 406--413 | Publisher | Berlin: Springer | Year | 2014 | Edition | 0 | Translation |
No | Refereed |
No |
|