%0 Journal Article %1 journals/cca/Brown04 %A Brown, Christopher W. %D 2004 %J SIGSAM Bull. %K dblp %N 1 %P 23-24 %T QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition. %U http://dblp.uni-trier.de/db/journals/cca/cca38.html#Brown04 %V 38

@article{journals/cca/Brown04, added-at = {2023-08-04T00:00:00.000+0200}, author = {Brown, Christopher W.}, biburl = {https://www.bibsonomy.org/bibtex/2cb73aa18075347ce21ed4a084e10b37c/dblp}, ee = {https://doi.org/10.1145/980175.980185}, interhash = {d8a862d27316978a610bdf0f4b00cfb4}, intrahash = {cb73aa18075347ce21ed4a084e10b37c}, journal = {SIGSAM Bull.}, keywords = {dblp}, number = 1, pages = {23-24}, timestamp = {2024-04-08T13:32:11.000+0200}, title = {QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition.}, url = {http://dblp.uni-trier.de/db/journals/cca/cca38.html#Brown04}, volume = 38, year = 2004 }