Automated Deduction in Geometry

Volume 2061 of the series Lecture Notes in Computer Science pp 41-57


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

  • Lu YangAffiliated withChengdu Institute of Computer Applications, Chinese Academy of Sciences
  • , Ju ZhangAffiliated withGCTECH Info. Tech. Ltd.

* Final gross prices may vary according to local VAT.

Get Access


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.