Two open-source software libraries I actively maintain and develop, focused on rigorous numerics and validated computation in nonlinear analysis.
→ Written in Julia · github.com/olivierhnt
A 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.
A library for validated numerics. It provides certified enclosures for numerical computations via interval arithmetic.