Automated geometry theorem proving using Buchberger's algorithm
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Automated reasoning in geometries using the characteristic set method and Gröbner basis method
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Refutational proofs of geometry theorems via characteristic set computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Automated geometry theorem proving by vector calculation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Limits of theory sequences over algebraically closed fields and applications
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.00 |