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