3 papers
math.GM2021
Conways Circle Theorem: A Short Proof Enabling Generalization to Polygons
Eric Braude
John Conway's Circle Theorem is a gem of plane geometry. The six points formed by continuing the sides of a triangle beyond every vertex by the length of its opposite side, are con…
cs.CG2016
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 a…
cs.SE2012
Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison
Eric Braude
We contrast the use of weakest preconditions for the correct construction of procedures with the cumulative subgoal fulfillment (CSF) approach. An example of Cohen and Monin is use…