h1

h2

h3

h4

h5
h6
% 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”.

@ARTICLE{Krivsky:152080,
      author       = {Krivsky, S. and Lang, B.},
      title        = {{V}erified computation of higher-dimensional convex hulls
                      and the solution of linear systems},
      journal      = {LMS journal of computation and mathematics},
      volume       = {6},
      issn         = {1461-1570},
      address      = {London},
      publisher    = {London Mathematical Society},
      reportid     = {RWTH-CONV-030604},
      year         = {2003},
      cin          = {120000 / 123010},
      cid          = {$I:(DE-82)120000_20140620$ / $I:(DE-82)123010_20140620$},
      typ          = {PUB:(DE-HGF)16},
      url          = {https://publications.rwth-aachen.de/record/152080},
}