A fundamental effect in computations on real numbers
From MaRDI portal
Publication:1245217
DOI10.1016/0304-3975(77)90048-2zbMath0374.02018OpenAlexW1975561883MaRDI QIDQ1245217
Publication date: 1978
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(77)90048-2
Related Items (10)
Semantics of a sequential language for exact real-number computation ⋮ PCF extended with real numbers ⋮ Axiomatic reals and certified efficient exact real computation ⋮ Extracting total Amb programs from proofs ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy ⋮ Effectivity and effective continuity of multifunctions ⋮ On the Continuity of Effective Multifunctions ⋮ Computable analysis with applications to dynamic systems ⋮ Quantitative coding and complexity theory of compact metric spaces
Cites Work
This page was built for publication: A fundamental effect in computations on real numbers
