Details:
| Title | Automated Reasoning in Geometries Using the Characteristic Set Method and Groebner Basis Method | | Author(s) | Shang-Ching Chou | | Type | Article in Conference Proceedings | | Length | 5 |
| Language | English | | Pages | 255-260 | | Year | 1990 | | Translation |
No | | Refereed |
No | | Conferencename | International Symposium on Symbolic and Algebraic Computation |
|
