Uziel Linares

There isn't an implemented version of `TaylorModel1` with `TaylorN` (or `TaylorModelN`) coefficients for the following functions - [ ] Trigonometric functions (`sin(x)`, `cos(x)`, etc.) - [ ] Exponential and logarithmic...

This PR address #86.

Range bounders for the upper bound

1

Currently, the `linear_dominted_bounder` and `quadratic_fast_bounder` only improves the lower bound, there isn't an implemented way to use these algorithms to improve the upper bound. I have two options in mind...

Improve the product of TaylorModels

8

This PR implements the product of TaylorModel's product as discussed in #80.

Better bound for Taylor Model product

2

Playing around with the implementation of the product of Taylor Models given in [1], I found that his implementation gives a better bound for the resulting Taylor Model, eg, the...