2024-phd.bib

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

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

@phdthesis{mouhcine24phd,
  topics = {team},
  hal = {https://theses.hal.science/tel-04884651},
  author = {Mouhcine, Houda},
  title = {Formal Proofs in Applied Mathematics: A {Coq} Formalization
                  of Simplicial Lagrange Finite Elements},
  school = {Universit\'e Paris-Saclay},
  year = 2024,
  type = {PhD thesis}
}

@phdthesis{andres24phd,
  topics = {team},
  hal = {https://theses.hal.science/tel-04995610},
  author = {Andr{\`e}s, L{\'e}o},
  title = {Exécution symbolique pour tous ou Compilation d’{OCaml} vers {WebAssembly}},
  school = {Universit\'e Paris-Saclay},
  year = 2024,
  type = {PhD thesis}
}