Automated Discovering and Proving for Geometric Inequalities
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
Computer algebra handbook
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Proof certificates for algebra and their application to automatic geometry theorem proving
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Planar generalized stewart platforms and their direct kinematics
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation
Classification of direct kinematics to planar generalized Stewart platforms
Computational Geometry: Theory and Applications
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Computer algebra methods in the study of nonlinear differential systems
Computational Mathematics and Mathematical Physics
Hi-index | 0.00 |