Skip to content

OlivierHnt/RadiiPolynomial.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

RadiiPolynomial

Stable DOI Build Status

RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.

📚 Documentation

The official documentation is available online: https://OlivierHnt.github.io/RadiiPolynomial.jl/stable.

🛠️ Installation

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")

🎓 Citation

If you use the RadiiPolynomial library in your publication, research, teaching, or other activities, please use the BibTeX template CITATION.bib (more information).