数学机械化自动推理平台

 

下载完整的手册(PDF格式)

在线阅读

第一章 自动推理平台简介

第二章 编程环境

第三章 链表和矩阵

第四章 数和多项式

第五章 吴特征列方法

第六章 几何自动推理

第七章 实根分离与不等式自动发现

第八章 组合恒等式证明

第九章 附录:几何命题描述