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, USA

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, USA Add to Reading List Source URL: issac2009.kias.re.kr Download Document from Source Website File Size: 278,99 KB Share Document on Facebook