Generalizing The Morley Trisector and Various Theorems with Realizability Computations

Generalizing The Morley Trisector and Various Theorems with Realizability Computations

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of constraint satisfaction.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2016-03
1. Verfasser: Braude, Eric J
Format: Artikel
Sprache:eng
Schlagworte:
Realizability
Theorems
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of constraint satisfaction.
ISSN:2331-8422