%0 Conference Paper %1 conf/issac/EnglandBD15 %A England, Matthew %A Bradford, Russell J. %A Davenport, James H. %B ISSAC %D 2015 %E Yokoyama, Kazuhiro %E Linton, Steve %E Robertz, Daniel %I ACM %K dblp %P 165-172 %T Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. %U http://dblp.uni-trier.de/db/conf/issac/issac2015.html#EnglandBD15 %@ 978-1-4503-3435-8

@inproceedings{conf/issac/EnglandBD15, added-at = {2022-01-31T00:00:00.000+0100}, author = {England, Matthew and Bradford, Russell J. and Davenport, James H.}, biburl = {https://www.bibsonomy.org/bibtex/249cd28451900f5e568bd9b6215548818/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2015}, editor = {Yokoyama, Kazuhiro and Linton, Steve and Robertz, Daniel}, ee = {https://www.wikidata.org/entity/Q59590568}, interhash = {ef3c9a1993c25633cf0e1b67e95d946f}, intrahash = {49cd28451900f5e568bd9b6215548818}, isbn = {978-1-4503-3435-8}, keywords = {dblp}, pages = {165-172}, publisher = {ACM}, timestamp = {2024-04-10T11:16:26.000+0200}, title = {Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2015.html#EnglandBD15}, year = 2015 }