数学机械化自动推理平台

 

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

在线阅读

多项式系统

表达式

链表

数系统

矩阵

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

多项式合冲