scientific article
From MaRDI portal
Publication:3127648
zbMath0906.68072MaRDI QIDQ3127648
Publication date: 25 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interactive Oracle Proofs ⋮ Program result checking: A new approach to making programs more reliable ⋮ Self-testing/correcting with applications to numerical problems
