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{brahm:833961,
      author       = {Ábrahám, Erika and Davenport, James and England, Matthew
                      and Kremer, Gereon and Tonks, Zak},
      title        = {{N}ew {O}pportunities for the {F}ormal {P}roof of
                      {C}omputational {R}eal {G}eometry? ({E}xtended {A}bstract)},
      volume       = {2752},
      address      = {Aachen, Germany},
      publisher    = {RWTH Aachen},
      reportid     = {RWTH-2021-09565},
      series       = {CEUR workshop proceedings},
      pages        = {178-188},
      year         = {2020},
      comment      = {PAAR+SC-Square 2020: Practical Aspects of Automated
                      Reasoning and Satisfiability Checking and Symbolic
                      Computation Workshop 2020 : joint proceedings of the 7th
                      Workshop on Practical Aspects of Automated Reasoning (PAAR)
                      and the 5th Satisfiability Checking and Symbolic Computation
                      Workshop (SC-Square) Workshop, 2020 : co-located with the
                      10th International Joint Conference on Automated Reasoning
                      (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) /
                      edited by Pascal Fontaine, Konstantin Korovin, Ilias S.
                      Kotsireas, Philipp Rümmer, Sophie Tourret},
      booktitle     = {PAAR+SC-Square 2020: Practical Aspects
                       of Automated Reasoning and
                       Satisfiability Checking and Symbolic
                       Computation Workshop 2020 : joint
                       proceedings of the 7th Workshop on
                       Practical Aspects of Automated
                       Reasoning (PAAR) and the 5th
                       Satisfiability Checking and Symbolic
                       Computation Workshop (SC-Square)
                       Workshop, 2020 : co-located with the
                       10th International Joint Conference on
                       Automated Reasoning (IJCAR 2020) :
                       Paris, France, June-July, 2020
                       (virtual) / edited by Pascal Fontaine,
                       Konstantin Korovin, Ilias S. Kotsireas,
                       Philipp Rümmer, Sophie Tourret},
      month         = {Jun},
      date          = {2020-06-01},
      organization  = {7. Workshop on Practical Aspects of
                       Automated Reasoning, online, 1 Jun 2020
                       - 31 Jul 2020},
      subtyp        = {Extended abstract},
      cin          = {123420 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)1 / PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.18154/RWTH-2021-09565},
      url          = {https://publications.rwth-aachen.de/record/833961},
}