scientific article; zbMATH DE number 5226277
From MaRDI portal
Publication:5435637
zbMath1137.03327MaRDI QIDQ5435637
Publication date: 14 January 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Limits of real numbers in the binary signed digit representation ⋮ Axiomatic reals and certified efficient exact real computation ⋮ Lookahead analysis in exact real arithmetic with logical methods ⋮ Extensional constructive real analysis via locators ⋮ Realizability interpretation of proofs in constructive analysis ⋮ Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
This page was built for publication:
