IntervalArithmetic.jl

Introduction

IntervalArithmetic.jl is a Julia package for performing Validated Numerics in Julia, i.e. rigorous computations with finite-precision floating-point arithmetic.

All calculations are carried out using interval arithmetic: all quantities are treated as intervals, which are propagated throughout a calculation. The final result is an interval that is guaranteed to contain the correct result, starting from the given initial data.

The aim of the package is correctness over speed, although performance considerations are also taken into account.

Authors

• Luis Benet, Instituto de Ciencias Físicas, Universidad Nacional Autónoma de México (UNAM)

• David P. Sanders, Departamento de Física, Facultad de Ciencias, Universidad Nacional Autónoma de México (UNAM)

Contributors

• krish8484

• yashrajgupta

• eeshan9815

• Kolaru

• wormell

• tkoolen

• mfherbst

Related content

Docs

• IntervalArithmetic.jl tutorial

• API docs

Background

• Interval functions grimoire

Applications

• Rigorous approximation of $\pi$

• Rigorous function range computation