On One Method of Proving Inequalities in Automated Way
From MaRDI portal
Publication:3102741
DOI10.1007/978-3-642-25070-5_9zbMath1350.68242MaRDI QIDQ3102741
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
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
51M16: Inequalities and extremum problems in real or complex geometry
Uses Software
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