伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 一种用于量词消除的符号-数字柱面代数分解的有效实现。 (英语) Zbl 1291.68433号 西奥。计算。科学。 479, 43-69 (2013).MSC公司:68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Iwane}等人,Theor。计算。科学。479、43-69(2013年;Zbl 1291.68433) 全文: DOI程序
伊瓦内、希德诺;仁亚那米;阿奈、平子 制造设计中多目标优化的符号-数字方法。 (英语) Zbl 1270.90061号 数学。计算。科学。 5,第3期,315-334(2011).MSC公司:90C29型 90-04年 68瓦30 65K99美元 PDF格式BibTeX公司 XML格式引用 \textit{H.Iwane}等人,《数学》。计算。科学。5,编号3,315-334(2011年;兹bl 1270.90061) 全文: DOI程序