On One Method of Proving Inequalities in Automated Way

DOI10.1007/978-3-642-25070-5_9zbMath1350.68242OpenAlexW92926489MaRDI QIDQ3102741

Pavel Pech

Publication date: 25 November 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_9

zbMATH Keywords

automated geometry theorem provinggeometric inequalities

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Inequalities and extremum problems in real or complex geometry (51M16)

Uses Software

• Unnamed Item

Cites Work

• Some geometric properties of successive difference substitutions
• On protocols for the automated discovery of theorems in elementary geometry
• A refutational approach to geometry theorem proving
• Elimination methods
• The orthocentric simplex as an extreme simplex
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On One Method of Proving Inequalities in Automated Way