BibTeX record conf/issac/Strzebonski12

download as .bib file

@inproceedings{DBLP:conf/issac/Strzebonski12,
  author       = {Adam W. Strzebonski},
  editor       = {Joris van der Hoeven and
                  Mark van Hoeij},
  title        = {Solving polynomial systems over semialgebraic sets represented by
                  cylindrical algebraic formulas},
  booktitle    = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
                  Grenoble, France - July 22 - 25, 2012},
  pages        = {335--342},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442829.2442877},
  doi          = {10.1145/2442829.2442877},
  timestamp    = {Tue, 06 Nov 2018 16:57:06 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Strzebonski12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics