天堑变通途——《初等几何研究(第2版)》代序  

作　　者：陆汝钤[1] 

机构地区：[1]中科院数学所

出　　处：《高等数学研究》2015年第5期F0002-F0002,共1页Studies in College Mathematics

摘　　要：由我国著名数学家吴文俊、张景中两位院士分别创建的两种几何定理机器证明,使我国在这一领域处于世界领先地位,正如王梓坤院士讲的,"我们可以自豪地说,几何定理机器证明研究的重大成果都是由我国数学家所取得的",可是,长期以来都以为行之有效的机器证明深奥难懂,因而影响了它的普及,现在本书深入浅出的讲解,已得到两位院士的肯定,张景中给作者的回信称"阐述非常到位,不仅详略得当而且有独到的评述",这里转载陆汝钤院士为本书写的序,帮助我们了解一下机器证明的发展和现状.

关 键 词：初等几何 定理机器证明 数学家 院士 吴文俊 

分 类 号：O123[理学—数学]