Mathematical function software on the web -- are such codes useful for verification algorithms?

DOI10.1023/A:1009973407908MaRDI QIDQ1577441zbMATH OpenOpenAlexFDO

Authors Werner Hofschuster, Walter Krämer

Publication date 4 September 2000

Published in Reliable Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1009973407908

zbMATH Keywords

software for special functionssurvey paperverification algorithms

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to special functions (33-04) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Computation of special functions and constants, construction of tables (65D20) Algorithms with automatic result verification (65G20) Packaged methods for numerical algorithms (65Y15)

Describes a project that uses

Uses Software

• ACRITH-XSC
• INTLIB
• filib++

This page was built for publication: Mathematical function software on the web -- are such codes useful for verification algorithms?

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