"A strong computable separation bound for arithmetic expressions with radicals" - читать интересную книгу автора (Burnikel et al.)