nach oben

Journal of Automated Reasoning

Erschienen in:

27.09.2017

Generalizing Morley’s and Other Theorems with Automated Realization

verfasst von: Eric Braude, Satbek Abdyldayev

Erschienen in: Journal of Automated Reasoning | Ausgabe 4/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

A new approach is shown that mechanically proves various theorems in plane geometry by recasting them in terms of constraint satisfaction. A Python 3 implementation called GEOPAR affords transparent proofs of well-known theorems as well as new ones, including a generalization of Morley’s Theorem.

Vorheriger Artikel Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories

Nächster Artikel Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)CrossRefMATH

Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Automated generation of readable proofs with geometric invariants. J. Autom. Reason. 17, 349 (1996)CrossRefMATH

Connes, A.: A new proof of Morley’s theorem. Pub. Math. de l’IHÉS 88, 43–46 (1998)MathSciNetMATH

Conway, J.: The power of mathematics. In: Blackwell, A., Mackay, D. (eds.) Power, Darwin College Lectures 16. Cambridge University Press, Cambridge (2005)

Conway, J.: in Euclidean Geometry Proofs in THE BOOK. http://mathforum.org/kb/thread.jspa?messageID=1382215&tstart=0. Accessed 27 July 2015

Dijkstra, E.W.: Selected Writings on Computing: A Personal Perspective. Springer, New York (1982)CrossRefMATH

Dijkstra, E.W.: On the design of a simple proof for Morley’s theorem, EWD 1050. https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1050.html. Accessed 27 July 2015

Dijkstra, E.W.: Proving an implication via its converse, EWD 1266a. https://www.cs.utexas.edu/users/EWD/ewd12xx/EWD1266a.PDF. Accessed 27 July 2015

Janičić, P., Narboux, J., Quaresma, P.: The area method a recapitulation. J. Autom. Reason. 48(4), 489–532 (2012)MathSciNetCrossRefMATH

10.

Oakley, C.O., Baker, J.C.: The Morley trisector theorem. Am. Math. Mon. 85(9), 737–745 (1978)MathSciNetCrossRefMATH

11.

Okabe, A., Boots, B., Sugihara, K., Chiu, S.N.: Spatial Tessellations: Concepts and Applications of Voronoi Diagrams, 2nd edn. Wiley, Hoboken (2000)CrossRefMATH

12.

Stonebridge, B.: A simple geometric proof of Morley’s trisector theorem. Mathematical Spectrum 42, 1 (2009)

13.

Wu, W.T.: Basic principles of mechanical theorem proving in elementary geometries. J. Autom. Reason. 2, 3 (1986)MATH

14.

Wu, W.T.: Mathematics Mechanization: Mechanical Geometry Theorem-Proving. Mechanical Geometry Problem-Solving and Polynomial Equations-Solving. Springer, New York (2001)MATH

15.

https://github.com/ebraude/geopar

Titel: Generalizing Morley’s and Other Theorems with Automated Realization
verfasst von: Eric Braude
Satbek Abdyldayev
Publikationsdatum: 27.09.2017
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 4/2018
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-017-9435-3

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 4/2018

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

OWL Reasoning: Subsumption Test Hardness and Modularity

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories