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

收藏
  • 【作者】陈胜利
  • 【关键词】不等式 计算机辅助计算
  • 【出版社】哈尔滨工业大学出版社
  • 【出版日期】2016
  • 【ISBN】978-7-5603-5797-3
  • 【中图分类号】 O178
  • 【内容简介】本书总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。全书内容包括:预备知识、Schur分拆、轮换对称、降幂分拆、降维分拆等。全部展开
  • 【页码】450,15页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 宁波图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。