Mechanical geometry theorem proving
Mechanical geometry theorem proving
A polynomial-time algorithm for the topological type of a real algebraic curve
Journal of Symbolic Computation
Algebraic methods for geometric reasoning
Annual review of computer science: vol. 3, 1988
An efficient method for analyzing the topology of plane real algebraic curves
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Hi-index | 0.00 |
In this paper we show that computer algebra methods in mechanical geometry theorem proving can also be applied to obtain new theorems involving inequalities. An interesting feature is that in real geometry, several cases can occur, none of them being more generic than the other. The examples we give come from the geometry of the triangle, more precisely comparing radii of circles defined in the triangle.