HOME

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

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.

  • Creator and lead developer
  • Integrates seamlessly with IntervalArithmetic.jl for rigorous results

IntervalArithmetic.jl

IntervalArithmetic.jl is a software library for validated numerics. It provides certified enclosures for numerical computations via interval arithmetic.