Pascal Mathis, Pascal Schreck. Determining automatically compass and straightedge unconstructibility in triangles. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 130-142, EasyChair, 2016. [doi]
Abstract is missing.