Hammer, R. & Hocks, M. & Kulisch, U. & Ratz, D.

Numerical toolbox for verified computing I - Basic numerical problems. - Springer Verlag, 1993. - ( Springer Series in Computational Mathematics ; 21).

  1. Cote: 13880. En rayon: classement par auteur. Exclu du prêt.