不等式机器证明与自动发现2007.杨路, 夏壁灿, 著 无理不等式的证明与思考2017.8文湘波, 易桂如, 编著 数学奥林匹克不等式欣赏2011.8邓寿才, 著 数学奥林匹克不等式研究2009.07杨学枝, 著 算子范数与Hilbert型不等式2008.杨必成, 著 含参数的方程和不等式2012.8郑元禄, 编译 数学文化与不等式2018.3王术, 编著 几类凸函数的不等式研究2019.8尹红萍, 著 奇异摄动中的微分不等式理论2012.6周明儒, 杜增吉, 王广瓦, 著 数学奥林匹克不等式散论2011.4邓寿才, 编著 阿贝尔恒等式与经典不等式及应用2018.6杨志明, 编著 函数元不等式理论及其应用2011.10李世杰, 李盛, 编著 Schur凸函数与不等式2017.6石焕南, 著 三角不等式研究与欣赏2020.10邓寿才, 著 方程（组）与不等式（组）2005.付志奎, 付东峰, 主编