[ANN] RadiiPolynomial.jl: computer-assisted proofs in Julia

This has been a long time coming. I started RadiiPolynomial.jl back in 2019 (first released in 2021) and kept putting off making an announcement because there’s always one more feature to finish first… Turns out that’s endless so here it is (even though this is not a 1.0-release and things will keep moving, the core components has matured enough to be worth sharing). RadiiPolynomial.jl is a library for computer-assisted proofs in nonlinear analysis. Roughly speaking the idea is to “prove what i...