Olivier Hénot

https://olivierhnt.github.io

École Polytechnique Palaiseau, France Nonlinear differential equations · Numerical analysis · Spectral theory · Computer-assisted proofs

Results 1 repositories owned by


                                            Olivier Hénot

RadiiPolynomial.jl

15

Stars

3

Forks

Watchers

Library for computer-assisted proofs in dynamical systems

computer-assisted-proofs

dynamical-systems

infinite-dimensions