# \#interval-arithmetic

**URL:** https://discourse.julialang.org/tag/interval-arithmetic/1945.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [\[ANN\] RadiiPolynomial.jl: computer-assisted proofs in Julia](https://discourse.julialang.org/t/ann-radiipolynomial-jl-computer-assisted-proofs-in-julia/140270)

<div class="topic-metadata">

**Author:** [@OlivierHnt](https://discourse.julialang.org/u/OlivierHnt)\
**Replies:** 0\
**Last updated:** [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")

</div>

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 e…