Proving tight bounds on univariate expressions with elementary functions in Coq
scientific article; zbMATH DE number 6644464
scientific article