iRRAM
From MaRDI portal
Software:20769
swMATH8769MaRDI QIDQ20769FDOQ20769
Author name not available (Why is that?)
Source code repository: https://github.com/holgerthies/iRRAM-analytic
Cited In (44)
- Limit cycles and their period detection via numeric and symbolic hybrid computations
- From Calculus to Algorithms without Errors
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Implementing Real Numbers With RZ
- Parametrised second-order complexity theory with applications to the study of interval computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Admissibly Represented Spaces and Qcb-Spaces
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Effective real numbers in Mmxlib
- A constructive theory of continuous domains suitable for implementation
- RealLib: An efficient implementation of exact real arithmetic
- The world's shortest correct exact real arithmetic program?
- Title not available (Why is that?)
- Computational complexity of iterated maps on the interval
- Reduced Cancellation in the Evaluation of Entire Functions and Applications to the Error Function
- Axiomatic reals and certified efficient exact real computation
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
- Title not available (Why is that?)
- Towards Using Exact Real Arithmetic for Initial Value Problems
- Using Taylor Models in Exact Real Arithmetic
- Semantics of a sequential language for exact real-number computation
- On the Kolmogorov Complexity of Continuous Real Functions
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- From coinductive proofs to exact real arithmetic: theory and applications
- Leading Digits of Mersenne Numbers
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- Efficient exact computation of iterated maps
- Closed Sets and Operators thereon: Representations, Computability and Complexity
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification
- Arbitrary precision real arithmetic: design and algorithms
- The constructive reals as a Java library
- On the computability of the set of automorphisms of the unit square
- Real Numbers and BDDs
- Numerical Software with Result Verification
- The Dedekind reals in abstract Stone duality
- Function Interval Arithmetic
- Exact Exploration and Hanging Algorithms
- Exact real arithmetic using centred intervals and bounded error terms
- Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
- Computations with effective real numbers
- Implementing exact real arithmetic in python, C++ and C
This page was built for software: iRRAM