Olivier Hénot

McGill University, Department of Mathematics and Statistics

RadiiPolynomial.jl

RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.

Publications