h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Michel:1005631,
      author       = {Michel, Lucas and Nalbach, Jasper Kurt Ferdinand and
                      Mathonet, Pierre and Zénaïdi, Naïm and Brown, Christopher
                      W. and Ábrahám, Erika and Davenport, James H. and England,
                      Matthew},
      title        = {{O}n {P}rojective {D}elineability},
      address      = {Pisctaway, NJ},
      publisher    = {IEEE},
      reportid     = {RWTH-2025-01894},
      pages        = {9-16},
      year         = {2024},
      note         = {Date Added to IEEE Xplore: 26 February 2025},
      comment      = {2024 26th International Symposium on Symbolic and Numeric
                      Algorithms for Scientific Computing (SYNASC) :
                      [Proceedings]},
      booktitle     = {2024 26th International Symposium on
                       Symbolic and Numeric Algorithms for
                       Scientific Computing (SYNASC) :
                       [Proceedings]},
      month         = {Sep},
      date          = {2024-09-16},
      organization  = {26. International Symposium on
                       Symbolic and Numeric Algorithms for
                       Scientific Computing, Timisoara
                       (Romania), 16 Sep 2024 - 19 Sep 2024},
      cin          = {123420 / 080060 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)080060_20170720$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in
                      Algorithmen, Verifikation und Logik. (282652900) / DFG
                      project G:(GEPRIS)531314152 - SMT Techniken für
                      arithmetische Theorien (531314152)},
      pid          = {G:(GEPRIS)282652900 / G:(GEPRIS)531314152},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      UT           = {WOS:001458218400003},
      doi          = {10.1109/SYNASC65383.2024.00015},
      url          = {https://publications.rwth-aachen.de/record/1005631},
}