Olivier Hénot
McGill University, Department of Mathematics and Statistics
RadiiPolynomial is an open source software, written in Julia, for computer-assisted proofs in dynamical systems.