松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 智囊团能在数学奥林匹克比赛中获得奖牌吗对大学前问题的机械化数学进行基准测试。 (英语) Zbl 1462.68152号 AI通讯。 31,第3期,251-266(2018).MSC公司:68T01型 00A07年 68伏15 68V20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Matsuzaki}等人,人工智能公社。31,第3号,251--266(2018;Zbl 1462.68152) 全文: 内政部
伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 一种用于量词消除的符号-数字柱面代数分解的有效实现。 (英语) 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) 全文: 内政部
伊瓦内、希德诺;仁亚那米;阿奈、平子 制造设计中多目标优化的符号-数字方法。 (英语) 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;Zbl 1270.90061) 全文: 内政部