中文摘要：

本项目的主要内容有两个方面其一是集群环境下并行数学机械化计算的研究，主要解决适合数学机械化计算任务特点的并行计算算法、负载平衡和消息传递等问题，提供一个完整高效的数学机械化计算并行程序开发和运行环境，让程序员能够方便地使用并行的数学机械化计算程序或将要解决的数学机械化计算问题实现并行编码。其二是在网格环境下，充分考虑到数学机械化计算分支动态增加，且各个分支之间没有消息传递的特点非常适合在网格上进行计算，研究将数学机械化计算分支和网格结点有效匹配的计算模型，将一组通过广域网连接起来的性质不同的计算资源集合起来，作为一个单独的计算环境向用户提供非平凡的高性能数学机械化计算服务。通过本项目的研究，使得我国处于国际领先地位的数学机械化理论研究成果有望实实在在地解决若干项技术领域的实际计算问题，为促进我国技术产业的发展做出积极的贡献。

结论摘要：

本项目的主要内容有两个方面其一是集群环境下并行数学机械化计算的研究，主要解决适合数学机械化计算任务特点的并行计算算法、负载平衡和消息传递等问题，提供一个完整高效的数学机械化计算并行程序开发和运行环境，让程序员能够方便地使用并行的数学机械化计算程序或将要解决的数学机械化计算问题实现并行编码。其二是在网格环境下，充分考虑到数学机械化计算分支动态增加，且各个分支之间没有消息传递的特点非常适合在网格上进行计算，研究将数学机械化计算分支和网格结点有效匹配的计算模型，将一组通过广域网连接起来的性质不同的计算资源集合起来，作为一个单独的计算环境向用户提供非平凡的高性能数学机械化计算服务。通过本项目的研究，使得我国处于国际领先地位的数学机械化理论研究成果有望实实在在地解决若干项技术领域的实际计算问题，为促进我国技术产业的发展做出积极的贡献。