"Numerical Software with Result Verification" - читать интересную книгу автора (RenT Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther)