CSpace

浏览/检索结果: 共5条,第1-5条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Basic polynomial algebra subprograms 期刊论文
ACM Communications in Computer Algebra, 2015, 卷号: 48, 期号: 3-4, 页码: 197-201
作者:  Chen, Changbo;  Covanov, Svyatoslav;  Mansouri, Farnam;  Maza, Marc Moreno;  Xie, Ning;  Xie, Yuzhen
收藏  |  浏览/下载:43/0  |  提交时间:2018/03/16
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition 会议论文
2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra, Portugal, July 7, 2014 - July 11, 2014
作者:  England, Matthew;  Bradford, Russell;  Chen, Changbo;  Davenport, James H.;  Maza, Marc Moreno;  Wilson, David
Adobe PDF(557Kb)  |  收藏  |  浏览/下载:58/0  |  提交时间:2018/03/16
Solving parametric polynomial systems by RealComprehensiveTriangularize 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Chen, Changbo;  Maza, Marc Moreno
Adobe PDF(972Kb)  |  收藏  |  浏览/下载:54/0  |  提交时间:2018/03/16
The basic polynomial algebra subprograms 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Chen, Changbo;  Covanov, Svyatoslav;  Mansouri, Farnam;  Maza, Marc Moreno;  Xie, Ning;  Xie, Yuzhen
Adobe PDF(434Kb)  |  收藏  |  浏览/下载:63/0  |  提交时间:2018/03/16
Doing algebraic geometry with the RegularChains library 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Alvandi, Parisa;  Chen, Changbo;  Marcus, Steffen;  Maza, Marc Moreno;  Schost, Éric;  Vrbik, Paul
Adobe PDF(969Kb)  |  收藏  |  浏览/下载:49/0  |  提交时间:2018/03/16