Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method
文献类型：期刊论文
| 作者 | Ye, Zheng1; Chou, Shang-Ching2; Gao, Xiao-Shan3 |
| 刊名 | JOURNAL OF AUTOMATED REASONING
 |
| 出版日期 | 2010-10-01 |
| 卷号 | 45期号:3页码:213-241 |
| 关键词 | Geometry theorem proving Visually dynamic presentation of proof Dynamic geometry Unordered geometry Gelernter Java Geometry Expert Morley's theorem Feuerbach's theorem Pythagorean theorem Pedal triangle |
| ISSN号 | 0168-7433 |
| DOI | 10.1007/s10817-009-9162-5 |
| 英文摘要 | With dynamic mediums such as computer displays, we propose a new kind of visually dynamic presentation of proofs in plane geometry. In a single diagram for the proof, when the proof text goes on step by step with mouse clicks, the related geometry elements in the diagram are added, animated, or deleted dynamically with various visually dynamic effects. It solves not only the problem of identifying geometry elements in the proof text with those in the diagram, but also makes the proof more vividly visualized and intuitive. Our ongoing developing system "Java Geometry Expert" (JGEX) uses two methods to create such visually dynamic presentations: the manual input method and the automatic method. In this first part of the series of our work, we propose the main features of our visually dynamic presentation of proofs and present the manual input method to create such presentations. The manual input method mainly uses mouse clicks to create the dynamic geometry diagram and the proof text. |
| 资助项目 | NSF[CCR-0201253] ; NSFC |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000281694000001 |
| 出版者 | SPRINGER |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/10228]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | 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 1. Basic Features and the Manual Input Method[J]. JOURNAL OF AUTOMATED REASONING,2010,45(3):213-241. |
| APA | Ye, Zheng,Chou, Shang-Ching,&Gao, Xiao-Shan.(2010).Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method.JOURNAL OF AUTOMATED REASONING,45(3),213-241. |
| MLA | Ye, Zheng,et al."Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method".JOURNAL OF AUTOMATED REASONING 45.3(2010):213-241. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。