"Exact computations with real expressions (masters thesis)" - читать интересную книгу автора (Ouchi.)