302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
不等式－计算机辅助计算
2016年
2016
搜索分类
不等式的分拆降维降幂方法与可读证明
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现...
2016.1
按中图号分类
中图号G634
26669
中图号G624
16342
中图号G613
5740
中图号I247.5
5003
中图号I267
3739
中图号I287.8
3523
中图号I227
3480
中图号G613.3
2147
中图号J222.7
1806
中图号G624.243
1772
中图号G624.203
1721
中图号G624.753
1710
中图号G898.2
1525
中图号G613.6
1486
中图号I287.7
1445
中图号I287.45
1432
中图号J228.2
1413
中图号G613.7
1283
中图号G613.2
1283
中图号I712.85
1272
按出版社分类
科学出版社
4571
清华大学出版社
3482
机械工业出版社
3314
吉林出版集团股份有限公司
3248
人民邮电出版社
3100
吉林大学出版社
3074
江苏人民出版社
3053
北京联合出版公司
2928
电子工业出版社
2900
化学工业出版社
2829
新疆青少年出版社
2784
光明日报出版社
2707
高等教育出版社
2675
延边大学出版社
2522
黑龙江美术出版社
2338
现代出版社
2271
团结出版社
2199
中国社会科学出版社
2179
上海交通大学出版社
2030
长江少年儿童出版社
2001