搜索结果: 1-5 共查到“几何学 Proofs”相关记录5条 . 查询时间(0.037 秒)
Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method
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
2013/9/9
With dynamic mediums such as computer displays, we propose a new kind of visually dynamic presentation of proofs in plane geometry. In asingle diagram for the proof, when the proof text goes on step b...
Visually Dynamic Presentation of Proofs in Plane Geometry
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
2013/9/9
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 hier...
Automated Generation of Readable Proofs with Geometric Invariants II. Theorem Proving With Full-Angles
Automated reasoning automated geometry theorem proving method based on angle forward chaining backward chaining
2013/9/9
We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also disc...
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation
Automated reasoning automated geometry theorem proving area method multiple proof shortest proof
2013/9/9
In this series of papers, we discuss how to use a ˉxed set of high level geometry lemmas or rules related to geometric invariants, such as area, full-angle, etc., to produce short and human-readable p...
Automated Production of Traditional Proofs in Solid Geometry
Automated theorem proving Euclidean traditional proofs volume method constructive geometry statements
2013/9/9
This paper presents a method of producing readable proofs for theorems in solid geometry.The method is for a class of constructive geometry statements about straight lines, planes,circles, and spheres...
