geneau.bib

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

@comment{{Command line: bib2bib -q -oc geneau.cite -ob geneau.bib -c 'author : "geneau"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{geneau23arith,
  topics = {team},
  author = {Geneau de Lamarli{\`e}re, Paul and Melquiond, Guillaume and Faissole, Florian},
  title = {Slimmer Formal Proofs for Mathematical Libraries},
  hal = {https://inria.hal.science/hal-04165169},
  booktitle = {Int. Conf. on Computer Arithmetic},
  year = 2023
}

@inproceedings{faissole24itp,
  topics = {team},
  title = {End-to-End Formal Verification of a Fast and Accurate Floating-Point Approximation},
  author = {Faissole, Florian and Geneau de Lamarli{\`e}re, Paul and Melquiond, Guillaume},
  hal = {https://hal.science/hal-04515714},
  booktitle = {5th International Conference on Interactive Theorem
                  Proving},
  publisher = {Leibniz International Proceedings in Informatics},
  address = {Tbilisi, Georgia},
  volume = 309,
  pages = {14:1-14:18},
  year = 2024,
  doi = {10.4230/LIPIcs.ITP.2024.14}
}

@inproceedings{geneau25jfla,
  topics = {team},
  title = {V{\'e}rification de bout en bout d'une fonction de biblioth{\`e}que math{\'e}matique},
  author = {Geneau de Lamarli{\`e}re, Paul},
  hal = {https://inria.hal.science/hal-04859533},
  booktitle = {36es Journ{\'e}es Francophones des Langages Applicatifs},
  address = {Roiff{\'e}, France},
  year = 2025
}