Numerical toolbox for verified computing / Hammer R.,Hocks M.,Kulisch U.,Ratz D. Pt. 1 : Basic numerical problems : Theory,algorithms, and Pascal-XSC programs, 1993. - XIII,337 p. p. - Текст : непосредственный.
Приложение
для Android