An Improved Algorithm for Quantifier Elimination Over Real Closed Fields - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Saugata Basu. An Improved Algorithm for Quantifier Elimination Over Real Closed Fields. In FOCS. pages 56-65, 1997. [doi]

@inproceedings{Basu97,
  title = {An Improved Algorithm for Quantifier Elimination Over Real Closed Fields},
  author = {Saugata Basu},
  year = {1997},
  url = {http://computer.org/proceedings/focs/8197/81970056abs.htm},
  researchr = {https://researchr.org/publication/Basu97},
  cites = {0},
  citedby = {0},
  pages = {56-65},
  booktitle = {FOCS},
}

runs on WebDSL