Vectorial Equations Solving for Mechanical Geometry Theorem Proving
Journal of Automated Reasoning
Journal of Automated Reasoning
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Clifford Term Rewriting for Geometric Reasoning in 3D
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
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
Qubit Logic, Algebra and Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving
Fundamenta Informaticae
Hi-index | 0.01 |