Automated reasoning in geometries using the characteristic set method and Gröbner basis method
Saved in:
| Published in | Proceedings of the international symposium on Symbolic and algebraic computation |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/96877.96942 |
Cover
| DOI: | 10.1145/96877.96942 |
|---|