Numerical verification of industrial numerical codes

DOI10.1051/PROC/201235006zbMATH Open1357.65331OpenAlexW2108427770MaRDI QIDQ2880183FDOQ2880183

Authors: Christophe Denis, Sethy Montan 

Publication date: 12 April 2012

Published in: European Series in Applied and Industrial Mathematics (ESAIM): Proceedings (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1051/proc/201235006

Recommendations

• scientific article; zbMATH DE number 1542838
• CADNA: a library for estimating round-off error propagation
• scientific article; zbMATH DE number 176889
• Floats and Ropes: A Case Study for Formal Numerical Program Verification
• scientific article; zbMATH DE number 953029

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Uses Software

• CADNA
• LAPACK
• CLAPACK
• TELEMAC
• MTL4
• BLACS
• linalg

This page was built for publication: Numerical verification of industrial numerical codes

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