编辑配置文件(在新选项卡中打开) 埃姆雷·约尔库 合著者距离 作者ID: 约尔库·埃姆雷 发布日期: 埃姆雷·约尔库 已编制索引的文档: 3出版物自2020年起 合著者: 3位合著者具有3联合出版物 178位合作作者 合著者 0 单作者的 三 Heule,Marijn J.H。 2 斯科特·亚伦森 1 吴新余 系列 1 自动推理杂志 字段 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 科拉茨猜想的自动化方法。 兹比尔07437095 埃姆雷·约尔库;斯科特·亚伦森;Heule,Marijn J.H。 1 2021 迈谢尔斯基图表和公关证明。 Zbl 07331022号 埃姆雷·约尔库;吴新余;Heule,Marijn J.H。 1 2020 科拉茨猜想的自动化方法。 Zbl 07437095号 埃姆雷·约尔库;斯科特·亚伦森;Heule,Marijn J.H。 1 2021 迈谢尔斯基图表和公关证明。 Zbl 07331022号 埃姆雷·约尔库;吴新余;Heule,Marijn J.H。 1 2020 全部的 前5名6位作者引用 1 斯科特·亚伦森 1 杰里米亚斯·伯格 1 Heule,Marijn J.H。 1 汉内斯·伊哈莱宁 1 马蒂·Järvisalo 1 埃姆雷·约尔库 连载1篇 1 自动推理杂志 在1个字段中引用 2 计算机科学(68-XX) 按年份列出的引文