This page presents two open-source (MIT-licensed) software libraries I actively maintain and develop, focused on rigorous numerics and validated computation in nonlinear analysis.
RadiiPolynomial.jl is a software library for computer-assisted proofs in dynamical systems. It contains high-level tools for establishing the existence of particular solutions to discrete maps and differential equations, including steady-states, periodic orbits, and connecting trajectories.
IntervalArithmetic.jl is a software library for validated numerics. It provides certified enclosures for numerical computations via interval arithmetic.