Noriko Hyodo;洪明勋;仁亚那米;原原真二;阿奈、平子 基于量词消除的非线性参数约束求解与可视化。 （英语） Zbl 1167.68467号 申请。代数工程公社。计算。 18，第6号，497-512（2007）.MSC公司：68瓦30 03C10号机组 14页 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{N.Hyodo}等人，应用。代数工程公社。计算。18，第6号，497--512（2007；Zbl 1167.68467） 全文： 内政部
H·阿奈。;哈拉，S。 一种通过量化消去实现固定阶鲁棒控制器综合的参数空间方法。 （英语） Zbl 1133.93018号 国际J.控制 79，第11期，1321-1330（2006）.MSC公司：93亿B51 93B40码 93亿B50 93D09型 PDF格式BibTeX公司 XML格式引用 \textit{H.Anai}和\textit{S.Hara}，国际期刊控制79，第11期，1321--1330（2006；Zbl 1133.93018） 全文： 内政部
阿奈、平子;仁亚那米 语法：一个用于求解实代数约束的Maple包。 （英语） Zbl 1033.68960号 Peter M.A.Sloot（编辑）等人，《计算科学–ICCS 2003》。国际会议，澳大利亚墨尔本和俄罗斯圣彼得堡，2003年6月2日至4日。《会议记录》，第一部分，柏林：施普林格出版社（ISBN 3-540-40194-6/pbk）。勒克特。注释计算。科学。2657, 828-837 (2003).MSC公司：68瓦30 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{H.Anai}和\textit{H.Yanami}，莱克特。注释计算。科学。2657828--837（2003年；Zbl 1033.68960） 全文： 链接