Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
Cylindrical algebraic decomposition II: an adjacency algorithm for the plane
SIAM Journal on Computing
Refutational theorem proving using term-rewriting systems
Artificial Intelligence
On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation
Realization of a geometry-theorem proving machine
Computers & thought
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
A criterion for detecting unnecessary reductions in the construction of Groebner bases
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
On solving systems of algebraic equations via ideal bases and elimination theory
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
The complexity of elementary algebra and geometry
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
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
A complete and practical algorithm for geometric theorem proving (extended abstract)
Proceedings of the eleventh annual symposium on Computational geometry
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A Complex Change of Variables for Geometrical Reasoning
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
The Kinds of Truth of Geometry Theorems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
AI Research in China: 50 Years down the Road
IEEE Intelligent Systems
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Visually Dynamic Presentation of Proofs in Plane Geometry
Journal of Automated Reasoning
Proof certificates for algebra and their application to automatic geometry theorem proving
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Formalization of wu's simple method in coq
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Journal of Automated Reasoning
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.00 |