A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
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
Clifford Term Rewriting for Geometric Reasoning in 3D
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Symbolic solution of a piano movers' problem with four parameters
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Hi-index | 0.00 |