swMATH8769MaRDI QIDQ20769FDOQ20769
Author name not available (Why is that?)
Official website: http://irram.uni-trier.de/
Source code repository: https://github.com/holgerthies/iRRAM-analytic
Cited In (63)
- Making big steps in trajectories
- Limit cycles and their period detection via numeric and symbolic hybrid computations
- Leading digits of Mersenne numbers
- 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
- 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
- Towards using exact real arithmetic for initial value problems
- Closed sets and operators thereon: representations, computability and complexity
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Effective real numbers in Mmxlib
- Real numbers and BDDs
- 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?
- On the Kolmogorov complexity of continuous real functions
- Using Taylor models in exact real arithmetic
- 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
- Exact exploration and hanging algorithms
- Implementing real numbers with RZ
- Semantics of a sequential language for exact real-number computation
- Gappa
- core 2
- PNM
- xrc
- Ariadne
- C-CoRN
- Flocq
- MPC
- SimplifySum
- RZ
- INTPAK
- AERN
- VNODE
- MPFUN
- Wolfram Demonstrations
- Function interval arithmetic
- Mmxlib
- Creal
- Cr
- Algorithm 908
- 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
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
- Computing a solution of Feigenbaum's functional equation in polynomial time
- Efficient exact computation of iterated maps
- 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
- Numerical Software with Result Verification
- The Dedekind reals in abstract Stone duality
- Exact real arithmetic using centred intervals and bounded error terms
- Computations with effective real numbers
- Implementing exact real arithmetic in python, C++ and C
This page was built for software: iRRAM
