编辑配置文件（在新选项卡中打开） 阿奈、平子 合著者距离 作者ID： 阿纳伊·伊洛卡祖 发布日期： 阿奈、平子;H·阿奈。 已编制索引的文档： 50种出版物自1995年起 2作为编辑的贡献 合著者： 40位合著者具有48联合出版物 602合作作者 全部的 前5名合著者 4 单作者的 14 伊瓦内、希德诺 11 仁亚那米 11 横山和弘 9 原原真二 9 Masaaki Kanno 4 Katsuhisa Horimoto 4 松崎隆彦 4 沃尔克·魏斯芬宁 4 广岛吉田 3 Noriko H.Arai。 3 赤泉基拉 3 Munehiro小林 2 Frédéric Chazal 2 藤崎隆彦 2 马克·格利斯 2 Hiroyuki一原 2 尤伊奇·艾克 2 伊纳科什，Hiroya 2 工藤，朱玛 2 中川，Koji 2 拉斐尔·蒂纳拉奇 2 于浩·Umeda 2 詹益阳 1 胜木藤泽 1 西尔维娅·甘迪 1 Hiroyuki Higuchi 1 Hoon Hong 1 洪明勋 1 Noriko Hyodo 1 磐石，广崎 1 Naoyuki神山 1 Yutaka木村 1 武士近藤 1 特默尔库西亚 1 马赛尤基·诺罗 1 Kotaro Ohori 1 佐藤、优素克 1 铃木，Masakazu 1 Taku竹岛 1 Yap，Chee-Keng先生 全部的 前5名系列 7 RIMS Kokyuroku公司 4 计算机科学中的数学 1 国际控制杂志 1 日本运筹学会杂志 1 理论计算机科学 1 符号计算杂志 1 AI通信 1 日本工业与应用数学杂志 1 工程、通信和计算中的应用代数 1 信息与系统通信 1 计算机科学课堂讲稿 1 COE课堂讲稿 1 数学工业杂志 1 太平洋工业数学杂志 全部的 前5名领域 39 计算机科学（68至XX） 15 系统论；控制（93至XX） 14 数学逻辑和基础（03-XX） 7 交换代数（13-XX） 7 数值分析（65-XX） 7 运筹学、数学规划（90-XX） 4 场论和多项式（12-XX） 3 总体主题；集合（00-XX） 3 数论（11-XX） 3 代数几何（14-XX） 3 生物学和其他自然科学（92-XX） 2 变分法与最优控制；最优化（49至XX） 1 实函数（26年X月X日） 1 复变量的函数（30年XX月） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 代数拓扑（55-XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用157中的次130文件 引用人▼ 年份▼ 一种用于量词消除的符号-数字柱面代数分解的有效实现。 Zbl 1291.68433号 伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 59 2013 使用实量词消除进行到达集计算。 Zbl 0991.93008号 阿奈、平子;沃尔克·魏斯芬宁 15 2002 一种用于量词消除的符号-数字柱面代数分解的有效实现。 Zbl 1356.68282号 伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 9 2009 SYNRAC：用于解决实际代数约束的Maple包。 Zbl 1033.68960号 阿奈、平子;仁亚那米 6 2003 通过量词消去实现定阶鲁棒控制器综合的参数空间方法。 Zbl 1133.93018号 H·阿奈。;哈拉，S。 6 2006 分裂域和多项式Galois群的计算附录。 Zbl 0867.12006号 H·阿奈。;M.诺罗。;K.横山。 6 1996 机器数学。 Zbl 1325.68212号 Noriko H.Arai。;松崎隆彦;伊瓦内、希德诺;阿奈、平子 5 2014 非Renex公式的实量词消除的有效子公式顺序。 Zbl 1460.68086号 Munehiro小林;伊瓦内、希德诺;松崎隆彦;阿奈、平子 5 2016 使用实量词消除进行到达集计算。 兹比尔0985.68755 阿奈、平子;沃尔克·魏斯芬宁 4 2001 具有正实部的根之和。 Zbl 1360.68912号 阿奈、平子;原原真二;横山和弘 4 2005 使用根之和的参数多项式谱分解及其在控制设计问题中的应用。 Zbl 1180.13036号 阿奈、平子;原原真二;马萨基·卡诺;横山和弘 3 2009 在控制中使用参数多项式谱分解的根之和进行参数优化。 Zbl 1190.93061号 马萨基·卡诺;横山和弘;阿奈、平子;原原真二 3 2007 SyNRAC的开发。 兹比尔1120.68467 仁亚那米;阿奈、平子 3 2005 使用几何不变性消除实量词的公式简化。 Zbl 1457.68326号 伊瓦内、希德诺;阿奈、平子 3 2017 正实部根之和与多项式谱分解的关系。 Zbl 1137.65349号 马萨基·卡诺;阿奈、平子;横山和弘 2 2007 通过逻辑公式简化，有效地实现了符号确定条件的特殊量词消除。 Zbl 1411.68209号 伊瓦内、希德诺;Hiroyuki Higuchi;阿奈、平子 2 2013 基于量词消除的非线性参数约束求解与可视化。 兹比尔1167.68467 Noriko Hyodo;洪明勋;仁亚那米;原原真二;阿奈、平子 2 2007 与青少年赛跑——对大学前问题的机械化数学进行基准测试。 Zbl 1475.68459号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;工藤，朱玛;阿奈、平子;Noriko H.Arai。 2 2016 优化问题的符号-数字柱面代数分解的有效实现。 Zbl 1346.68289号 伊瓦内、希德诺;仁亚那米;阿奈、平子 2 2011 SyNRAC：用于求解实代数约束的工具箱。 Zbl 1437.13005号 伊瓦内、希德诺;仁亚那米;阿奈、平子 2 2014 SyNRAC的开发——公式描述和新功能。 Zbl 1102.68749号 仁亚那米;阿奈、平子 2 2004 判定线性三角问题。 Zbl 1326.68341号 阿奈、平子;沃尔克·魏斯芬宁 2 2000 基于DTM的过滤。 Zbl 1448.62212号 阿奈、平子;Frédéric Chazal;马克·格利斯;尤伊奇·艾克;伊纳科什，Hiroya;拉斐尔·蒂纳拉奇;于浩·Umeda 2 2020 具有Galois群（A_5）的六次多项式族——分裂域和Galois组的计算。 1040.12500兹罗提 阿奈、平子;武士近藤 1 1996 用量词消去法求解半定规划。 Zbl 0944.90577号 阿奈、平子 1 1998 制造设计中多目标优化的符号-数字方法。 Zbl 1270.90061号 伊瓦内、希德诺;仁亚那米;阿奈、平子 1 2011 SyNRAC的开发。基于柱面代数分解和可视化的实量词消除。 Zbl 1155.68599号 仁亚那米;阿奈、平子 1 2006 代数函数的符号优化。 兹比尔1487.68256 马萨基·卡诺;横山和弘;阿奈、平子;原原真二 1 2008 通过量词消除对随机IL-系统概率的推断。 Zbl 1152.92006年 广岛吉田;Katsuhisa Horimoto;阿奈、平子 1 2008 智囊团能在数学奥林匹克比赛中获得奖牌吗对大学前问题的机械化数学进行基准测试。 Zbl 1462.68152号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;工藤，朱玛;阿奈、平子;Noriko H.Arai。 1 2018 基于DTM的过滤。 Zbl 07559258号 阿奈、平子;Frédéric Chazal;马克·格利斯;尤伊奇·艾克;伊纳科什，Hiroya;拉斐尔·蒂纳拉奇;于浩·Umeda 1 2019 基于DTM的过滤。 兹比尔1448.62212 阿奈、平子;Frédéric Chazal;马克·格利斯;尤伊奇·艾克;伊纳科什，Hiroya;拉斐尔·蒂纳拉奇;于浩·Umeda 2 2020 基于DTM的过滤。 Zbl 07559258号 阿奈、平子;Frédéric Chazal;马克·格利斯;尤伊奇·艾克;伊纳科什，Hiroya;拉斐尔·蒂纳拉奇;于浩·Umeda 1 2019 智囊团能在数学奥林匹克比赛中获得奖牌吗对大学前问题的机械化数学进行基准测试。 Zbl 1462.68152号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;工藤，朱玛;阿奈、平子;Noriko H.Arai。 1 2018 使用几何不变性消除实量词的公式简化。 Zbl 1457.68326号 伊瓦内、希德诺;阿奈、平子 3 2017 非Renex公式的实量词消除的有效子公式顺序。 Zbl 1460.68086号 Munehiro小林;伊瓦内、希德诺;松崎隆彦;阿奈、平子 5 2016 与青少年赛跑——对大学前问题的机械化数学进行基准测试。 Zbl 1475.68459号 松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;工藤，朱玛;阿奈、平子;Noriko H.Arai。 2 2016 机器数学。 兹比尔1325.68212 Noriko H.Arai。;松崎隆彦;伊瓦内、希德诺;阿奈、平子 5 2014 SyNRAC：用于求解实代数约束的工具箱。 Zbl 1437.13005号 伊瓦内、希德诺;仁亚那米;阿奈、平子 2 2014 一种用于量词消除的符号-数字柱面代数分解的有效实现。 Zbl 1291.68433号 伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 59 2013 通过逻辑公式简化，有效地实现了符号确定条件的特殊量词消除。 Zbl 1411.68209号 伊瓦内、希德诺;Hiroyuki Higuchi;阿奈、平子 2 2013 优化问题的符号-数字柱面代数分解的有效实现。 Zbl 1346.68289号 伊瓦内、希德诺;仁亚那米;阿奈、平子 2 2011 制造设计中多目标优化的符号-数字方法。 Zbl 1270.90061号 伊瓦内、希德诺;仁亚那米;阿奈、平子 1 2011 一种用于量词消除的符号-数字柱面代数分解的有效实现。 Zbl 1356.68282号 伊瓦内、希德诺;仁亚那米;阿奈、平子;横山和弘 9 2009 使用根之和的参数多项式谱分解及其在控制设计问题中的应用。 兹比尔1180.13036 阿奈、平子;原原真二;马萨基·卡诺;横山和弘 3 2009 代数函数的符号优化。 Zbl 1487.68256号 马萨基·卡诺;横山和弘;阿奈、平子;原原真二 1 2008 通过量词消除对随机IL-系统概率的推断。 Zbl 1152.92006年 吉田宏;Katsuhisa Horimoto;阿奈、平子 1 2008 在控制中使用参数多项式谱分解的根之和进行参数优化。 Zbl 1190.93061号 马萨基·卡诺;横山和弘;阿奈、平子;原原真二 3 2007 正实部根之和与多项式谱分解的关系。 Zbl 1137.65349号 马萨基·卡诺;阿奈、平子;横山和弘 2 2007 基于量词消除的非线性参数约束求解与可视化。 Zbl 1167.68467号 Noriko Hyodo;洪明勋;仁亚那米;原原真二;阿奈、平子 2 2007 通过量词消去实现定阶鲁棒控制器综合的参数空间方法。 Zbl 1133.93018号 H·阿奈。;哈拉，S。 6 2006 SyNRAC的开发。基于柱面代数分解和可视化的实量词消除。 Zbl 1155.68599号 仁亚那米;阿奈、平子 1 2006 具有正实部的根之和。 Zbl 1360.68912号 阿奈、平子;原原真二;横山和弘 4 2005 SyNRAC的开发。 Zbl 1120.68467号 仁亚那米;阿奈、平子 3 2005 SyNRAC的开发——公式描述和新功能。 Zbl 1102.68749号 仁亚那米;阿奈、平子 2 2004 SYNRAC：用于解决实际代数约束的Maple包。 Zbl 1033.68960号 阿奈、平子;仁亚那米 6 2003 使用实量词消除进行到达集计算。 兹比尔0991.93008 阿奈、平子;沃尔克·魏斯芬宁 15 2002 使用实量词消除进行到达集计算。 Zbl 0985.68755号 阿奈、平子;沃尔克·魏斯芬宁 4 2001 判定线性三角问题。 Zbl 1326.68341号 阿奈、平子;沃尔克·魏斯芬宁 2 2000 用量词消去法求解半定规划。 Zbl 0944.90577号 阿奈、平子 1 1998 分裂域和多项式Galois群的计算附录。 兹比尔0867.12006 H·阿奈。;M.诺罗。;K.横山。 6 1996 具有Galois群（A_5）的六次多项式族——分裂域和Galois组的计算。 1040.12500兹罗提 阿奈、平子;武士近藤 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名244位作者引用 13 英格兰，马修 11 阿奈、平子 11 詹姆斯·哈罗德·达文波特 7 伊瓦内、希德诺 5 克里斯托弗·布朗（Christopher W.Brown）。 5 Hoon Hong 5 大卫·威尔逊。 5 横山和弘 4 罗素·J·布拉德福德。 4 藤崎隆彦 4 原原真二 4 马萨基·卡诺 4 松崎隆彦 4 夏碧灿 3 Noriko H.Arai。 3 梅德利纳·埃拉什库 3 埃里克·卡尔托芬。 3 安德烈·普拉泽 3 雷诺，盖纳埃尔 3 仁亚那米 2 Hassane阿巴斯 2 艾丽卡·阿尔布拉汉姆 2 安德鲁·阿诺德 2 穆雷·A·巴卡图。 2 阿林·博斯坦 2 詹姆斯·布里奇。 2 陈昌波 2 陈明帅 2 陈少石 2 克拉克（Edmund Melson jun Clarke）。 2 戴丽云 2 Thao Dang先生 2 Faugère、Jean-Charles 2 吉斯布雷希特（Mark W.Giesbrecht）。 2 韩景军 2 黄宗岩 2 Joost-Pieter卡托恩 2 曼纽尔·考尔斯 2 Munehiro小林 2 佐尔坦科瓦奇 2 工藤，朱玛 2 苏西·马达赫。 2 马克·莫雷诺·马扎 2 纪尧姆·莫罗兹 2 橙色，塞巴斯蒂安 2 劳伦斯·查尔斯·保尔森 2 卡拉广场 2 托马斯·雷西奥 2 丹尼尔·罗什（Daniel S.Roche）。 2 法布里斯·鲁利耶 2 穆罕默德·萨弗里·埃尔丁 2 佐藤、优介 2 埃里克·斯科特 2 罗伯特·瓦伊达 2 王秋叶 2 薛、白 2 杨正峰 2 詹乃军 2 詹益阳 1 约翰·A·阿伯特。 1 Abdeljaouad-Tej，I。 1 马塞洛·艾提斯 1 埃尔维拉·安塔尔 1 卡洛斯·埃雷切。 1 尤金·亚萨林 1 玛丽亚·劳拉·巴巴加略 1 贝恩德·贝克尔 1 安娜·玛丽亚·比加蒂 1 Bläser，马库斯 1 沃纳·布莱 1 亚西内·布齐迪 1 布莱恩，马丁 1 曼努埃尔·布鲁宁 1 布赫伯格，布鲁诺 1 Reinhold汉堡 1 泽维尔·卡鲁索 1 阿尔贝托·卡萨格兰德 1 陈启光 1 陈日增 1 陈晓宇 1 陈欣 1 亚历山德罗·西马蒂 1 科恩、凯利 1 蒂埃里·康博特 1 勒内·科尔贝 1 罗伯特·马尔科姆·科尔利斯 1 Csendes，Tibor公司 1 格伦·克里斯托弗·戴维斯 1 卢卡·德费奥 1 蒂莫·德·沃尔夫 1 德尔里奥·阿尔玛亚诺，特雷索 1 Diatta，Daouda Niang女士 1 沃尔克·迪克特 1 爪哇州多利斯卡尼 1 托马索·德罗西 1 马雷克·德雷斯勒 1 曼努埃尔·阿曼多·杜阿尔特·默穆德 1 Jean-Guillaume杜马 1 埃米利斯，Ioannis Z。 1 冯汝永 …还有144位作者 全部的 前5名26篇连载文章中引用 15 符号计算杂志 8 计算机科学中的数学 5 工程、通信和计算中的应用代数 3 系统设计中的形式化方法 2 国际控制杂志 2 离散和计算几何 2 信息与计算 2 非线性分析。混合动力系统 1 信息学报 1 计算数学 1 混沌、孤子和分形 1 应用数学与计算 1 Automatica公司 1 伊利诺伊数学杂志 1 纯粹与应用代数杂志 1 理论计算机科学 1 自动推理杂志 1 AI通信 1 日本工业与应用数学杂志 1 离散事件动态系统 1 Ramanujan杂志 1 CEJOR公司。中欧运筹学杂志 1 计算机代数中的ACM通信 1 数学规划计算 1 程序设计中的逻辑和代数方法杂志 1 SIAM数据科学数学杂志 全部的 前5名34个领域被引用 102 计算机科学（68至XX） 23 数值分析（65-XX） 21 交换代数（13-XX） 18 代数几何（14-XX） 17 系统论；控制（93至XX） 16 场论和多项式（12-XX） 14 数学逻辑和基础（03-XX） 11 数论（11-XX） 7 线性代数和多线性代数；矩阵理论（15-XX） 7 常微分方程（34-XX） 7 运筹学、数学规划（90-XX） 5 动力系统和遍历理论（37至XX） 5 近似值和展开值（41至XX） 4 信息与通信理论、电路（94-XX） 3 组合数学（05-XX） 3 结合环与代数（16-XX） 3 群论与推广（20-XX） 3 特殊功能（33至XX） 3 偏微分方程（35-XX） 3 变分法与最优控制；最优化（49至XX） 3 统计学（62-XX） 3 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 2 算子理论（47-XX） 2 凸和离散几何（52至XX） 2 代数拓扑（55-XX） 2 数学教育（97-XX） 1 实函数（26年X月X日） 1 差分方程和函数方程（39至XX） 1 几何图形（51至XX） 1 微分几何（53至XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文