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 (2)

• Toward automating the discovery of decreasing measures
• Using jointly geometry and algebra to determine RC-constructibility

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)