数学定理近似证明的基础研究与应用软件开发

本课题计划在三个方面开展研究，即符号近似定理证明，数值近似定量证明和数学计算软件的开发，实际执行的结果，除第二项完成部分工作，其余的一，三两条已按计划取得进展，共发表论文5篇，参加国际会议3次，主办国际会议1次，与日本进行国际合作，申请批准中日政府间合作项目1项。同时还与美国，香港进行学术交流。在近似定量证明的研究中，定义了几种不同的近似方法。提出逐步精确化的概念，沟通了近似证明和精确证明之间的联系，并且在复数系上给出了具体的算法，其结果具有复杂度低，可以逐步逼近到精确证明。软件开发方面，提出了利用国际互联网进行数学计算的新的软件开发模式，进行了理论探讨和试验，今年完成原型系统，完善概念。