iRRAM

swMATH8769MaRDI QIDQ20769

No author found.

Source code repository: https://github.com/holgerthies/iRRAM-analytic

Related Items (44)

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

This page was built for software: iRRAM