1. Julia: A Fresh Approach to Numerical Computing
2. Tucker, Warwick, Validated Numerics: A Short Introduction to Rigorous Computations, 2011, 0691147817, 9780691147819, Princeton University Press, Princeton, NJ, USA
3. The Parameterization Method for Invariant Manifolds
4. MPFR
5. Sanders, David P. and Benet, Luis, IntervalArithmetic.jl: Rigorous floating-point calculations using interval arithmetic in Julia, https://github.com/JuliaIntervals/IntervalArithmetic.jl, 2019