摘要：改进的傅立叶-摩茨金消除法中去除冗余不等式的方法
作者：Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi
论文ID：1811.01510
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2019-05-14
PDF 下载： 英文版 中文版pdf翻译中