Abstract
In order to establish and prove the inequality easily, the descending dimension method is applied in it. The descending dimension method is applied to establish some inequalities, and the corresponding proof process is obtained. In addition the algorithm programmer is compiled. The descending dimension method can be applied in inequality research widely.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lu, Y.: A dimension decreasing algorithm with generic program for automated inequality proving. Chin. High Technol. Lett. 7(7), 20–25 (1998)
Wen, J., Wang, W., Lu, Y.: The method of descending dimension for establishing inequalities (I). J. Southwest Univ. Natl. (Nat. Sci.) 29(5), 527–532 (2003)
Yang, H., Wen, J., Wang, W.: The method of descending dimension for establishing inequalities (II). J. Sichuan Univ. (Nat. Sci.) 44(4), 753–758 (2007)
Bartosz, K., Cheng, X., Kalita, P., Yu, Y., Zheng, C.: Rothe method for parabolic variational–hemivariational inequalities. J. Math. Anal. Appl. 423(2), 841–862 (2015)
Ledoux, M.: A (one-dimensional) free Brunn-Minkowski inequality. C. R. Math. 340(4), 301–304 (2005)
Acknowledgments
This work is supported by the Fund Project of Yangtze University College of Technology & Engineering (No. 2016KY05). In addition, the author would particularly like to thank the anonymous reviewers for helpful suggestion.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ran, Q. (2019). Study on Establishment and Proof of Inequality Based on Descending Dimension Method. In: Xhafa, F., Patnaik, S., Tavana, M. (eds) Advances in Intelligent, Interactive Systems and Applications. IISA 2018. Advances in Intelligent Systems and Computing, vol 885. Springer, Cham. https://doi.org/10.1007/978-3-030-02804-6_41
Download citation
DOI: https://doi.org/10.1007/978-3-030-02804-6_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02803-9
Online ISBN: 978-3-030-02804-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)