/RadiiPolynomial.jl

Library for computer-assisted proofs in dynamical systems

Primary LanguageJuliaMIT LicenseMIT

Issues