Pascal
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