编辑配置文件（在新选项卡中打开） 秋久山田 合著者距离 作者ID： 雅马达·阿基希萨 发布日期： 秋久山田 外部链接： ORCID公司·数据库管理程序 已编制索引的文档： 22出版物自2014年起 合著者： 26位合著者具有19联合出版物 381位合作作者 全部的 前5名合著者 3 单作者的 7 雷内·蒂曼 5 Joosten，Sebastian J.C。 4 杰雷米·杜布特 3 Jose Divasón 3 一郎·哈索 3 胜本，Shin-ya 2 Nao Hirokawa 2 何塞·伊波拉 2 尤拉杰·科尔查克 2 Kusakari、Keiichirou 2 阿尔特·米德尔多普 2 直纪西田 2 戴维·斯普伦格 2 克里斯蒂安·斯特纳格尔 2 德国维达尔 2 莎拉·温克勒 1 马丁·阿文齐尼 1 拉夫·克里斯蒂安·波特什 1 马克·布罗克施米特 1 达尔拉戈，乌戈 1 克洛维斯·埃伯哈特 1 Max W·哈斯贝克。 1 石川，Fuyuki 1 斯特凡·克里科维茨 1 小林，津都 1 酒边，Toshiki 系列 5 自动推理杂志 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 全部的 前5名领域 22 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 4 数论（11-XX） 3 交换代数（13-XX） 2 系统论；控制（93至XX） 1 有序，格，有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用52中的次38文件 引用人▼ 年份▼ 名古屋端接工具。 Zbl 1416.68183号 秋久山田;Kusakari、Keiichirou;坂部俊彦 11 2014 Berlekamp-Zassenhaus因子分解算法的验证实现。 Zbl 1469.68165号 Jose Divasón;Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 8 2020 关于概率项重写。 兹比尔1507.68140 马丁·阿文齐尼;达尔拉戈，乌戈;秋久山田 8 2018 Isabelle/HOL中的代数数。 Zbl 1478.68443号 雷内·蒂曼;秋久山田 7 2016 LLL基约简算法的形式化。 Zbl 1468.68287号 Jose Divasón;塞巴斯蒂安·乔斯顿;雷内·蒂曼;秋久山田 3 2018 重新访问AC依赖项对。 Zbl 1369.68250号 秋久山田;克里斯蒂安·斯特纳格尔;雷内·蒂曼;Kusakari、Keiichirou 3 2016 Isabelle/HOL中代数数的验证实现。 Zbl 1468.68326号 Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 2 2020 术语重写终止的多维解释。 Zbl 07437084号 秋久山田 2 2021 重写终止和合流的可达性分析。 Zbl 1527.68119号 克里斯蒂安·斯特纳格尔;秋久山田 2 2019 AC-KBO再次访问。 Zbl 1417.68079号 秋久山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 1 2014 认证整数转换系统的安全和终止证明。 Zbl 1494.68294号 马克·布罗克施米特;Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 1 2017 AC-KBO再次访问。 Zbl 1379.68277号 秋久山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 1 2016 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 通过逻辑进行架构指导的测试资源分配。 Zbl 1489.68043号 克洛维斯·埃伯哈特;秋久山田;斯特凡·克里科维茨;胜本，Shin-ya;小林，津都;一郎·哈索;石川，Fuyuki 1 2021 完成非订单和固定点。 Zbl 07649979号 秋久山田;杰瑞米·杜布特 1 2019 术语重写终止的多维解释。 Zbl 07437084号 秋久山田 2 2021 通过逻辑进行架构指导的测试资源分配。 Zbl 1489.68043号 克洛维斯·埃伯哈特;秋久山田;斯特凡·克里科维茨;胜本，Shin-ya;小林，津都;一郎·哈索;石川，Fuyuki 1 2021 Berlekamp-Zassenhaus因子分解算法的验证实现。 Zbl 1469.68165号 Jose Divasón;Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 8 2020 Isabelle/HOL中代数数的验证实现。 Zbl 1468.68326号 Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 2 2020 重写终止和合流的可达性分析。 Zbl 1527.68119号 克里斯蒂安·斯特纳格尔;秋久山田 2 2019 完成非订单和固定点。 Zbl 07649979号 秋久山田;杰雷米·杜布特 1 2019 关于概率项重写。 Zbl 1507.68140号 马丁·阿文齐尼;达尔拉戈，乌戈;秋久山田 8 2018 LLL基约简算法的形式化。 Zbl 1468.68287号 Jose Divasón;塞巴斯蒂安·乔斯滕;雷内·蒂曼;秋久山田 3 2018 认证整数转换系统的安全和终止证明。 Zbl 1494.68294号 马克·布罗克施米特;Joosten，Sebastian J.C。;雷内·蒂曼;秋久山田 1 2017 Isabelle/HOL中的代数数。 Zbl 1478.68443号 雷内·蒂曼;秋久山田 7 2016 重新访问AC依赖项对。 Zbl 1369.68250号 秋久山田;克里斯蒂安·斯特纳格尔;雷内·蒂曼;Kusakari、Keiichirou 3 2016 AC-KBO再次访问。 Zbl 1379.68277号 秋久山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 1 2016 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 名古屋端接工具。 Zbl 1416.68183号 秋久山田;Kusakari、Keiichirou;坂部俊彦 11 2014 AC-KBO再次访问。 Zbl 1417.68079号 秋久山田;莎拉·温克勒;Nao Hirokawa;阿尔特·米德尔多普 1 2014 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 10 秋久山田 4 Jose Divasón 4 直纪西田 4 雷内·蒂曼 3 Nao Hirokawa 3 Joosten，Sebastian J.C。 2 达尔拉戈，乌戈 2 克劳迪娅·法根 2 何塞·伊波拉 2 基里恩·克莱默 2 昆查尔，Ondřej 2 萨尔瓦多卢卡斯 2 安德烈·波佩斯库 2 德国维达尔 2 莎拉·温克勒 2 张淑君 1 穆罕默德·阿卜杜勒·阿齐兹 1 艾丽卡·阿尔布拉汉姆 1 杰苏斯·阿兰塞 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 埃齐奥·巴托西 1 克里斯蒂娜·博拉莱拉斯 1 拉夫·克里斯蒂安·波特什 1 马克·布罗克施米特 1 陈兴伦 1 海宁·克里斯蒂安森 1 杰雷米·杜布特 1 吉尔根·吉斯尔 1 查尔斯·格雷洛伊斯 1 劳尔·古铁雷斯 1 马塞尔·哈克 1 Max W·哈斯贝克。 1 Jakubův，简 1 塞萨里·卡利西克 1 Joost-Pieter卡托恩 1 Maja Hanne Kirkeby 1 直纪小林 1 科瓦奇，劳拉·伊尔迪科 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 洛伦兹·勒特盖布 1 李文达 1 库尔特·梅尔霍恩 1 费比安·梅耶 1 阿尔特·米德尔多普 1 马塞尔·穆斯布鲁克 1 乔治·莫瑟 1 朱利安·纳格尔 1 艾娜·尼梅茨 1 托比亚斯·尼普科 1 诺里斯，迈克尔 1 安德烈斯·诺兹利 1 冈崎弘之 1 阿尔伯特·奥利弗拉斯 1 小山口，美雄 1 亚历克斯·奥兹德米尔 1 帕斯莫尔，格兰特·奥尼 1 劳伦斯·查尔斯·保尔森 1 马蒂亚斯·普雷纳 1 安德鲁·雷诺兹 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 佐藤、晴彦 1 佐藤，铁杉 1 Kiraku Shintani 1 Kohei Suenaga公司 1 塞萨尔·蒂内利 1 文森特·范·奥斯特罗姆 1 加布里埃尔·瓦诺尼 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 尤尼·佐哈尔 1 弗洛里安·祖勒格 全部的 前5名9篇连载文章中引用 10 自动推理杂志 4 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 理论计算机科学 1 国际近似推理杂志 1 逻辑程序设计理论与实践 1 计算机科学中的数学 1 形式化数学 全部的 前5名13个领域引用 37 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 3 数论（11-XX） 3 场论和多项式（12-XX） 3 交换代数（13-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 有序，格，有序代数结构（06-XX） 1 代数几何（14-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文