Pages that link to "Item:Q3994907"
From MaRDI portal
The following pages link to Computability in analysis and physics (Q3994907):
Displaying 50 items.
- Relativistic computers and the Turing barrier (Q2497881) (← links)
- Quantum principles and mathematical computability (Q2505977) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- The physical Church thesis as an explanation of the Galileo thesis (Q2629933) (← links)
- Computability in harmonic analysis (Q2671298) (← links)
- Can partial indexings be totalized? (Q2758051) (← links)
- Demuth's path to randomness (Q2795307) (← links)
- On the Computable Theory of Bounded Analytic Functions (Q2866157) (← links)
- Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity (Q2900535) (← links)
- Randomness, Computation and Mathematics (Q2904405) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- Introduction to the special issue: Computability of the physical (Q2919936) (← links)
- Effective genericity and differentiability (Q2930874) (← links)
- On Effective Convergence of Numerical Solutions for Differential Equations (Q2943897) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Multi-Resolution Cellular Automata for Real Computation (Q3091455) (← links)
- Is the Mandelbrot set computable? (Q3159399) (← links)
- Effective Borel measurability and reducibility of functions (Q3159400) (← links)
- Points on Computable Curves of Computable Lengths (Q3182970) (← links)
- Computability and Analysis, a Historical Approach (Q3188239) (← links)
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis (Q3188250) (← links)
- A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces (Q3195705) (← links)
- On Computability of Navier-Stokes’ Equation (Q3195712) (← links)
- Computability of the Solutions to Navier-Stokes Equations via Effective Approximation (Q3297826) (← links)
- 2004 Annual Meeting of the Association for Symbolic Logic (Q3370628) (← links)
- Relative randomness and real closed fields (Q3370767) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- An extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system (Q3419664) (← links)
- Programming Experimental Procedures for Newtonian Kinematic Machines (Q3507418) (← links)
- Dimensions of Points in Self-similar Fractals (Q3511330) (← links)
- Effective Fine‐convergence of Walsh‐Fourier series (Q3528147) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- Computable Exchangeable Sequences Have Computable de Finetti Measures (Q3576054) (← links)
- An Application of Martin-Löf Randomness to Effective Probability Theory (Q3576058) (← links)
- Randomness and Determination, from Physics and Computing towards Biology (Q3599063) (← links)
- Prediction of Recursive Real-Valued Functions from Finite Examples (Q3617036) (← links)
- Computability, noncomputability and undecidability of maximal intervals of IVPs (Q3629381) (← links)
- European summer meeting of the Association for Symbolic Logic (Q4276039) (← links)
- Order-free Recursion on the Real Numbers (Q4336701) (← links)
- Undecidable event detection problems for ODEs of dimension one and two (Q4348239) (← links)
- The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable (Q4366130) (← links)
- Probabilistic extension and logic of complex unstable dynamical systems (Q4374111) (← links)
- Monotonically computable real numbers (Q4530157) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- Possible classification of finite-dimensional compact Hausdorff topological algebras (Q4586424) (← links)
- Computations with oracles that measure vanishing quantities (Q4593234) (← links)
- A comparison of concepts from computable analysis and effective descriptive set theory (Q4593238) (← links)
- On the computational complexity of the Dirichlet Problem for Poisson's Equation (Q4593239) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
