CSpace  > 系统科学研究所
几何定理可读证明的自动生成
张景中1; 周咸青2; 高小山3; 杨路1
1995
Source Publication计算机学报
ISSN0254-4164
Volume018Issue:005Pages:381
Abstract用计算机能生成几何定理的易为人们理解的证明吗?这个几十年来进展很小的难题,自1992年以来有了突破性进展,对于一大类欧几何命题-构造几何例题,已有了相当有效的算法,基于此算法所编制的程序,已证明了500多非平凡的几何例题,对其中大多数例题,机器自动生的证明是简明而易于理解的,本文是对这一领域近三年来取得的进展的综述,包括了在非欧几何可读证明方面的最新成果。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/48316
Collection系统科学研究所
Affiliation1.中科院成都信息技术股份有限公司
2.美国Wichita州立大学计算机系
3.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
张景中,周咸青,高小山,等. 几何定理可读证明的自动生成[J]. 计算机学报,1995,018(005):381.
APA 张景中,周咸青,高小山,&杨路.(1995).几何定理可读证明的自动生成.计算机学报,018(005),381.
MLA 张景中,et al."几何定理可读证明的自动生成".计算机学报 018.005(1995):381.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Baidu academic
Similar articles in Baidu academic
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张景中]'s Articles
[周咸青]'s Articles
[高小山]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.