2019-other.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2019-other.cite -ob 2019-other.bib -c 'year = 2019 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@unpublished{boldo19wp,
  topics = {team},
  title = {Emulating round-to-nearest-ties-to-zero ''augmented'' floating-point operations using round-to-nearest-ties-to-even arithmetic},
  author = {Boldo, Sylvie and Lauter, Christoph Q. and Muller, Jean-Michel},
  hal = {https://hal.archives-ouvertes.fr/hal-02137968},
  note = {working paper or preprint},
  year = 2019,
  month = oct
}

@unpublished{steinberg19wp,
  topics = {team},
  title = {Quantitative continuity and computable analysis in {Coq}},
  author = {Steinberg, Florian and Thery, Laurent and Thies, Holger},
  hal = {https://hal.inria.fr/hal-02088293},
  note = {working paper or preprint},
  year = 2019,
  month = apr,
  pdf = {https://hal.inria.fr/hal-02088293/file/paper.pdf},
  hal_id = {hal-02088293},
  hal_version = {v1}
}

@misc{steinberg19mla,
  topics = {team},
  title = {Some formal proofs of isomorphy and discontinuity},
  author = {Steinberg, Florian and Thies, Holger},
  hal = {https://hal.inria.fr/hal-02019174},
  howpublished = {Third Workshop on Mathematical Logic and its Applications},
  year = 2019,
  month = mar
}