A strong and easily computable separation bound for arithmetic expressions involving radicals
scientific article; zbMATH DE number 1444099