%0 Conference Paper %1 conf/icms/EnglandWBD14 %A England, Matthew %A Wilson, David J. %A Bradford, Russell J. %A Davenport, James H. %B ICMS %D 2014 %E Hong, Hoon %E Yap, Chee %I Springer %K dblp %P 458-465 %T Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. %U http://dblp.uni-trier.de/db/conf/icms/icms2014.html#EnglandWBD14 %V 8592 %@ 978-3-662-44198-5

@inproceedings{conf/icms/EnglandWBD14, added-at = {2022-01-31T00:00:00.000+0100}, author = {England, Matthew and Wilson, David J. and Bradford, Russell J. and Davenport, James H.}, biburl = {https://www.bibsonomy.org/bibtex/298c58364d7c3b3719bfe34359c2b61f4/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2014}, editor = {Hong, Hoon and Yap, Chee}, ee = {https://www.wikidata.org/entity/Q59590583}, interhash = {687db84a8446e5062f2467fc8682fb92}, intrahash = {98c58364d7c3b3719bfe34359c2b61f4}, isbn = {978-3-662-44198-5}, keywords = {dblp}, pages = {458-465}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:51:36.000+0200}, title = {Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2014.html#EnglandWBD14}, volume = 8592, year = 2014 }