Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleComputing Cylindrical Algebraic Decomposition via Triangular Decomposition
Author(s) Changbo Chen, Maria Angeles Moreno Frias, Bican Xia, Lu Yang
TypeArticle in Conference Proceedings
Keywordscad, regular chain, triangular decomposition
ISBN978-1-60558-609-0
URL http://doi.acm.org/10.1145/1576702.1576718
LanguageEnglish
SeriesISSAC
Pages95--102
PublisherACM
AddressNew York, NY, USA
Year2009
Edition0
Translation No
Refereed No
Webmaster