Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Computing Locus Equations for Standard Dynamic Geometry Environments
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation
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
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Automated discovery in elementary extrema problems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |