编辑配置文件(在新选项卡中打开) 阿尔伯特·海因勒 合著者距离 作者ID: 海因勒·阿尔伯特 发布日期: 阿尔伯特·海因勒 编入索引的文档: 16出版物自2010年起,包括1个附加arXiv预打印 审查活动: 2评论 合著者: 12位合著者具有15联合出版物 458位合作作者 全部的 前5名合著者 1 单作者的 8 维克托·列万多夫斯基 4 布莱特,柯蒂斯 4 维杰·加内什 4 科齐里亚斯(Ilias S.Kotsireas)。 3 吉斯布雷希特(Mark W.Giesbrecht)。 2 Czarnecki、Krzysztof 1 杰森·贝尔。 1 Reinhold汉堡 1 沃尔夫拉姆·科普夫(Wolfram A.Koepf)。 1 赛义德·内贾蒂 1 沃尔夫拉姆·斯珀伯 1 爱德华·祖尔科斯基 系列 4 计算机代数中的ACM通信 3 符号计算杂志 1 美国数学学会汇刊 1 自动推理杂志 全部的 前5名领域 14 计算机科学(68至XX) 5 结合环与代数(16-XX) 4 组合数学(05-XX) 4 交换代数(13-XX) 3 信息与通信理论、电路(94-XX) 2 数论(11-XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 偏微分方程(35-XX) 1 算子理论(47-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用56中的次32文件 引用人▼ 年份▼ 关于非交换有限因式分解域。 Zbl 1392.16033号 杰森·P·贝尔。;阿尔伯特·海因勒;维克托·列万多夫斯基 14 2017 将SAT解算器与计算机代数系统结合起来验证组合猜想。 Zbl 1410.68413号 爱德华·祖尔科斯基;布莱特,柯蒂斯;阿尔伯特·海因勒;伊利亚斯州科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 7 2017 通过编程SAT枚举复杂Golay对。 Zbl 1467.68202号 布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;Ganesh,维杰 5 2018 数学检查2:用于组合猜想的SAT+CAS验证器。 Zbl 1453.05001号 布莱特,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯州科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 5 2016 这个SDEval公司基准测试工具包。 Zbl 1365.68493号 阿尔伯特·海因勒;维克托·列万多夫斯基 5 2015 第一(q)-Weyl代数中(mathbb{Z})-齐次多项式的因式分解。 Zbl 1400.16001号 阿尔伯特·海因勒;维克托·列万多夫斯基 4 2017 因子分解变量中的线性偏微分算子。 Zbl 1335.68302号 马克·吉斯布雷希特;阿尔伯特·海因勒;维克托·列万多夫斯基 4 2016 因子分解变量中的线性微分算子。 Zbl 1325.68280号 马克·吉斯布雷希特;阿尔伯特·海因勒;维克托·列万多夫斯基 3 2014 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 Zbl 1468.68276号 布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 2 2021 (G)-代数的分解算法及其应用。 Zbl 1362.13025号 阿尔伯特·海因勒;维克托·列万多夫斯基 2 2016 Ore多项式矩阵雅可布森形式的多项式时间算法。 兹伯利1416.65115 马克·吉斯布雷希特;阿尔伯特·海因勒 2 2012 (G)-代数的分解算法及其应用。 Zbl 1387.13060号 维克托·列万多夫斯基;阿尔伯特·海因勒 2 2018 分次斜多项式环中多项式的因式分解。 Zbl 1305.68356号 阿尔伯特·海因勒;维克托·列万多夫斯基 1 2010 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 Zbl 1468.68276号 布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 2 2021 通过编程SAT枚举复杂Golay对。 Zbl 1467.68202号 布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 5 2018 (G)-代数的分解算法及其应用。 Zbl 1387.13060号 维克托·列万多夫斯基;阿尔伯特·海因勒 2 2018 关于非交换有限因式分解域。 Zbl 1392.16033号 杰森·贝尔。;阿尔伯特·海因勒;维克托·列万多夫斯基 14 2017 将SAT解算器与计算机代数系统结合起来验证组合猜想。 Zbl 1410.68413号 爱德华·祖尔科斯基;布莱特,柯蒂斯;阿尔伯特·海因勒;伊利亚斯州科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 7 2017 第一(q)-Weyl代数中(mathbb{Z})-齐次多项式的因式分解。 兹比尔1400.16001 阿尔伯特·海因勒;维克托·列万多夫斯基 4 2017 数学检查2:用于组合猜想的SAT+CAS验证器。 Zbl 1453.05001号 布莱特,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯州科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof 5 2016 因子分解变量中的线性偏微分算子。 兹比尔1335.68302 马克·吉斯布雷希特;阿尔伯特·海因勒;维克托·列万多夫斯基 4 2016 (G)-代数的分解算法及其应用。 Zbl 1362.13025号 阿尔伯特·海因勒;维克托·列万多夫斯基 2 2016 这个SDEval公司基准测试工具包。 Zbl 1365.68493号 阿尔伯特·海因勒;维克托·列万多夫斯基 5 2015 因子分解变量中的线性微分算子。 Zbl 1325.68280号 马克·吉斯布雷希特;阿尔伯特·海因勒;维克托·列万多夫斯基 3 2014 Ore多项式矩阵雅可布森形式的多项式时间算法。 Zbl 1416.65115号 马克·吉斯布雷希特;阿尔伯特·海因勒 2 2012 分次斜多项式环中多项式的因式分解。 Zbl 1305.68356号 阿尔伯特·海因勒;维克托·列万多夫斯基 1 2010 所有引用出版物 前5名被引用出版物 全部的 前5名被54位作者引用 7 阿尔伯特·海因勒 7 维克托·列万多夫斯基 6 布莱特,柯蒂斯 6 维杰·加内什 6 科齐里亚斯(Ilias S.Kotsireas)。 3 丹尼尔·斯默丁格 2 尼古拉斯·R·贝思。 2 杰森·贝尔。 2 张凯文·K·H。 2 吉斯布雷希特(Mark W.Giesbrecht)。 2 曼弗雷德·米尼米尔 2 布雷特·史蒂文斯 1 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 1 穆雷·A·巴卡图。 1 穆罕默德·阿赫桑·宾亚明 1 詹姆斯·布里奇。 1 Czarnecki、Krzysztof 1 詹姆斯·哈罗德·达文波特 1 德拉戈米尔·奥科维奇。 1 罗南·伊根 1 英格兰,马修 1 葛存静 1 阿尔弗雷德·杰罗丁格 1 何塞·戈梅斯·托雷西拉斯 1 费利克斯·戈蒂 1 汉斯·格特·格拉贝 1 彼得·格雷戈 1 约瑟夫·哈拉尔德森 1 约翰·威廉·希尔顿 1 约翰内斯·霍夫曼 1 克莱门斯·霍夫斯塔德勒 1 黄宗岩 1 Jin、Jiwei 1 埃里希·卡尔托芬。 1 朱奈德·阿拉姆·汗 1 穆罕默德·阿卜杜勒·巴西特·汗 1 伊戈尔·克莱普 1 吕一琪 1 马,菲菲 1 托拜厄斯·梅兹拉夫 1 扎赫拉·纳齐米亚 1 诺沃顿,汤姆亚什 1 劳伦斯·查尔斯·保尔森 1 拉布,克莱门斯G。 1 乔治·雷根斯堡 1 多米尼克·罗伊 1 康拉德·施雷姆普夫 1 埃米尔·丹尼尔·施瓦布 1 什·克里科夫斯基(Rister) 1 尤里吉·沃尔奇奇 1 大卫·威尔逊。 1 扎伊德,卡里姆·阿布 1 张健 1 爱德华·祖尔科斯基 全部的 前5名16篇连载文章中引用 7 符号计算杂志 2 代数杂志 2 计算机科学中的数学 2 计算机代数中的ACM通信 1 离散数学 1 算术学报 1 数学进展 1 数学座谈会 1 爱丁堡数学学会会刊。系列II 1 美国数学学会汇刊 1 自动推理杂志 1 工程、通信和计算中的应用代数 1 组合数学电子杂志 1 数学与人工智能年鉴 1 计算数学基础 1 对称 全部的 前5名19个领域引用 18 计算机科学(68至XX) 13 结合环与代数(16-XX) 7 组合数学(05-XX) 7 交换代数(13-XX) 4 群论与推广(20-XX) 2 数论(11-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 \(K\)理论(19-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 差分和函数方程(39至XX) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 几何图形(51至XX) 1 数值分析(65-XX) 按年份列出的引文