"Lectures on Finite Precision Computations (Software, Environments, and Tools)" - читать интересную книгу автора (Francoise Chaitin-Chatelin, Valerie Fraysse)