A Julia package to bound the range of real-valued functions.
From the Julia REPL type
julia> using Pkg; Pkg.add("RangeEnclosures")
An enclosure of the range
of a function
RangeEnclosures offers an API to easily bound the range of
julia> f(x) = -x^3/6 + 5x julia> dom = 1 .. 4 [1, 4] julia> enclose(f, dom, BranchAndBoundEnclosure()) [4.83333, 10.5709]
If you encounter bugs, want to suggest new features or have questions, feel free
to open an issue.
You can also chat with the package developers on
or in the
#reachability-analysis stream on
Zulip. Pull requests implementing new
features or fixing bugs are also welcome. Make sure to check out the
During Summer 2022, this project was financially supported by Google through the Google Summer of Code program. During Summer 2019, this project was financially supported by Julia through the Julia Season of Contributions program.
If you use
RangeEnclosures.jl, consider acknowledging or citing the Julia package
that implements the specific solver that you are using.