Numerical Software with Result Verification

DOI10.1007/b96498zbMath1126.68342OpenAlexW203078251MaRDI QIDQ5308341

Jürgen 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

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

Uses Software

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

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