Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Braude, Eric"'
Autor:
Braude, Eric
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 concyclic. The theorem has attracted several proofs. We present a short p
Externí odkaz:
http://arxiv.org/abs/2111.01835
Autor:
Braude, Eric J.
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 sat
Externí odkaz:
http://arxiv.org/abs/1603.03463
Autor:
Braude, Eric, Tebaldi, Nicole, Brussarski, Pedro Valeriev Cartaxo, Poduval, Sumesh, Park, Kathleen
Publikováno v:
Computer Science and Education in Computer Science. 16(1):63-67
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=978510
Autor:
Braude, Eric
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 used for this purpose. The CSF construction process is demonstrated.
Externí odkaz:
http://arxiv.org/abs/1204.5436
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 14(1):163-166
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=779729
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 15(1):31-33
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=810586
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 12(1):111-116
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=529679
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 10(1):23-29
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=455219
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 9(1):41-45
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=465085
Autor:
Braude, Eric
Publikováno v:
Computer Science and Education in Computer Science. 8(1):53-65
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=465123