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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bottema, O. Dordevic, R. Z. Janic, R. R. Mitrinovic, D. S. & Vasic, P. M. Geometric Inequalities, Wolters-Noordhoff Publishing, Groningen, The Netherlands, 1969.
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.
Dolzmann, A., Sturm, T. & Weispfenning, V., A new approach for automatic theorem proving in real geometry, Journal of Automated Reasoning, 21(3), 357–380, 1998.
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.
Janous, W., Problem 1137, Crux Math., 12, 79, 177, 1986.
Kuang, J. C. Applied Inequalities (in Chinese), 2nd ed., Hunan Educational Publishing House, China, 1993.
Liu, B. Q., A collection of geometric inequalities discovered with BOTTEMA (in Chinese), Research Communications on Inequalities, 31, 2001 (to appear).
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.
Mitrinovic, D. S., Pecaric, J. E. & Volenec, V., Recent Advances in Geometric Inequalities, Kluwer Academic Publishers, Boston Dordrecht, 1989.
Shan, Z. (ed.), Geometric Inequality in China (in Chinese), Jiangsu Educational Publishing House, China, 1996.
Wu W.-t., On a finiteness theorem about problem involving inequalities, Sys. Sci. & Math. Scis., 7, 193–200, 1994.
Wu W.-t., On global-optimization problems, Proc. ASCM’ 98, Lanzhou University Press, Lanzhou, pp. 135–138, 1998.
Yang, L., Recent advances in automated theorem proving on inequalities, J. Comput. Sci. & Technol., 14(5), 434–446, 1999.
Yang, L., Hou, X. R. & Xia, B. C., Automated discovering and proving for geometric inequalities, Automated Deduction in Geometry, X. S. Gao, D. Wang & L. Yang (eds.), LNAI 1669, Springer-Verlag, Berlin Heidelberg, pp. 30–46, 1999.
Yang, L., Hou, X. R. & Xia, B. C., A complete algorithm for automated discovering of a class of inequality-type theorems, Science in China, Series F 44(1), 33–49, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-45410-1_4
Download citation
DOI: https://doi.org/10.1007/3-540-45410-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42598-4
Online ISBN: 978-3-540-45410-6
eBook Packages: Springer Book Archive