Wernick's list with a final update - Pascal Schreck, Pascal Mathis, Vesna Marinkovic, and Predrag Janicic 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. ✪ ✪ ✪ ✪ ✪ Link tải tài liệu: LINK TẢI TÀI LIỆU Theo LTTK Education
