On the mechanization of straightedge and compass constructions
straightedge and compass constructibility
scientific article; zbMATH DE number 7032431
scientific article