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:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Braude, Eric J |
| description | 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. |
| doi_str_mv | 10.48550/arxiv.1603.03463 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_1603_03463</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1603_03463</sourcerecordid><originalsourceid>FETCH-LOGICAL-a673-211d5eb9a009172665739e656ab3ce412f664c40f7cf4af95661e83c0538ada43</originalsourceid><addsrcrecordid>eNotz8FOhDAUBdBuXJjRD3BlfwBsafuApSE6mowxMWS25AEPpwnQSdtR8esN46zu5t6bHMbupEh1YYx4QP9jv1IJQqVCaVDXbL-lmTyO9tfOn7w-EH9zfqSF194G6qLzHOee79FbdwprwXmaAv-28cA_aB1ia0cbF1656XiKGK2bww27GnAMdHvJDaufn-rqJdm9b1-rx12CkKskk7I31JYoRCnzDMDkqiQwgK3qSMtsANCdFkPeDRqH0gBIKlQnjCqwR6027P7_9gxrjt5O6JdmBTZnoPoDr39MFQ</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Generalizing The Morley Trisector and Various Theorems with Realizability Computations</title><source>arXiv.org</source><creator>Braude, Eric J</creator><creatorcontrib>Braude, Eric J</creatorcontrib><description>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.</description><identifier>DOI: 10.48550/arxiv.1603.03463</identifier><language>eng</language><subject>Computer Science - Computational Geometry</subject><creationdate>2016-03</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/1603.03463$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.1603.03463$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Braude, Eric J</creatorcontrib><title>Generalizing The Morley Trisector and Various Theorems with Realizability Computations</title><description>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.</description><subject>Computer Science - Computational Geometry</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2016</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotz8FOhDAUBdBuXJjRD3BlfwBsafuApSE6mowxMWS25AEPpwnQSdtR8esN46zu5t6bHMbupEh1YYx4QP9jv1IJQqVCaVDXbL-lmTyO9tfOn7w-EH9zfqSF194G6qLzHOee79FbdwprwXmaAv-28cA_aB1ia0cbF1656XiKGK2bww27GnAMdHvJDaufn-rqJdm9b1-rx12CkKskk7I31JYoRCnzDMDkqiQwgK3qSMtsANCdFkPeDRqH0gBIKlQnjCqwR6027P7_9gxrjt5O6JdmBTZnoPoDr39MFQ</recordid><startdate>20160310</startdate><enddate>20160310</enddate><creator>Braude, Eric J</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20160310</creationdate><title>Generalizing The Morley Trisector and Various Theorems with Realizability Computations</title><author>Braude, Eric J</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a673-211d5eb9a009172665739e656ab3ce412f664c40f7cf4af95661e83c0538ada43</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2016</creationdate><topic>Computer Science - Computational Geometry</topic><toplevel>online_resources</toplevel><creatorcontrib>Braude, Eric J</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Braude, Eric J</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Generalizing The Morley Trisector and Various Theorems with Realizability Computations</atitle><date>2016-03-10</date><risdate>2016</risdate><abstract>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.</abstract><doi>10.48550/arxiv.1603.03463</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.1603.03463 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_1603_03463 |
| source | arXiv.org |
| subjects | Computer Science - Computational Geometry |
| title | Generalizing The Morley Trisector and Various Theorems with Realizability Computations |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T04%3A06%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Generalizing%20The%20Morley%20Trisector%20and%20Various%20Theorems%20with%20Realizability%20Computations&rft.au=Braude,%20Eric%20J&rft.date=2016-03-10&rft_id=info:doi/10.48550/arxiv.1603.03463&rft_dat=%3Carxiv_GOX%3E1603_03463%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |