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
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third 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
Remarks on Geometric Theorem Proving
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
Limits of theory sequences over algebraically closed fields and applications
Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)
Automatic determination of envelopes and other derived curves within a graphic environment
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
Science of Computer Programming
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
On the need of radical ideals in automatic proving: a theorem about regular polygons
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
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
On the parametric representation of dynamic geometry constructions
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
On one method of proving inequalities in automated way
ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
| Hi-index | 0.00 |