中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
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)  |  收藏  |  浏览/下载：51/0  |  提交时间：2018/03/16