黄成超;李景超;徐明;李志斌 通过排除和分化对多电源进行阳性根隔离。 (英语) Zbl 1378.68200号 J.塞姆。计算。 85, 148-169 (2018).MSC公司:68瓦30 第12天第10天 2005年12月 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Symb。计算。85、148--169(2018;Zbl 1378.68200) 全文: 内政部
徐明;李志斌;杨璐 一类指数多项式公式的量词消去。 (英语) Zbl 1382.03056号 J.塞姆。计算。 68,第1部分,146-168(2015).MSC公司:03C10号机组 2015年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,J.Symb。计算。68,第1部分,146--168(2015;Zbl 1382.03056) 全文: 内政部
刘永平。;廖世杰。;李,Z.B。 强非线性周期振荡的符号计算。 (英语) Zbl 1325.68292号 J.塞姆。计算。 55,72-95(2013).MSC公司:68瓦30 65升99 68吨15 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.P.Liu}等人,J.Symb。计算。55、72-95(2013年;Zbl 1325.68292) 全文: 内政部
徐明;李志斌 可解回路的符号终止分析。 (英语) Zbl 1253.68224号 J.塞姆。计算。 50, 28-49 (2013).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Z.-B.Li},J.Symb。计算。50,28-49(2013;Zbl 1253.68224) 全文: 内政部