编辑配置文件(在新选项卡中打开) 陈兴伦 合著者距离 作者ID: 陈兴伦 发布日期: 陈兴伦;陈兴伦 已编制索引的文档: 8出版物自2012年起,包括1个附加arXiv预打印 合著者: 1位合著者具有7联合出版物 41位合作作者 合著者 1 单作者的 7 迈克尔·诺里什 系列 三 自动推理杂志 1 形式化推理杂志 领域 8 计算机科学(68至XX) 7 数论(11-XX) 三 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 6出版物有被引用15中的次10文件 引用人▼ 年份▼ AKS算法的机械化。一、主要定理。 兹比尔1465.68302 陈兴伦;迈克尔·诺里什 7 2015 一串珍珠:费马小定理的证明。 Zbl 1451.68320号 陈兴伦;迈克尔·诺里什 三 2013 一串珍珠:费马小定理的证明。 Zbl 1383.68072号 陈兴伦;迈克尔·诺里什 2 2012 校对珠:用三角形限定最不常见的倍数。 Zbl 1468.68283号 陈兴伦;迈克尔·诺里什 1 2016 有限域的分类及其应用。 Zbl 1468.68317号 陈兴伦;迈克尔·诺里什 1 2019 证明珍珠:用三角形界定最小公倍数。 Zbl 1468.68284号 陈兴伦;迈克尔·诺里什 1 2019 有限域的分类及其应用。 Zbl 1468.68317号 陈兴伦;迈克尔·诺里什 1 2019 校对珠:用三角形限定最不常见的倍数。 Zbl 1468.68284号 陈兴伦;迈克尔·诺里什 1 2019 校对珠:用三角形限定最不常见的倍数。 Zbl 1468.68283号 陈兴伦;迈克尔·诺里什 1 2016 AKS算法的机械化。一、主要定理。 Zbl 1465.68302号 陈兴伦;迈克尔·诺里什 7 2015 一串珍珠:费马小定理的证明。 Zbl 1451.68320号 陈兴伦;迈克尔·诺里什 三 2013 一串珍珠:费马小定理的证明。 Zbl 1383.68072号 陈兴伦;迈克尔·诺里什 2 2012 所有引用出版物 排名前五的出版物 全部的 前5名6位作者引用 6 陈兴伦 6 迈克尔·诺里什 2 昆查尔,Ondřej 2 安德烈·波佩斯库 1 克莱门斯·巴拉林 1 大卫·约翰·沃里克·辛普森 3篇连载文章中引用 5 自动推理杂志 1 差分方程与应用杂志 1 形式化推理杂志 全部的 前5名在6个字段中引用 9 计算机科学(68至XX) 6 数论(11-XX) 2 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 1 动力系统和遍历理论(37至XX) 1 差分方程和函数方程(39至XX) 按年份列出的引文