Abstract
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. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Botana, F., & Valcarce, J. L. (2006). Automated discovery in elementary extrema problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3992 LNCS-II, pp. 470–477). Springer Verlag. https://doi.org/10.1007/11758525_63
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
