Library for computer-assisted proofs in dynamical systems
julia dynamical-systems nonlinear-equations infinite-dimensions computer-assisted-proofs rigorous-numerics
-
Updated
Jan 24, 2025 - Julia