几何定理自动证明与参数多项式方程组求解

几何定理自动证明与参数多项式方程组求解

出版年：2006

作者：林隆

资源类型：图书

细分类型：学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

多项式方程组的求解

作者：(美)贝恩德·斯特姆菲尔斯(Bernd Sturmfels)著
ISBN：9787040517033
出版社：高等教育出版社
出版年：2019

几何定理计算机证明

作者：孙熙椿
ISBN：9787030155054
出版社：科学出版社
出版年：2007

多项式方程组求解在密码分析中的应用

作者：黄震宇
出版社：中国科学院
出版年：2012

多项式方程组求解及代数曲线的拓扑计算和逼近

作者：金凯
出版年：2014

几何定理机器证明的几何不变量方法

作者：张景中
ISBN：9787030440662
出版社：科学出版社
出版年：2015

非线性代数方程组与定理机器证明

作者：侯晓荣
ISBN：754281379X
出版社：上海科技教育出版社
出版年：1996