加载中…
2016-03-10
Generalizing The Morley Trisector and Various Theorems with Realizability Computations
Eric J. Braude
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本