A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
GEOTHER: A Geometry Theorem Prover
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Automatic determination of envelopes and other derived curves within a graphic environment
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Towards a geometric-object-oriented language
ADG'04 Proceedings of the 5th 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 |
This paper describes an enhancement of GDI, a dynamic geometry environment that uses symbolic techniques for performing automatic proof and discovery in elementary geometry. We report a successful add–on that automatically discovers critical points in elementary extrema problems specified via diagrams. Based in classical one variable calculus, the new module, Optimus, is a step ahead in the cooperation between dynamic geometry and computer algebra systems. It can be used in technology rich environments for mathematics education, adding new calculus abilities to dynamic geometry software.