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
• scientific article; zbMATH DE number 1684357

Cited in

(3)

• scientific article; zbMATH DE number 1684357 (Why is no real title available?)
• Toward automating the discovery of decreasing measures
• Using jointly geometry and algebra to determine RC-constructibility

Describes a project that uses

Uses Software

• Cinderella
• CoCoA
• Lugares

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)