Code

My computer-assisted proofs are performed on Julia via the RadiiPolynomial.jl library. The rigorous float-point computations are achieved thanks to the package IntervalArithmetic.jl.

In fact, each manuscript in my papers has a corresponding open-access code available on my Github page.