CORC

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

限定条件    
已选(0)清除 条数/页:   排序方式:
Generating polynomial invariants with DISCOVERER and QEPCAD 其他
2007-01-01
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/17
Discovering non-linear ranking functions by solving semi-algebraic systems 其他
2007-01-01
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen
收藏  |  浏览/下载:2/0  |  提交时间:2015/11/13


©版权所有 ©2017 CSpace - Powered by CSpace