@entry{gho-gou-put-09-aa,
  author = {K Ghorbal and E Goubault and S Putot},
  title = {The zonotope abstract domain taylor1+},
  journal = {International conference on computer ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-02658-4_47}}},
  quotes = {... If performed with real number coefficients, affine arithmetic is exact on linear operations : addition and subtraction operations are defined componentwise. For non-linear unary ...}
}