Numerical Software with Result Verification
From MaRDI portal
Publication:5308359
DOI10.1007/b96498zbMath1126.68351OpenAlexW203078251MaRDI QIDQ5308359
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
Numerical methods for trigonometric approximation and interpolation (65T40) Algorithms with automatic result verification (65G20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Real Number Calculations and Theorem Proving ⋮ The world's shortest correct exact real arithmetic program?
Uses Software
This page was built for publication: Numerical Software with Result Verification
