On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mechanical geometry theorem proving
Mechanical geometry theorem proving
A refutational approach to geometry theorem proving
Geometric reasoning
Realization of a geometry-theorem proving machine
Computers & thought
An Improved Sign Determination Algorithm
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Computing Roadmaps of General Semi-Algebraic Sets
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Computing exact geometric predicates using modular arithmetic with single precision
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
MARS: a MAPLE/MATLAB/C resultant-based solver
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Numerical decomposition of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Geometric constraint solving: The witness configuration method
Computer-Aided Design
| Hi-index | 0.00 |