Pages that link to "Item:Q1799286"
From MaRDI portal
The following pages link to Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving (Q1799286):
Displaying 12 items.
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Primitive recursive ordered fields and some applications (Q831997) (← links)
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- Computational complexity of classical solutions of partial differential equations (Q2104279) (← links)
- Bit-complexity of solving systems of linear evolutionary partial differential equations (Q2117092) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- (Q4989411) (← links)
- Computability of Differential Equations (Q5024569) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)