OlivierHnt/RadiiPolynomial.jl

Library for computer-assisted proofs in dynamical systems

语言：Julia · GitHub 星标：29 · Fork：5

话题：computer-assisted-proofs · dynamical-systems · infinite-dimensions · julia · nonlinear-equations · rigorous-numerics

在 GitHub 上查看原仓库