当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0124秒)
为您推荐: 第一机械工业部工业自动化仪表研究所等 press机械工业部仪器仪表工业局标准化研究室 第一机械工业部机械工业自动化研究所 press机械工业部北京机械工业自动化研究所 上海市仪表电讯工业局技术情报所第一机械工业部上海光学仪器研究室编 工业自动化仪表手册 辑委员会
-
-
-
-
-
-
-
-
-
不等式机器证明与自动发现
杨路,夏壁灿著2008 年出版226 页ISBN:9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作,兼顾经典结果和方法。全书共分七章,分别介绍和论述:多项式的伪除与结式;相对单纯分解;多项式的实根;常系数半代数系统的实解隔离;参......
-
学科分类
