RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.
The official documentation is available online: https://OlivierHnt.github.io/RadiiPolynomial.jl/stable.
The RadiiPolynomial.jl package requires to install Julia (v1.9 or above).
Then, start Julia and execute the following command in the REPL:
using Pkg; Pkg.add("RadiiPolynomial")If you use the RadiiPolynomial library in your publication, research, teaching, or other activities, please use the BibTeX template CITATION.bib (more information).