A Practical Program of Automated Proving for a Class of Geometric Inequalities
- Cite this paper as:
- Yang L., Zhang J. (2001) A Practical Program of Automated Proving for a Class of Geometric Inequalities. In: Richter-Gebert J., Wang D. (eds) Automated Deduction in Geometry. ADG 2000. Lecture Notes in Computer Science, vol 2061. Springer, Berlin, Heidelberg
An inequality-proving algorithm based on cell decomposition and a practical program written in Maple are presented, which can efficiently treat inequality-type theorems involving radicals, especially, a class of geometric inequalities including most of the theorems in a wellknown book on the subject.
Unable to display preview. Download preview PDF.