不等式的分拆降维降幂方法与可读证明2016.1陈胜利, 著 不等式的分拆降维降幂方法与可读证明2020.7陈胜利, 著 解不等式及证明不等式的方法2016.12谷学勤, 编著 初等不等式的证明方法2011.5韩京俊, 编著 初等不等式的证明方法2014.11韩京俊, 编著 代数不等式的证明2017.3单墫, 著 不等式·理论·方法2015.7王向东, 苏化明, 王方汉, 编著 不等式·理论·方法2015.7王向东, 苏化明, 王方汉, 编著 不等式机器证明与自动发现2007.杨路, 夏壁灿, 著 不等式2008.10(英) 哈代 (Hardy,G.H.) , (英) 利特尔伍德 (Littlewood,J.E.) , (美) 波利亚 (Pólya,G.) , 著 不等式·理论·方法2015.7王向东, 苏化明, 王方汉, 编著 不等式2020.7(英) 戈弗雷·哈代, (英) 约翰·李特尔伍德, (美) 乔治·波利亚, 著 无理不等式的证明与思考2017.8文湘波, 易桂如, 编著 不等式2012.1(英) 加林 (Garling,D.J.H.) , 著 不等式2018.8(英) G.H.哈代, (英) J.J.E.利特尔伍德, (英) G.波利亚, 著