2019-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2019-journal.cite -ob 2019-journal.bib -c 'year = 2019 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{mahboubi19jar,
  topics = {team},
  title = {Formally Verified Approximations of Definite Integrals},
  author = {Mahboubi, Assia and Melquiond, Guillaume and Sibut-Pinote, Thomas},
  hal = {https://hal.inria.fr/hal-01630143},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer},
  volume = 62,
  number = 2,
  pages = {281--300},
  year = 2019,
  month = feb,
  doi = {10.1007/s10817-018-9463-7}
}

@article{galloiswong19na,
  topics = {team},
  title = {Optimal Inverse Projection of Floating-Point Addition},
  author = {Gallois-Wong, Diane and Boldo, Sylvie and Cuoq, Pascal},
  hal = {https://hal.inria.fr/hal-01939097},
  journal = {Numerical Algorithms},
  publisher = {Springer},
  year = 2019,
  doi = {10.1007/s11075-019-00711-z},
  pdf = {https://hal.inria.fr/hal-01939097/file/main.pdf}
}

@article{boldo19toc,
  topics = {team},
  title = {Round-off error and exceptional behavior analysis of explicit {Runge-Kutta} methods},
  author = {Boldo, Sylvie and Faissole, Florian and Chapoutot, Alexandre},
  hal = {https://hal.archives-ouvertes.fr/hal-01883843},
  journal = {IEEE Transactions on Computers},
  publisher = {Institute of Electrical and Electronics Engineers},
  year = 2019,
  doi = {10.1109/TC.2019.2917902},
  pdf = {https://hal.archives-ouvertes.fr/hal-01883843/file/article_hal.pdf}
}

@article{neumann19tcs,
  topics = {team},
  title = {Parametrised second-order complexity theory with applications to the study of interval computation},
  author = {Neumann, Eike and Steinberg, Florian},
  hal = {https://hal.inria.fr/hal-02148494},
  journal = {Theoretical Computer Science},
  publisher = {Elsevier},
  year = 2019,
  doi = {10.1016/j.tcs.2019.05.009}
}

@article{rieuhelft19jfr,
  topics = {team},
  title = {A {Why3} proof of {GMP} algorithms},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://inria.hal.science/hal-02477578},
  journal = {Journal of Formalized Reasoning},
  publisher = {ASDD-AlmaDL},
  year = 2019,
  doi = {10.6092/issn.1972-5787/9730}
}