Skip to content

Affine arithmetic using sparse vector storage of coefficients

Notifications You must be signed in to change notification settings

fireofearth/AffineArithmetic.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

AffineArithmetic.jl

Julia implementation of affine arithmetic based on the C++ library aaflib. Uses sparse vector storage of coefficients, and Chebyshev approximation for non-affine operations.

Dependencies

IntervalArithmetic.jl

TODOs

  • Allow affine forms to be instantiated with coefficients of any type <: Real.

Related Works

Jorge Stolfi and Luiz Henrique de Figueiredo. 1997. Self-Validated Numberical Methods and Applications. In Proceedings of the 21st Brazilian Mathematics Colloquium. ??? PDF:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.36.8089&rep=rep1&type=pdf

Related Software

AffineArithmetic.jl: an alternative implementation.

Affine Arithmetic C++ Library (aaflib) http://aaflib.sourceforge.net

About

Affine arithmetic using sparse vector storage of coefficients

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages