IInformatikInformatikde Hans J. StetterEdiciones (1)Informatik (1971)In Kommission bei Springer Verlag · alemánMás obras de Hans J. StetterDefect correction methodsScientific computation with automatic result verificationAnalysis of discretization methods for ordinary differential equations