flintlib
add multivariate version of arb_calc
Maybe to be named arb_vec_calc? This would have root isolation/exclusion/refinement for multivariate functions. For univariate functions this is already available as arb_calc.
I think multivariate functions could go in arb_calc itself. It's not a large module.
By the way, I think Taylor models are the right way to do interval analysis, where possible to use. It's something I've meant to work on, if I ever find the time. The classical approach is more general and easier to understand, though, so I'd like to support both ways.
I wasn't sure what a Taylor model is, so I found the reviews Taylor forms – use and limits by Arnold Neumaier and From Taylor Series to Taylor Models by Martin Berz.