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

**URL:** <https://discourse.julialang.org/t/ann-radiipolynomial-jl-computer-assisted-proofs-in-julia/140270>\
**Category:** Package Announcements\
**Tags:** intervals, dynamical-systems, interval-arithmetic\
**Created:** [October 26, 2026, 8:35pm UTC](https://discourse.julialang.org/t/ann-radiipolynomial-jl-computer-assisted-proofs-in-julia/140270 "2026-10-26T20:35:36Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![Datseris](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/datseris/32/13406_2.png) [@Datseris](https://discourse.julialang.org/u/Datseris)\
**Post date:** [October 28, 2026, 7:57pm UTC](https://discourse.julialang.org/t/ann-radiipolynomial-jl-computer-assisted-proofs-in-julia/140270/2 "2026-10-28T19:57:21Z")

</div>

Hey, this is really really cool! Would you be interested in giving a talk about this in an upcoming [JuliaDynamics monthly meeting](https://discourse.julialang.org/t/juliadynamics-monthly-meetings-round-2/132357)?

---

_[View the full topic](https://discourse.julialang.org/t/ann-radiipolynomial-jl-computer-assisted-proofs-in-julia/140270)._