On One Method of Proving Inequalities in Automated Way
From MaRDI portal
Publication:3102741
DOI10.1007/978-3-642-25070-5_9zbMath1350.68242OpenAlexW92926489MaRDI 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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
This page was built for publication: On One Method of Proving Inequalities in Automated Way
