The following pages link to (Q4531992):
Displaying 27 items.
- Computational complexity of iterated maps on the interval (Q449664) (← links)
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Efficient exact computation of iterated maps (Q1779563) (← links)
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (Q1945017) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- Computational complexity of classical solutions of partial differential equations (Q2104279) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Limit cycles and their period detection via numeric and symbolic hybrid computations (Q2207785) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)
- Real Numbers and BDDs (Q4916190) (← links)
- Implementing Real Numbers With RZ (Q4918049) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- Leading Digits of Mersenne Numbers (Q5163160) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
- Complexity of a root clustering algorithm for holomorphic functions (Q6496875) (← links)