A Practical Program of Automated Proving for a Class of Geometric Inequalities
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.
- 2.Chou, S. C. Gao, X. S. & Arnon, D. S., On the mechanical proof of geometry theorems involving inequalities, Advances in Computing Research, 6, JAI Press Inc., pp. 139–181, 1992.Google Scholar
- 4.Dolzmann, A. Sturm, T. & Weispfenning, V. Real quantifier elimination in practice, Algorithmic Algebra and Number Theory, B. H. Matzat, G.-M. Greuel & G. Hiss (eds.), Springer-Verlag, Berlin Heidelberg, pp. 221–247, 1998.Google Scholar
- 5.Janous, W., Problem 1137, Crux Math., 12, 79, 177, 1986.Google Scholar
- 6.Kuang, J. C. Applied Inequalities (in Chinese), 2nd ed., Hunan Educational Publishing House, China, 1993.Google Scholar
- 7.Liu, B. Q., A collection of geometric inequalities discovered with BOTTEMA (in Chinese), Research Communications on Inequalities, 31, 2001 (to appear).Google Scholar
- 8.McPhee, N. F., Chou, S. C. & Gao, X. S.: Mechanically proving geometry theorems using a combination of Wu’s method and Collins’ method. Proc. CADE-12, LNCS 814, Springer-Verlag, Berlin Heidelberg, pp. 401–415, 1994.Google Scholar
- 10.Shan, Z. (ed.), Geometric Inequality in China (in Chinese), Jiangsu Educational Publishing House, China, 1996.Google Scholar
- 12.Wu W.-t., On global-optimization problems, Proc. ASCM’ 98, Lanzhou University Press, Lanzhou, pp. 135–138, 1998.Google Scholar