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

  • Lu Yang
  • Ju Zhang
Conference paper

DOI: 10.1007/3-540-45410-1_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2061)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Lu Yang
    • 1
  • Ju Zhang
    • 2
  1. 1.Chengdu Institute of Computer ApplicationsChinese Academy of SciencesChina
  2. 2.GCTECH Info. Tech. Ltd.BeijingChina

Personalised recommendations