当前位置：首页 > 名称
大约有435,577项符合查询结果项。（搜索耗时：0.4514秒）
为您推荐： 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
-
-
-
点击专项 高中数学 不等式 推理与证明
张友，刘金国主编2010 年出版374 页ISBN：7563428240本丛书以高中数学新课标为体系，从易到难的梯度编写，这样，对本专题知识没有吃透的学生可以迅速掌握本专题的知识，中等水平的学生在精读本书提高篇后会使自己更上一层楼。...
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
-
-
-
学科分类
出版时间