OlivierHnt/RadiiPolynomial.jl

Library for computer-assisted proofs in dynamical systems

JuliaMIT