Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/olivierhnt/radiipolynomial.jl

Library for computer-assisted proofs in dynamical systems
https://github.com/olivierhnt/radiipolynomial.jl

computer-assisted-proofs dynamical-systems infinite-dimensions julia nonlinear-equations rigorous-numerics

Last synced: about 2 months ago
JSON representation

Library for computer-assisted proofs in dynamical systems

Host: GitHub
URL: https://github.com/olivierhnt/radiipolynomial.jl
Owner: OlivierHnt
License: mit
Created: 2021-11-10T12:07:09.000Z (about 3 years ago)
Default Branch: main
Last Pushed: 2024-10-11T21:30:13.000Z (3 months ago)
Last Synced: 2024-11-02T01:42:28.101Z (2 months ago)
Topics: computer-assisted-proofs, dynamical-systems, infinite-dimensions, julia, nonlinear-equations, rigorous-numerics
Language: Julia
Homepage: https://olivierhnt.github.io/RadiiPolynomial.jl/
Size: 25.8 MB
Stars: 19
Watchers: 1
Forks: 3
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE.md
- Citation: CITATION.bib

Awesome Lists containing this project

README

        


RadiiPolynomial

[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://OlivierHnt.github.io/RadiiPolynomial.jl/stable)

[![DOI](https://img.shields.io/badge/DOI-10.5281/zenodo.5705258-_?colorA=363a4f&colorB=f5a97f)](https://zenodo.org/doi/10.5281/zenodo.5705258)

[![Build Status](https://github.com/OlivierHnt/RadiiPolynomial.jl/workflows/CI/badge.svg)](https://github.com/OlivierHnt/RadiiPolynomial.jl/actions/workflows/ci.yml)



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](https://julialang.org/downloads/) (v1.9 or above).

Then, start Julia and execute the following command in the REPL:

```julia

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](https://github.com/OlivierHnt/RadiiPolynomial.jl/blob/main/CITATION.bib) ([more information](https://doi.org/10.5281/zenodo.5705258)).