Nonlinear differential equations · Numerical analysis · Spectral theory · Computer-assisted proofs
-
École Polytechnique
- Palaiseau, France
- https://olivierhnt.github.io
- https://orcid.org/0000-0002-8915-3665
Popular repositories Loading
-
RadiiPolynomial.jl
RadiiPolynomial.jl PublicLibrary for computer-assisted proofs in dynamical systems
-
-
IntervalArithmetic.jl
IntervalArithmetic.jl PublicForked from JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Julia 1
-
Computer-assisted-proofs-in-nonlinear-analysis
Computer-assisted-proofs-in-nonlinear-analysis PublicJulia 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.