Nonlinear differential equations · Numerical analysis · Spectral theory · Computer-assisted proofs
-
National Taiwan University, Department of Mathematics
- Taipei, Taiwan
- https://olivierhnt.github.io
- https://orcid.org/0000-0002-8915-3665
Pinned Loading
-
RadiiPolynomial.jl
RadiiPolynomial.jl PublicLibrary for computer-assisted proofs in dynamical systems
-
JuliaIntervals/IntervalArithmetic.jl
JuliaIntervals/IntervalArithmetic.jl PublicLibrary for validated numerics using interval arithmetic
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.