共找到 1 项 “孙熙椿著” 相关结果
平面几何定理的机器证明
作者： 孙熙椿著
出版社：广西教育出版社,1999
简介： 本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法、举例能否证明几何定理等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就，就读者了解平面几何定理的机器证明的基本思想和方法。
广西教育出版社,1999
