中国科学院重庆绿色智能技术研究院机构知识库(CSpace): 检索

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文 JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93 作者: Chen, Changbo; Maza, Marc Moreno 收藏 \| 浏览/下载：46/0 \| 提交时间：2018/03/15 Quantifier elimination Cylindrical algebraic decomposition Regular chains Triangular decomposition
	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

中国科学院重庆绿色智能技术研究院机构知识库