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

DOI10.1023/A:1009973407908zbMath0958.65025OpenAlexW110861746MaRDI QIDQ1577441

Walter Krämer, Werner Hofschuster

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

survey paperverification algorithmssoftware for special functions

Mathematics Subject Classification ID

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) Software, source code, etc. for problems pertaining to special functions (33-04)

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?