scientific article; zbMATH DE number 869654

MaRDI QIDQ4874409zbMATHFDO

Authors

Publication date 24 April 1996

zbMATH Keywords

ProceedingsSymposiumComputer arithmeticScientific computingWuppertal (Germany)Validated numericsSCAN '95

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to numerical analysis (65-06) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(5)

• scientific article; zbMATH DE number 404083 (Why is no real title available?)
• Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
• scientific article; zbMATH DE number 1414355 (Why is no real title available?)
• Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993
• scientific article; zbMATH DE number 48694 (Why is no real title available?)

Describes a project that uses

Uses Software

• CADNA
• PEGASE
• PASCAL-XSC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4874409)