computer-assisted-proofs topic
List
computer-assisted-proofs repositories
RadiiPolynomial.jl
24
Stars
5
Forks
24
Watchers
Library for computer-assisted proofs in dynamical systems
