摘要

本文以不等式的式商及标准数据为切入点,对磨光集进行了新的探索;编写了应用程序;给出了大量的实例及不等式自动发现新结果.