The following pages link to (Q3671969):
Displaying 7 items.
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra (Q424551) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- Computer Science for Continuous Data (Q6487409) (← links)
- Presenting intuitive deductions via symmetric simplification (Q6488543) (← links)