%0 Conference Paper %1 conf/issac/Brown98 %A Brown, Christopher W. %B ISSAC %D 1998 %E Weispfenning, Volker %E Trager, Barry M. %I ACM %K dblp %P 295-301 %T Simplification of Truth-Invariant Cylindrical Algebraic Decompositions. %U http://dblp.uni-trier.de/db/conf/issac/issac98.html#Brown98 %@ 1-58113-002-3

@inproceedings{conf/issac/Brown98, added-at = {2023-08-04T00:00:00.000+0200}, author = {Brown, Christopher W.}, biburl = {https://www.bibsonomy.org/bibtex/21d3618d6c3917af691c299ad98bc6dd3/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1998}, editor = {Weispfenning, Volker and Trager, Barry M.}, ee = {https://doi.org/10.1145/281508.281652}, interhash = {361d02ea8521fbbd86591bedfd823cea}, intrahash = {1d3618d6c3917af691c299ad98bc6dd3}, isbn = {1-58113-002-3}, keywords = {dblp}, pages = {295-301}, publisher = {ACM}, timestamp = {2024-04-10T09:16:07.000+0200}, title = {Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac98.html#Brown98}, year = 1998 }