%0 Journal Article %1 journals/jsc/BrownK15 %A Brown, Christopher W. %A Kosta, Marek %D 2015 %J J. Symb. Comput. %K %P 14-48 %T Constructing a single cell in cylindrical algebraic decomposition. %U http://dblp.uni-trier.de/db/journals/jsc/jsc70.html#BrownK15 %V 70

@article{journals/jsc/BrownK15, added-at = {2023-12-14T15:39:16.000+0100}, author = {Brown, Christopher W. and Kosta, Marek}, biburl = {https://www.bibsonomy.org/bibtex/2a1b9919e6a96d56eb958620522f15889/admin}, ee = {http://dx.doi.org/10.1016/j.jsc.2014.09.024}, interhash = {ede23fe97fb2bce65ca0b387dd165b3e}, intrahash = {a1b9919e6a96d56eb958620522f15889}, journal = {J. Symb. Comput.}, keywords = {}, pages = {14-48}, timestamp = {2023-12-14T15:39:16.000+0100}, title = {Constructing a single cell in cylindrical algebraic decomposition.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc70.html#BrownK15}, volume = 70, year = 2015 }