不等式机器证明与自动发现

不等式机器证明与自动发现

出版社：科学出版社

ISBN：9787030207210

出版年：2008

作者：杨路

学科：数学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

初等不等式的可读证明的自动生成

作者：陈世平
出版年：2003

不等式的证明及应用

作者：王传荣
出版社：天津科学技术出版社
出版年：1983

一类不等式型定理可读证明的自动生成

作者：夏时洪
出版年：2002

初等不等式的证明方法

作者：韩京俊
ISBN：9787560349800
出版社：哈尔滨工业大学出版社
出版年：2014

代数不等式 :证明方法

作者：韩京俊
ISBN：9787312056185
出版社：中国科学技术大学出版社
出版年：2023

初等不等式的证明方法

作者：韩京俊
ISBN：9787560332826
出版社：哈尔滨工业大学出版社
出版年：2011