不等式的分拆降维降幂方法与可读证明

本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCH...

2020.7


按中图号分类
按出版社分类