Schreck, Pascal Mathis, Vesna
Marinković, and Predrag
Janičić, Wernick's list: a final update,
Forum Geometricorum, 16 (2016) 69--80.
Abstract. We present a final status of all problems from Wernick's list of triangle construction problems published in 1982 ~and with a number of unknown status until recently. Our results were obtained by a computer-based system for checking constructibility. We also developed a system for finding elegant constructions for solvable problems and for verifying their correctness. These systems helped in resolving problems open for decades, showing the power of modern computer systems in areas such as symbolic computation, problem solving, and theorem proving.
[ps file] [pdf]
Return to Forum Geom., 16 (2016) Table of Contents