iRRAM
From MaRDI portal
IRRAM
Cited in
(69)- Limit cycles and their period detection via numeric and symbolic hybrid computations
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- From Calculus to Algorithms without Errors
- Leading digits of Mersenne numbers
- 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
- scientific article; zbMATH DE number 1746032 (Why is no real title available?)
- scientific article; zbMATH DE number 1746052 (Why is no real title available?)
- 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
- The world's shortest correct exact real arithmetic program?
- RealLib: An efficient implementation of exact real arithmetic
- Using Taylor models in exact real arithmetic
- On the Kolmogorov complexity of continuous real functions
- scientific article; zbMATH DE number 1746043 (Why is no real title available?)
- Computational complexity of iterated maps on the interval
- Axiomatic reals and certified efficient exact real computation
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
- Reduced Cancellation in the Evaluation of Entire Functions and Applications to the Error Function
- Exact exploration and hanging algorithms
- MPFI
- DeWall
- CoreASM
- RealLib
- SHRAD
- MPFR
- Gappa
- core 2
- PNM
- xrc
- Ariadne
- C-CoRN
- Flocq
- MPC
- SimplifySum
- RZ
- INTPAK
- AERN
- VNODE
- MPFUN
- Wolfram Demonstrations
- Mmxlib
- Creal
- Cr
- Algorithm 908
- Implementing real numbers with RZ
- Semantics of a sequential language for exact real-number computation
- Function interval arithmetic
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- 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
- Making big steps in trajectories
- 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