Automated Discovery in Elementary Extrema Problems

DOI10.1007/11758525_63MaRDI QIDQ3545112zbMATH OpenOpenAlexFDO

Authors Francisco Botana, J. L. Valcarce

Publication date 9 December 2008

Published in Computational Science – ICCS 2006 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11758525_63

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated Deduction in Geometry
• An introduction to automated discovery in geometry through symbolic computation
• Towards the Automatic Discovery of Theorems in GeoGebra
• Development of automatic reasoning tools in GeoGebra
• Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery

Cited in

(3)

• Using jointly geometry and algebra to determine RC-constructibility
• Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery
• Toward automating the discovery of decreasing measures

Describes a project that uses

Uses Software

• Lugares
• Cinderella
• CoCoA

This page was built for publication: Automated Discovery in Elementary Extrema Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3545112)