iRRAM

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