@BOOK{Platzer18,
  author    = {Andr{\'{e}} Platzer},
  title     = {Logical Foundations of Cyber-Physical Systems},
  publisher = {Springer},
  address   = {Cham},
  year      = {2018},
  isbn      = {978-3-319-63587-3},
  e-isbn    = {978-3-319-63588-0},
  doi       = {10.1007/978-3-319-63588-0},
  opturl       = {http://www.springer.com/978-3-319-63587-3}
}


@article{weispfenning1988complexity,
  author    = {Volker Weispfenning},
  title     = {The Complexity of Linear Problems in Fields},
  journal   = {J. Symb. Comput.},
  volume    = {5},
  number    = {1/2},
  pages     = {3--27},
  year      = {1988},
 skipurl       = {https://doi.org/10.1016/S0747-7171(88)80003-8},
  doi       = {10.1016/S0747-7171(88)80003-8},
  timestamp = {Wed, 17 Feb 2021 08:56:48 +0100},
  biburl    = {https://dblp.org/rec/journals/jsc/Weispfenning88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{weispfenning1997quantifier,
  author    = {Volker Weispfenning},
  title     = {Quantifier Elimination for Real Algebra -- the Quadratic Case and Beyond},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {8},
  number    = {2},
  pages     = {85--101},
  year      = {1997},
  skipurl       = {https://doi.org/10.1007/s002000050055},
  doi       = {10.1007/s002000050055},
  timestamp = {Thu, 18 May 2017 09:50:54 +0200},
  biburl    = {https://dblp.org/rec/journals/aaecc/Weispfenning97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}


@article{nipkow2010linear,
  author    = {Tobias Nipkow},
  title     = {Linear Quantifier Elimination},
  journal   = {J. Autom. Reason.},
  volume    = {45},
  number    = {2},
  pages     = {189--212},
  year      = {2010},
  skipurl       = {https://doi.org/10.1007/s10817-010-9183-0},
  doi       = {10.1007/s10817-010-9183-0},
  timestamp = {Wed, 02 Sep 2020 13:29:58 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/Nipkow10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{chaieb2008automated,
  title={Automated methods for formal proofs in simple arithmetics and algebra},
  author={Chaieb, Amine},
  year={2008},
  school={Technische Universit{\"a}t M{\"u}nchen},
url={https://mediatum.ub.tum.de/doc/649541/649541.pdf}
}
