用户手册
副标题：
下载完整的手册（PDF格式）
在线阅读
第一章 自动推理平台简介
第二章 编程环境
第三章 链表和矩阵
第四章 数和多项式
第五章 吴特征列方法
第六章 几何自动推理
第七章 实根分离与不等式自动发现
第八章 组合恒等式证明
第九章 附录:几何命题描述
