%0 Book
%A Kenneth R. Meyer, Dieter S. Schmidt, editors
%T Computer aided proofs in analysis
%U /book/95025093/Computer-aided-proofs-in-analysis/