The following pages link to (Q4532000):
Displaying 10 items.
- Computability in linear algebra (Q703545) (← links)
- Stability versus speed in a computable algebraic model (Q817853) (← links)
- Primitive recursive ordered fields and some applications (Q831997) (← links)
- Bit-complexity of solving systems of linear evolutionary partial differential equations (Q2117092) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- Computing Solutions of Symmetric Hyperbolic Systems of PDE's (Q4918019) (← links)
- Uniformly Computable Aspects of Inner Functions (Q4918027) (← links)
- Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus (Q4918048) (← links)
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision (Q4995607) (← links)
- Primitive recursive ordered fields and some applications (Q5880940) (← links)
