scientific article; zbMATH DE number 1440932

zbMath0949.65049MaRDI QIDQ4949377

George F. Corliss

Publication date: 8 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bibliographyinterval arithmeticresult verificationvalidated computation

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to numerical analysis (65-00)

Uses Software

• ACRITH-XSC
• C-XSC

This page was built for publication: