大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

几何定理计算机证明/孙熙椿编著

出版发行项:

北京:科学出版社,2007

ISBN及定价:

978-7-03-015505-4/CNY29.00

载体形态项:

207页;24cm

个人责任者:

孙熙椿 编著

学科主题:

计算机应用-几何学-定理证明

中图法分类号:

O18-39

一般附注:

国家科学技术学术著作出版基金资助出版

提要文摘附注:

本书主要讲述几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法、杨路降维算法等。

豆瓣简介：