Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308341zbMATH OpenOpenAlexFDO

Authors J. Wolff von Gudenberg

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 714525
• scientific article; zbMATH DE number 970350
• The design of the Boost interval arithmetic library
• PROFIL/BIAS - A fast interval library
• Interval arithmetic: from principles to implementation

Cited in

(3)

• scientific article; zbMATH DE number 714525 (Why is no real title available?)
• Intrinsic compiler support for interval arithmetic
• The design of the Boost interval arithmetic library

Describes a project that uses

Uses Software

• filib++
• INTOPT_90
• NINJA
• PROFIL/BIAS
• C-XSC

This page was built for publication: Numerical Software with Result Verification

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