不等式机器证明与自动发现

收藏
  • 【作者】杨路,夏壁灿著
  • 【关键词】不等式 机器证明
  • 【出版社】科学出版社
  • 【出版日期】2008
  • 【ISBN】978-7-03-020721-0
  • 【中图分类号】 O178-39
  • 【内容简介】本书分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类等内容。全部展开
  • 【页码】10,226页
  • 【丛书名】数学机械化丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 嘉兴市图书馆 平湖市图书馆 宁波图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。