Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
Author(s)
Changbo Chen
,
Maria Angeles Moreno Frias
,
Bican Xia
,
Lu Yang
Type
Article in Conference Proceedings
Keywords
cad, regular chain, triangular decomposition
ISBN
978-1-60558-609-0
URL
http://doi.acm.org/10.1145/1576702.1576718
Language
English
Series
ISSAC
Pages
95--102
Publisher
ACM
Address
New York, NY, USA
Year
2009
Edition
0
Translation
No
Refereed
No
Webmaster