Reasoning about the elementary functions of complex analysis
scientific article; zbMATH DE number 1783443