RadiiPolynomial (julia): Library for computer-assisted proofs in dynamical systems
Keywords: rigorous-numerics|nonlinear-equations|dynamical-systems|infinite-dimensions|julia|computer-assisted-proofs