An Application of Automatic Theorem Proving in Computer Vision
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence
Connecting the 3D DGS Calques3D with the CAS Maple
Mathematics and Computers in Simulation
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |