Date: 11 Sep 2001

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

* Final gross prices may vary according to local VAT.

Get Access

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.

The work is supported in part by NKBRSF-(G1998030602). Lu Yang is concurrently at Guangzhou University, Guangzhou 510405, China.

Acknowledgements

The authors would like to thank the anonymous referees to this paper for their valuable suggestions.