@entry{ste-thi-22-aa,
  author = {F Steinberg and H Thies},
  title = {Computable analysis, exact real arithmetic and analytic functions in Coq},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://staff.aist.go.jp/reynald.affeldt/coq2019/coqws2019-steinberg-thies.pdf}}},
  quotes = {... Further improvements can be made by using more sophisticated ideas from verified numerics such as affine arithmetic or Taylor models. Similar methods have already been formalized ...}
}