RangeEnclosures.jl

A Julia package to compute range enclosures of real-valued functions.

Features

• Computation of lower and upper bounds of real-valued functions, either univariate or multivariate, over hyperrectangular (i.e. box shaped) domains.
• The following solvers are always available (using the package IntervalArithmetic.jl):
  • NaturalEnclosure
  • MeanValueEnclosure
  • BranchAndBoundEnclosure
• The following solvers are available upon loading other packages:
  • MooreSkelboeEnclosure, which requires IntervalOptimisation.jl
  • TaylorModelsEnclosure, which requires TaylorModels.jl
  • SumOfSquaresEnclosure, which requires SumOfSquares.jl
  • AffineArithmeticEnclosure, which requires AffineArithmetic.jl

Quickstart

The package exports one single function, enclose, which receives a Julia function, a domain, and (optionally) a solver and additional options passed to the solver. See the README.md file for the basic usage, or consult the source code docstrings, either in the REPL or in the github repository source code

Library Outline

• Types
• Methods
• • The enclose function
  • Utility functions