A Practical Program of Automated Proving for a Class of Geometric Inequalities

Authors:
Lu Yang;Ju Zhang
Affiliations:
-;-
Venue:
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Year:
2000

Citing 3
Cited 2

A New Approach for Automatic Theorem Proving in Real Geometry

Journal of Automated Reasoning
Automated Discovering and Proving for Geometric Inequalities

ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method

CADE-12 Proceedings of the 12th International Conference on Automated Deduction

Symbolic solution of a piano movers' problem with four parameters

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
On one method of proving inequalities in automated way

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.