Details:
| Title | Geometry Theorem Proving by Gr\"oBner Bases: Using Ideal Decompositions | | Author(s) | Arai Chisato, Shuichi Moritsugu | | Type | Article in Journal | | ISSN | 1932-2240 |
| URL |
http://doi.acm.org/10.1145/1504347.1504366 |
| Language | English | | Journal | ACM Commun. Comput. Algebra | | Volume | 42 | | Number | 3 | | Pages | 158--159 | | Publisher | ACM | | Address | New York, NY, USA | | Year | 2009 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
