"Validated computing in algebraic number fields" - читать интересную книгу автора (Pohst.)