登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

方程求解与机器证明 :基于MMP的问题求解
出版社：科学出版社
ISBN：7030178629
出版年：2006
作者：高小山
学科：数学
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

优美的数学思维 :问题求解与证明
  • 作者：(美)约翰·P.丹吉洛(JohnP.D’Angelo)，(美)道格拉斯·B.韦斯特(DouglasB.West)著
  • ISBN：9787111662778
  • 出版社：机械工业出版社
  • 出版年：2020
...

几何定理自动证明与参数多项式方程组求解
  • 作者：林隆
  • 出版年：2006
...

伽罗瓦群论之美 :高次方程不可根式求解证明赏析
  • 作者：盛新庆
  • ISBN：9787302578024
  • 出版社：清华大学出版社
  • 出版年：2021
...

定理机器证明
  • 作者：刘叙华
  • 出版社：科学出版社
  • 出版年：1987
...

基于机器学习的电路方程仿真求解时间预测方法研究
  • 作者：田小康
  • 出版年：2021
...

非线性代数方程组与定理机器证明
  • 作者：侯晓荣
  • ISBN：754281379X
  • 出版社：上海科技教育出版社
  • 出版年：1996