302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
不等式-计算机辅助计算-应用软件
2020年
2020
搜索分类
不等式的分拆降维降幂方法与可读证明
本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCH...
2020.7
按中图号分类
按出版社分类