Tasks

TaylorModels

• Linear dominated bounder

  • https://github.com/JuliaIntervals/TaylorModels.jl/pull/60

• Quadratic fast bounder

API

• backend : e.g. TaylorModels, IntervalArithmetic, SumOfSquares, etc.
• search : e.g. Static, Dynamic.

Examples:

enclose(f, dom, TM(order=10), Static(nchunks=10))
enclose(f, dom, IA(), Dynamic(maxdepth=10))
...

Add benchmarks

• #45, #46, #47