Matthew England, David J. Wilson, Russell J. Bradford, James H. Davenport. Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. In Hoon Hong, Chee Yap, editors, Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Volume 8592 of Lecture Notes in Computer Science, pages 458-465, Springer, 2014. [doi]
@inproceedings{EnglandWBD14,
title = {Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting},
author = {Matthew England and David J. Wilson and Russell J. Bradford and James H. Davenport},
year = {2014},
doi = {10.1007/978-3-662-44199-2_69},
url = {http://dx.doi.org/10.1007/978-3-662-44199-2_69},
researchr = {https://researchr.org/publication/EnglandWBD14},
cites = {0},
citedby = {0},
pages = {458-465},
booktitle = {Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings},
editor = {Hoon Hong and Chee Yap},
volume = {8592},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-44198-5},
}