Numerical verification of industrial numerical codes

DOI10.1051/PROC/201235006MaRDI QIDQ2880183zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

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)