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
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A Clifford Algebraic Method for Geometric Reasoning
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 '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.00 |