scientific article

zbMath0801.68021MaRDI QIDQ3139684

Michael Neaga, Rolf Hammer, Dietmar Ratz

Publication date: 8 December 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic result verificationnumerical algorithmsscientific computationnumerical data processingprogramming language PASCAL-XSC

Mathematics Subject Classification ID

Theory of programming languages (68N15) Packaged methods for numerical algorithms (65Y15)

Related Items

A software interface and hardware design for variable-precision interval arithmetic, Mechanising the theory of intervals using OBJ3, Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers, PASCAL-XSC