Morley's theorem revisited: origami construction and automated proof
scientific article; zbMATH DE number 5872533
scientific article