RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.
RadiiPolynomial provides high-level tools and abstractions for sequences and operators, fully integrated with IntervalArithmetic, enabling rigorous exploration of nonlinear dynamical systems.
⚡ Validate the existence of fixed-points, steady-states, and periodic orbits
⚡ Compute invariant manifolds and rigorously track connecting orbits
⚡ Generate rigorous bifurcation diagrams
→ Go to julialang.org/downloads and install Julia (v1.10 or above).
→ Start Julia and execute the following command:
julia> using Pkg
julia> 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).