zomborid / AffineArithmetic.jl

Affine arithmetic in Julia

AffineArithmetic.jl

A pure-Julia implementation of affine arithmetic. This is a method for rigorously bounding the results of evaluating functions, extending standard interval arithmetic provided in the author's ValidatedNumerics.jl package.

Author

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

References

• Implementation and improvements of affine arithmetic (2015), Siegfried M. Rump and Masahide Kashiwagi

• Self-Validated Numerical Methods and Applications (1997), Jorge Stolfi, Luiz Henrique De Figueiredo

Acknowledgements

Financial support is acknowledged from DGAPA-UNAM PAPIIT grants IN-117214 and IN-117117.