%0 Conference Paper %1 conf/issac/Brown15 %A Brown, Christopher W. %B ISSAC %D 2015 %E Yokoyama, Kazuhiro %E Linton, Steve %E Robertz, Daniel %I ACM %K dblp %P 85-92 %T Open Non-uniform Cylindrical Algebraic Decompositions. %U http://dblp.uni-trier.de/db/conf/issac/issac2015.html#Brown15 %@ 978-1-4503-3435-8

@inproceedings{conf/issac/Brown15, added-at = {2023-08-04T00:00:00.000+0200}, author = {Brown, Christopher W.}, biburl = {https://www.bibsonomy.org/bibtex/23c752306a898630a72b7b16bf81e3ec3/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2015}, editor = {Yokoyama, Kazuhiro and Linton, Steve and Robertz, Daniel}, ee = {https://doi.org/10.1145/2755996.2756654}, interhash = {8f569732c0ddce9081eeae5b44e6a0bb}, intrahash = {3c752306a898630a72b7b16bf81e3ec3}, isbn = {978-1-4503-3435-8}, keywords = {dblp}, pages = {85-92}, publisher = {ACM}, timestamp = {2024-04-10T11:16:26.000+0200}, title = {Open Non-uniform Cylindrical Algebraic Decompositions.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2015.html#Brown15}, year = 2015 }