Automated Discovery in Elementary Extrema Problems

DOI10.1007/11758525_63zbMATH Open1155.68590OpenAlexW195568664MaRDI QIDQ3545112FDOQ3545112

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)

Cited In (3)

• Toward automating the discovery of decreasing measures
• Using jointly geometry and algebra to determine RC-constructibility
• Title not available (Why is that?)

Uses Software

• Cinderella
• CoCoA
• Lugares

   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 👍 👎
• Title not available (Why is that?) 👍 👎

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)