Determining automatically compass and straightedge unconstructibility in triangles

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]

Authors

Pascal Mathis

This author has not been identified. Look up 'Pascal Mathis' in Google

Pascal Schreck

This author has not been identified. Look up 'Pascal Schreck' in Google