位置：成果数据库 > 著作 > 著作详情页
《不等式机器证明与自动发现》
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：著作
  • 出版社：科学出版社
  • 相关项目：实代数符号计算在形式化方法中的应用
同著作项目
实代数符号计算在形式化方法中的应用
期刊论文 15 会议论文 4 著作 2
同项目著作
《计算机代数》