First Page | Document Content | |
---|---|---|
Date: 2009-07-31 11:27:57 | Computing Cylindrical Algebraic Decomposition via Triangular Decomposition Changbo Chen, Marc Moreno Maza, Bican Xia and Lu Yang University of Western Ontario, Canada Massachusetts Institute of Technology, USAAdd to Reading ListSource URL: issac2009.kias.re.krDownload Document from Source WebsiteFile Size: 278,99 KBShare Document on Facebook |