302EDU
2020 2007 全部
搜索分类
不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分...

2007.

按出版社分类
按标签分类

版权声明：本网站所有资源来源于网络，著作权及版权归原作者所有。本网站尊重并保护知识产权，根据《信息网络传播权保护条例》，如果我们转载的作品侵犯了您的权利，请在一个月内通知我们，我们会及时删除。