不等式型定理的机器证明和实代数几何的构造性理论

本项目研究不等式型定理的机器证明这一数学机械化问题和有关的实代数几何的构造性理论,建立不等式自动推理和证明的有效可行算法,并由此解决几何中的一些未解决的困难的不等式问题。本项目研究的是数学机械化中急待解决而又十分困难的问题，对于发展构造性的数学方法。促进大规模科学计算和人工智能等领域的研究也有非常重要的意义。