Loading...
Please wait, while we are loading the content...
Similar Documents
Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Wilson, Shawn T. Fleuriot, Jacques D. |
| Copyright Year | 2005 |
| Abstract | This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a full-angle method prover to automatically produce diagram independent, human-readable proofs to theorems. Our system can then automatically generate novel diagrammatic proofs of the forward-chaining and backward-chaining reasoning used by the geometry theorem prover, as well as visualise multiple proofs to single theorems. We discuss the features of our system, how they were implemented and the issues encountered when trying to create diagrammatic full-angle method proofs. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.inf.ed.ac.uk/publications/online/0242.pdf |
| Alternate Webpage(s) | https://www.inf.ed.ac.uk/publications/online/0242.pdf |
| Alternate Webpage(s) | http://homepages.inf.ed.ac.uk/s0091720/download?file=Wilson2005CombiningDynamicGeometry.pdf |
| Alternate Webpage(s) | http://homepages.inf.ed.ac.uk/s0091720/download?file=Wilson2005GeometryExplorer:Combining.pdf |
| Alternate Webpage(s) | http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=244062243F02A509AD54B8FA0B820882?doi=10.1.1.59.4010&rep=rep1&type=pdf |
| Alternate Webpage(s) | http://www.researchgate.net/profile/Sean_Wilson6/publication/228634505_Combining_dynamic_geometry_automated_geometry_theorem_proving_and_diagrammatic_proofs/links/54f6ed700cf27d8ed7203650.pdf |
| Alternate Webpage(s) | http://homepages.inf.ed.ac.uk/s0091720/Wilson2005CombiningDynamicGeometry.pdf |
| Alternate Webpage(s) | http://www.nesc.ac.uk/talks/417/Session%204/wilson/abstract-ARW-05-Wilson.pdf |
| Alternate Webpage(s) | http://homepages.inf.ed.ac.uk/s0091720/Wilson2005GeometryExplorer:Combining.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |