Pages that link to "Item:Q1245217"
From MaRDI portal
The following pages link to A fundamental effect in computations on real numbers (Q1245217):
Displaying 12 items.
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- On the Continuity of Effective Multifunctions (Q4918021) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Computer Science for Continuous Data (Q6487409) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)