@entry{naj-14-aa,
  author = {MA Najahi},
  title = {Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2014,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://tel.archives-ouvertes.fr/tel-01158310/}}},
  quotes = {... 30 1.13 Computed enclosure on v5 using affine arithmetic (in green) and curve of the ... ) with the enclosures obtained by interval and affine arithmetic (in green and blue respectively)...}
}