%0 Book
%A / edited by E. Adams, U. Kulisch
%T Scientific computing with automatic result verification
%U /book/100997191/Scientific-computing-with-automatic-result-verific/