方程求解与机器证明 : 基于MMP的问题求解.pdf 本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。 叁号仓库 2022年07月21日 0 点赞 0 评论 1549 浏览
