The following pages link to iRRAM (Q20769):
Displaying 44 items.
- Computational complexity of iterated maps on the interval (Q449664) (← links)
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Computations with effective real numbers (Q817859) (← links)
- Implementing exact real arithmetic in python, C++ and C (Q817863) (← 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)
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving (Q1799286) (← links)
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (Q1945017) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← 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)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- Using Taylor Models in Exact Real Arithmetic (Q2807869) (← links)
- Function Interval Arithmetic (Q2879194) (← links)
- From Calculus to Algorithms without Errors (Q2879200) (← links)
- Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time (Q2938761) (← links)
- Effective real numbers in Mmxlib (Q2958980) (← links)
- From coinductive proofs to exact real arithmetic: theory and applications (Q3003309) (← links)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- RealLib: An efficient implementation of exact real arithmetic (Q3431545) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)
- Exact Exploration and Hanging Algorithms (Q3586039) (← links)
- (Q4531979) (← links)
- (Q4531992) (← links)
- (Q4532001) (← links)
- Closed Sets and Operators thereon: Representations, Computability and Complexity (Q4637697) (← links)
- Real Numbers and BDDs (Q4916190) (← links)
- Implementing Real Numbers With RZ (Q4918049) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- (Q5150980) (← links)
- Leading Digits of Mersenne Numbers (Q5163160) (← links)
- Reduced Cancellation in the Evaluation of Entire Functions and Applications to the Error Function (Q5302190) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice (Q5426863) (← links)
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra (Q5747872) (← links)
