Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method
文献类型:期刊论文
作者 | Ye, Zheng1; Chou, Shang-Ching2; Gao, Xiao-Shan3 |
刊名 | JOURNAL OF AUTOMATED REASONING
![]() |
出版日期 | 2010-10-01 |
卷号 | 45期号:3页码:243-266 |
关键词 | Geometry theorem proving Proof with hierarchical structures Visually dynamic presentation of proof Dynamic geometry Full-angle Deductive database Fixpoint Unordered geometry Hilbert geometry Tarski geometry |
ISSN号 | 0168-7433 |
DOI | 10.1007/s10817-009-9163-4 |
英文摘要 | We present the method for automated generation of visually dynamic presentations of plane geometry proofs based on the full-angle method. The proof generated by the full-angle method is organized hierarchically, thus it is particularly suitable for visual presentations. We also present the method for automated generation of visually dynamic presentation of proofs for the deductive database method with an additional new visual feature: given a geometrical configuration or a diagram, the final database (the fixpoint) in the deductive database method has numerous geometric properties organized into a few categories. By clicking each category, all properties of the configuration in this category are listed. And by clicking each of these properties, the corresponding geometry elements in the diagram blink or animate and, if needed, the proof of this property is generated. |
资助项目 | NSF[CCR-0201253] ; NSFC |
WOS研究方向 | Computer Science |
语种 | 英语 |
WOS记录号 | WOS:000281694000002 |
出版者 | SPRINGER |
源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/11221] ![]() |
专题 | 中国科学院数学与系统科学研究院 |
通讯作者 | Ye, Zheng |
作者单位 | 1.Zhejiang Univ, Coll Comp Sci & Technol, Hangzhou 310003, Zhejiang, Peoples R China 2.Wichita State Univ, Dept Comp Sci, Wichita, KS 67220 USA 3.Chinese Acad Sci, Inst Syst Sci, KLMM, Beijing, Peoples R China |
推荐引用方式 GB/T 7714 | Ye, Zheng,Chou, Shang-Ching,Gao, Xiao-Shan. Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method[J]. JOURNAL OF AUTOMATED REASONING,2010,45(3):243-266. |
APA | Ye, Zheng,Chou, Shang-Ching,&Gao, Xiao-Shan.(2010).Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method.JOURNAL OF AUTOMATED REASONING,45(3),243-266. |
MLA | Ye, Zheng,et al."Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method".JOURNAL OF AUTOMATED REASONING 45.3(2010):243-266. |
入库方式: OAI收割
来源:数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。