摘要：基于变量替换的形式非负性决策的研究
作者：Xiaorong Hou, Song Xu
论文ID：0912.4430
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2009-12-23
PDF 下载： 英文版 中文版pdf翻译中