数学方案

MathScheme是一个开发机械化数学的新方法的项目,在这种方法中,计算机代数和计算机定理证明合并在一起,而不牺牲功能或可靠性。该项目的第一个目标是开发一个形式化框架,它集成和推广符号计算和形式推导。第二个目标是实现基于数学和机械化框架的系统。长期目标是在机械化数学系统的基础上,建立一个交互式数学实验室,为促进和管理数学推理提供一套完整的工具。