编辑配置文件（在新选项卡中打开） 杰里米·阿维加德 合著者距离 作者ID： 阿维加德·杰里米 发布日期： 杰里米·阿维加德;J·阿维加德。 其他拼写： 杰里米·戴维·阿维加德 主页： http://www.andrew.cmu.edu/user/avigad/ 外部链接： MGP公司·ORCID公司·维基数据·谷歌学者·ResearchGate研究之门·数据库许可证 已编制索引的文档： 71出版物自1996年以来，包括1本书和4个附加arXiv预打印 4作为编辑的贡献·3进一步捐款 合著者： 56位合著者具有38份联合出版物 824位合作作者 全部的 前5名合著者 38 单作者的 4 阿西亚·马布比 4 杰森·鲁特（Jason M.Rute）。 三 爱德华·T·迪安。 三 凯文·唐纳利。 三 亨利·托斯纳 2 安德烈亚·阿斯佩蒂 2 伊夫·贝托特 2 克拉克（Edmund Melson jun Clarke）。 2 西里尔·科恩 2 Michael E.Detlefsen。 2 高思春 2 马库斯·贾昆托 2 乔治·戈蒂尔 2 约翰内斯·哈夫纳 2 Michael T.哈利特。 2 Krzysztof卡普尔金 2 罗伯特·刘易斯。 2 彼得·勒法努·卢姆斯代恩 2 保罗·曼科苏 2 肯尼思·劳伦斯·曼德斯 2 科林·麦克拉蒂 2 Rebecca Lea莫里斯 2 科迪·鲁克斯 2 理查德·索默 2 杰米·塔潘登 2 阿拉斯代尔·厄克哈特 1 纳撒内尔·利多姆·阿克曼 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 史蒂夫·阿沃迪 1 Seulkee Baek先生 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 亚历山大·本特坎普 1 马克·贝泽姆 1 贾斯敏·克里斯蒂安·布兰切特 1 安东尼·博尔吉 1 瓦斯科·布拉特卡 1 纪尧姆·布鲁内里 1 罗伯特·李，警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 莱昂纳多·德·莫拉 1 彼得·戴比杰 1 所罗门·费弗曼 1 埃里克·芬斯特 1 卡梅隆·E·弗里尔。 1 哈维·弗里德曼。 1 尼古拉·甘比诺 1 弗朗索瓦·加里洛 1 理查德·加纳 1 菲利普·格哈迪 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 杰弗里·赫尔兹纳 1 雨果·赫贝林 1 Heule，Marijn J.H。 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 约翰·Hölzl 1 Hötzel Escardó，马汀 1 Hou（Favonia）、Kuen-Bang 1 西蒙·胡登 1 JoséN.Iovino。 1 安德烈·乔亚尔 1 格温·克莱恩 1 约阿希姆·科克 1 孔顺浩 1 克劳斯，尼古拉 1 Stéphane勒鲁 1 李诺 1 丹·利卡塔 1 罗朝晖 1 斯蒂芬·马克雷斯 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 约翰，妈妈 1 迈克尔·纳哈斯 1 沃伊切赫·纳罗基 1 罗素·奥康纳 1 乌尔德·比哈，西迪 1 埃里克·帕尔姆格伦 1 爱荷华州帕什卡 1 劳伦斯·查尔斯·保尔森 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 安德烈·波佩斯库 1 保罗·拉夫 1 劳伦斯·里多 1 艾米丽·里尔 1 埃格伯特·里杰克 1 丹尼尔·罗伊（Daniel M.Roy）。 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 卢克·塞拉芬 1 Michael A.舒尔曼。 1 克塞尼亚·西米奇 ……还有16位合著者 全部的 前5名系列 6 纯逻辑与应用逻辑年鉴 5 符号逻辑杂志 5 自动推理杂志 4 符号逻辑公报 4 符号逻辑述评 三 美国数学学会通告 2 合成 2 MSCS公司。计算机科学中的数学结构 2 美国数学学会公报。新系列 2 数学逻辑档案 2 ACM计算逻辑事务 1 美国数学月刊 1 精密科学史档案 1 数学基础 1 圣母院形式逻辑杂志 1 理论计算机科学 1 美国数学学会会刊 1 遍历理论和动力系统 1 数学逻辑季刊（MLQ） 1 《纽约数学杂志》 1 离散和连续动力系统 1 数学哲学。系列III 1 欧洲理论计算机科学协会公报 1 数学逻辑杂志 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 逻辑与分析杂志 全部的 前5名领域 60 数学逻辑和基础（03-XX） 24 计算机科学（68至XX） 19 总体主题；集合（00-XX） 11 历史与传记（01-XX） 7 动力系统和遍历理论（37至XX） 4 数论（11-XX） 4 范畴理论；同调代数（18-XX） 三 群论与推广（20-XX） 三 几何图形（51至XX） 2 算子理论（47-XX） 2 凸和离散几何（52至XX） 2 代数拓扑（55-XX） 1 场论和多项式（12-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 功能分析（46倍X倍） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 63出版物有被引用648中的次513文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 数学实践的哲学。 Zbl 1163.03001号 108 2008 哥德尔的功能（“辩证法”）解释。 Zbl 0913.03053号 杰里米·阿维加德;所罗门·费弗曼 79 1998 精益定理证明器（系统描述）。 Zbl 1465.68279号 莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默 69 2015 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;罗素·奥康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 欧几里得元素的形式系统。 Zbl 1188.03008号 杰里米·阿维加德;爱德华·迪安;约翰·穆玛 48 2009 遍历平均的局部稳定性。 Zbl 1187.37010号 杰里米·阿维加德;菲利普·格哈迪;亨利·托斯纳 31 2010 \（delta）-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 22 2012 形式化二阶算术子系统中的强制参数。 Zbl 0860.0304号 杰里米·阿维加德 19 1996 素数定理的一个经过正式验证的证明。 Zbl 1367.68244号 杰里米·阿维加德;凯文·唐纳利;大卫·格雷;保罗·拉夫 17 2007 用建设性理论解释经典理论。 Zbl 0981.03061号 杰里米·阿维加德 16 2000 关于（ATR_0）和（widehat）之间的关系{标识}_{<\omega}\）。 Zbl 0858.03052号 杰里米·阿维加德 15 1996 类型理论中的同伦极限。 Zbl 1362.18004号 杰里米·阿维加德;Krzysztof卡普尔金;彼得·勒法努，朗斯丹 14 2015 数学方法和证明。 兹伯利1116.03012 杰里米·阿维加德 14 2006 在证明理论中的强迫。 Zbl 1064.03034号 杰里米·阿维加德 13 2004 算法随机性、逆向数学和支配收敛定理。 Zbl 1259.03021号 杰里米·阿维加德;爱德华·T·迪安。;杰森·鲁特 13 2012 普遍理论的饱和模型。 Zbl 1015.03040号 杰里米·阿维加德 11 2002 数学实践的哲学。2008年原版的平装本。 Zbl 1230.03004号 11 2011 数论和初等算术。 Zbl 1050.03005号 杰里米·阿维加德 10 2003 更新程序和算法的1-一致性。 Zbl 0988.03087号 杰里米·阿维加德 10 2002 数学的机械化。 Zbl 1398.68478号 杰里米·阿维加德 10 2018 遍历理论的元数学。 Zbl 1168.03047号 杰里米·阿维加德 9 2009 消除一阶逻辑中的定义和Skolem函数。 Zbl 1365.03038号 杰里米·阿维加德 9 2003 中心极限定理的正式验证证明。 Zbl 1425.68369号 杰里米·阿维加德;约翰·Hölzl;卢克·塞拉芬 9 2017 德德金理想理论发展中的方法论和形而上学。 Zbl 1164.00001号 杰里米·阿维加德 9 2006 开集是Ramsey的一个有效证明。 Zbl 0909.03040号 杰里米·阿维加德 9 1998 非标准算术和分析的薄弱理论。 兹比尔1087.03038 杰里米·阿维加德 8 2005 二阶算术子系统分析的基本概念。 Zbl 1109.03069号 杰里米·阿维加德;克塞尼亚·西米奇 7 2006 \（delta）-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 7 2012 超产品和亚稳态。 Zbl 1321.46015号 杰里米·阿维加德;约瑟·爱奥维诺 7 2013 将Isabelle/HOL中的“O”符号形式化。 兹比尔1126.68557 杰里米·阿维加德;凯文·唐纳利 7 2004 一致凸Banach空间的振动性和平均遍历定理。 Zbl 1355.37009号 杰里米·阿维加德;杰森·鲁特 6 2015 非标准直觉算法中的传递原理。 Zbl 1024.03068号 J·阿维加德。;J.赫尔兹纳。 6 2002 功能解释和归纳定义。 Zbl 1193.03082号 杰里米·阿维加德;亨利·托斯纳 5 2009 序数分析的模型理论方法。 Zbl 0874.03068号 杰里米·阿维加德;理查德·索默 5 1997 数学模块化。 Zbl 1439.00026号 杰里米·阿维加德 4 2020 角色和对象。 Zbl 1427.01005号 杰里米·阿维加德;丽贝卡·莫里斯 4 2016 均匀分布和算法随机性。 Zbl 1275.03133号 杰里米·阿维加德 4 2013 Dirichlet定理中关于算术级数中素数的“特征”的概念。 Zbl 1296.01010号 杰里米·阿维加德;丽贝卡·莫里斯 4 2014 截消的代数证明。 Zbl 1015.68174号 杰里米·阿维加德 4 2001 预测强度理论的模型理论序数分析。 Zbl 0939.03066号 杰里米·阿维加德;理查德·索默 4 1999 数据类型是多项式函子的商。 Zbl 07649955号 杰里米·阿维加德;马里奥·卡内罗;西蒙·胡登 4 2019 实数的量词消去，谓词表示二的幂。 Zbl 1113.03027号 杰里米·阿维加德;尹一木 三 2007 结合实际的决策程序。 邮编1127.03006 杰里米·阿维加德;哈维·弗里德曼 三 2006 Furstenberg-Zimmer塔内的亚稳态。 兹比尔1230.37004 杰里米·阿维加德;亨利·托斯纳 三 2010 似乎很难的组合重言式。 兹伯利0891.03024 杰里米·阿维加德 三 1998 谓词泛函和对\（{\widehat{\text{ID}}_{<\omega}}\）的解释。 Zbl 0945.03084号 杰里米·阿维加德 三 1998 真实不等式的启发式证明。 Zbl 1416.68149号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2014 禅宗和形式化艺术。 Zbl 1276.03002号 安德烈亚·阿斯佩蒂;杰里米·阿维加德 2 2011 真实不等式的启发式证明。 Zbl 1356.68174号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2016 经典算术的可实现性解释。 Zbl 0946.03071号 杰里米·阿维加德 2 2000 经典算术的计算内容。 Zbl 1244.03153号 杰里米·阿维加德 2 2010 一个亚稳态支配收敛定理。 Zbl 1277.28003号 杰里米·阿维加德;爱德华·T·迪安。;杰森·鲁特 2 2012 无法计算的噪声遍历极限。 Zbl 1258.03084号 杰里米·阿维加德 2 2012 数学推理的可靠性。 Zbl 1507.00016号 杰里米·阿维加德 2 2021 反转Furstenberg对应关系。 Zbl 1257.37009号 杰里米·阿维加德 1 2012 没有证据的顺序分析。 Zbl 1008.03038号 杰里米·阿维加德 1 2002 数学理解的多样性。 邮编1482.00005 杰里米·阿维加德 1 2022 线性“大O”方程的判定过程。 兹比尔1122.03004 杰里米·阿维加德;凯文·唐纳利 1 2007 使用序数符号上的递归对容许集理论进行序数分析。 Zbl 1016.03060号 杰里米·阿维加德 1 2002 交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1391.68001号 1 2018 介绍“交互式定理证明中的里程碑”。 Zbl 1398.00118号 1 2018 数学逻辑和计算。 Zbl 1524.03001号 杰里米·阿维加德 1 2023 数学逻辑和计算。 Zbl 1524.03001号 杰里米·阿维加德 1 2023 数学理解的多样性。 邮编1482.00005 杰里米·阿维加德 1 2022 数学推理的可靠性。 Zbl 1507.00016号 杰里米·阿维加德 2 2021 数学模块化。 Zbl 1439.00026号 杰里米·阿维加德 4 2020 数据类型是多项式函子的商。 Zbl 07649955号 杰里米·阿维加德;马里奥·卡内罗;西蒙·胡登 4 2019 数学的机械化。 Zbl 1398.68478号 杰里米·阿维加德 10 2018 交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。 Zbl 1391.68001号 1 2018 介绍“交互式定理证明中的里程碑”。 Zbl 1398.00118号 1 2018 中心极限定理的正式验证证明。 Zbl 1425.68369号 杰里米·阿维加德;约翰·Hölzl;卢克·塞拉芬 9 2017 角色和对象。 Zbl 1427.01005号 杰里米·阿维加德;丽贝卡·莫里斯 4 2016 真实不等式的启发式证明。 Zbl 1356.68174号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2016 精益定理证明器（系统描述）。 Zbl 1465.68279号 莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默 69 2015 类型理论中的同调极限。 Zbl 1362.18004号 杰里米·阿维加德;Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 14 2015 一致凸Banach空间的振动性和平均遍历定理。 Zbl 1355.37009号 杰里米·阿维加德;杰森·鲁特 6 2015 Dirichlet定理中关于算术级数中素数的“特征”的概念。 Zbl 1296.01010号 杰里米·阿维加德;丽贝卡·莫里斯 4 2014 真实不等式的启发式证明。 兹伯利1416.68149 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;运营；罗素·康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 超产品和亚稳态。 Zbl 1321.46015号 杰里米·阿维加德;约瑟·爱奥维诺 7 2013 均匀分布和算法随机性。 Zbl 1275.03133号 杰里米·阿维加德 4 2013 \（delta）-完成reals上可满足性的决策过程。 Zbl 1358.03028号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 22 2012 算法随机性、逆向数学和支配收敛定理。 Zbl 1259.03021号 杰里米·阿维加德;爱德华·T·迪安。;杰森·鲁特 13 2012 \（delta）-实域上的可判定性。 Zbl 1364.03065号 高思春;杰里米·阿维加德;埃德蒙·克拉克（Edmund M.Clarke）。 7 2012 一个亚稳态支配收敛定理。 Zbl 1277.28003号 杰里米·阿维加德;爱德华·T·迪安。;杰森·鲁特 2 2012 无法计算的噪声遍历极限。 Zbl 1258.03084号 杰里米·阿维加德 2 2012 反转Furstenberg对应关系。 Zbl 1257.37009号 杰里米·阿维加德 1 2012 数学实践的哲学。2008年原版的平装版。 Zbl 1230.03004号 11 2011 禅宗和形式化艺术。 Zbl 1276.03002号 安德烈亚·阿斯佩蒂;杰里米·阿维加德 2 2011 遍历平均的局部稳定性。 Zbl 1187.37010号 杰里米·阿维加德;菲利普·格哈迪;亨利·托斯纳 31 2010 Furstenberg-Zimmer塔内的亚稳态。 Zbl 1230.37004号 杰里米·阿维加德;亨利·托斯纳 三 2010 经典算术的计算内容。 兹比尔1244.03153 杰里米·阿维加德 2 2010 欧几里得元素的形式系统。 Zbl 1188.03008号 杰里米·阿维加德;爱德华院长;约翰·穆玛 48 2009 遍历理论的元数学。 Zbl 1168.03047号 杰里米·阿维加德 9 2009 功能解释和归纳定义。 Zbl 1193.03082号 杰里米·阿维加德;亨利·托斯纳 5 2009 数学实践的哲学。 Zbl 1163.03001号 108 2008 素数定理的一个经过正式验证的证明。 Zbl 1367.68244号 杰里米·阿维加德;凯文·唐纳利;大卫·格雷;保罗·拉夫 17 2007 实数的量词消去，谓词表示二的幂。 Zbl 1113.03027号 杰里米·阿维加德;尹一木 三 2007 线性“大O”方程的判定过程。 Zbl 1122.03004号 杰里米·阿维加德;凯文·唐纳利 1 2007 数学方法和证明。 Zbl 1116.03012号 杰里米·阿维加德 14 2006 德德金理想理论发展中的方法论和形而上学。 Zbl 1164.00001号 杰里米·阿维加德 9 2006 二阶算术子系统分析的基本概念。 Zbl 1109.03069号 杰里米·阿维加德;克塞尼亚·西米奇 7 2006 结合实际的决策程序。 邮编1127.03006 杰里米·阿维加德;哈维·弗里德曼 三 2006 非标准算术和分析的薄弱理论。 Zbl 1087.03038号 杰里米·阿维加德 8 2005 在证明理论中的强迫。 Zbl 1064.03034号 杰里米·阿维加德 13 2004 将Isabelle/HOL中的“O”符号形式化。 Zbl 1126.68557号 杰里米·阿维加德;凯文·唐纳利 7 2004 数论和初等算术。 Zbl 1050.03005号 杰里米·阿维加德 10 2003 消除一阶逻辑中的定义和Skolem函数。 Zbl 1365.03038号 杰里米·阿维加德 9 2003 普遍理论的饱和模型。 Zbl 1015.03040号 杰里米·阿维加德 11 2002 更新过程和算术的1-一致性。 Zbl 0988.03087号 杰里米·阿维加德 10 2002 非标准直觉算法中的传递原理。 Zbl 1024.03068号 J·阿维加德。;J.赫尔兹纳。 6 2002 没有证据的顺序分析。 Zbl 1008.03038号 杰里米·阿维加德 1 2002 使用序数符号上的递归对容许集理论进行序数分析。 Zbl 1016.03060号 杰里米·阿维加德 1 2002 截消的代数证明。 Zbl 1015.68174号 杰里米·阿维加德 4 2001 用建设性理论解释经典理论。 Zbl 0981.03061号 杰里米·阿维加德 16 2000 经典算术的可实现性解释。 Zbl 0946.03071号 杰里米·阿维加德 2 2000 预测强度理论的模型理论序数分析。 Zbl 0939.03066号 杰里米·阿维加德;理查德·索默 4 1999 哥德尔的功能（“辩证法”）解释。 Zbl 0913.03053号 杰里米·阿维加德;所罗门·费弗曼 79 1998 开集是Ramsey的一个有效证明。 Zbl 0909.03040号 杰里米·阿维加德 9 1998 似乎很难的组合重言式。 Zbl 0891.03024号 杰里米·阿维加德 三 1998 谓词泛函和对\（{\widehat{\text{ID}}_{<\omega}}\）的解释。 Zbl 0945.03084号 杰里米·阿维加德 三 1998 序数分析的一种模型理论方法。 Zbl 0874.03068号 杰里米·阿维加德;理查德·索默 5 1997 形式化二阶算术子系统中的强制参数。 Zbl 0860.0304号 杰里米·阿维加德 19 1996 关于（ATR_0）和（widehat）之间的关系{标识}_{<\omega}\）。 Zbl 0858.03052号 杰里米·阿维加德 15 1996 所有引用出版物 前5名被引用出版物 全部的 前5名680位作者引用 25 杰里米·阿维加德 20 山姆·桑德斯 18 乌尔里希·威廉·科伦巴赫 12 劳伦斯·查尔斯·保尔森 10 保罗·奥利瓦 7 费尔南多·费雷拉 7 塞萨里·卡利西克 7 Krzysztof卡普尔金 7 佐藤，肯塔罗 7 亨利·托斯纳 6 安德烈亚·阿斯佩蒂 6 布鲁诺·迪尼斯 6 贾尼契奇，普雷德拉格 6 朱利安·纳布克斯 6 达格·诺曼 6 本诺·范登伯格 5 费德里科·阿斯奇里 5 西里尔·科恩 5 亚历山大·克鲁泽。 5 萨法利克、帕沃 4 亚历山德罗·阿巴特 4 雷纳尔德·阿弗尔德 4 迈克尔·比森。 4 安德烈斯·科多恩·佛朗哥 4 詹姆·加斯帕 4 雅辛哈马米 4 Mircea-Dan赫内斯特 4 马修·霍洛普 4 佐藤·肯塔罗 4 拉拉·马汀（Lara-Martín），弗朗西斯科·费利克斯（Francisco Felix） 4 劳伦·伊乌·卢什坦 4 Rebecca Lea莫里斯 4 约翰·穆玛 4 托比亚斯·尼普科夫 4 弗洛里安·拉贝 4 克里斯托巴尔·罗哈斯 三 Arai、Toshiyasu 三 Franz Brauße 三 Samuel R.巴斯。 三 陈兴伦 三 可口、蒂埃里 三 瓦莱里亚·德·佩瓦 三 吉尔达·费雷拉 三 藤原真本 三 伊曼纽尔·冈瑟 三 斯特凡·赫兹尔 三 莱因哈德·卡勒 三 Angeliki Koutsoukou-Argyraki 三 克里斯蒂安森，拉尔斯 三 李文达 三 安德烈亚斯·洛赫比勒 三 彼得·勒法努·卢姆斯代恩 三 乔治·莫瑟 三 萨拉·内格里 三 迈克尔·诺里什 三 米盖尔·帕加诺 三 Pąk，卡罗尔 三 卢多维奇·佩蒂 三 安德烈·普拉泽 三 Damien Rouhling公司 三 保罗·沙弗 三 苏米奥·卡罗尔 三 恩里科·塔西 三 德米特里·特拉泰尔 三 马卡里乌斯·温策尔 三 埃里克·威瑟 三 王天乐 三 贝塔·齐利安尼 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 杰苏斯·阿兰塞 2 安妮·巴南 2 安德烈·鲍尔 2 Michael A.Benedikt。 2 马克·比克福德 2 Laurent Bienvenu 2 贾斯敏·克里斯蒂安·布兰切特 2 西尔维·博尔多 2 布里塞德，伊文德·马托尔 2 乌尔里克·巴赫霍尔茨 2 凯文·巴扎德 2 达里奥·卡塔鲁扎 2 Chong，Chi Tat先生 2 弗朗索瓦·克莱门特 2 杰斯珀·考克斯 2 科恩、利隆 2 莱昂纳多·德·莫拉 2 罗德尼·格雷厄姆·唐尼 2 斯特凡妮娅·邓布拉娃 2 曼纽尔·埃贝尔 2 阿里·埃纳亚特 2 Farmer，William M。 2 所罗门·费弗曼 2 纽约州约翰·富兰克林。 2 巴兹尔·弗里尔 2 拉杜·格罗苏 2 乔纳森·赫拉斯 2 约翰·Hölzl 2 伊利克、丹科 2 瓦列里·伊萨耶夫 2 伊斯兰，马里兰州Ariful …还有580多名作者 全部的 前5名92篇连载文章中引用 53 纯逻辑与应用逻辑年鉴 31 自动推理杂志 26 数学逻辑档案 25 符号逻辑杂志 20 合成 13 MSCS公司。计算机科学中的数学结构 13 数学逻辑季刊（MLQ） 11 符号逻辑述评 10 符号逻辑公报 8 圣母院形式逻辑杂志 8 计算机科学中的逻辑方法 7 理论计算机科学 7 数学与人工智能年鉴 6 数学进展 6 信息与计算 6 函数编程杂志 6 数学逻辑杂志 5 Studia Logica公司 5 遍历理论和动力系统 5 美国数学学会公报。新系列 5 逻辑与分析杂志 5 程序设计中的逻辑与代数方法杂志 5 伦敦皇家学会哲学学报。A.数学、物理和工程科学 4 Automatica公司 4 美国数学学会会刊 4 美国数学学会会刊 4 Indagationes Mathematicae公司。新系列 4 实验数学 4 计算系统理论 4 科学基础 三 人工智能 2 精密科学史档案 2 数学分析与应用杂志 2 数学信使 2 《伦敦数学学会通报》 2 纯代数与应用代数杂志 2 编程和计算机软件 2 符号计算杂志 2 计算的形式方面 2 数学史 2 当代数学传播 2 逻辑与代数程序设计杂志 2 葡萄牙数学。Nova Série公司 2 代数、数论与应用杂志 2 ACM计算逻辑事务 2 不动点理论及其应用 2 计算机科学中的数学 2 形式化推理杂志 2 可计算性 2 高层建筑 2 英国数学史杂志 1 美国数学月刊 1 以色列数学杂志 1 德国财政部（DMV） 1 数学分析杂志 1 Semesterberichte数学 1 混沌、孤子和分形 1 模糊集与系统 1 功能分析杂志 1 几何杂志 1 数学经济学杂志 1 哲学逻辑杂志 1 太平洋数学杂志 1 拓扑及其应用 1 人工智能通信 1 数学说明 1 工程、通信和计算中的应用代数 1 SIAM优化杂志 1 计算优化与应用 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 应用的分类结构 1 应用Clifford代数的进展 1 选择Mathematica。新系列 1 托波伊 1 几何与制图杂志 1 混乱 1 伦敦皇家学会哲学学报。A系列数学、物理和工程科学 1 数学年鉴。第二系列 1 计算数学基础 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 Oberwolfach报告 1 Steklov数学研究所学报 1 泛逻辑 1 同伦及相关结构杂志 1 非线性分析。混合动力系统 1 哲学指南针 1 数学论坛，Pi 1 伦敦数学学会会刊 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名42个领域被引用 339 数学逻辑和基础（03-XX） 204 计算机科学（68至XX） 49 总体主题；集合（00-XX） 27 历史与传记（01-XX） 24 范畴理论；同调代数（18-XX） 21 数论（11-XX） 20 算子理论（47-XX） 20 几何图形（51至XX） 19 代数拓扑（55-XX） 15 动力系统和遍历理论（37至XX） 12 组合数学（05-XX） 11 实际功能（26年X月X日） 9 群论与推广（20-XX） 9 系统论；控制（93至XX） 8 一般拓扑结构（54至XX） 7 测量和集成（28-XX） 7 功能分析（46倍X倍） 6 交换代数（13-XX） 6 运筹学、数学规划（90-XX） 5 数学教育（97-XX） 4 有序，格，有序代数结构（06-XX） 4 场论和多项式（12-XX） 4 代数几何（14-XX） 4 概率论与随机过程（60-XX） 三 序列、级数、可和性（40-XX） 三 信息与通信理论、电路（94-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 复变量的函数（30年XX月） 2 常微分方程（34-XX） 2 凸和离散几何（52至XX） 2 量子理论（81-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 生物学和其他自然科学（92-XX） 1 结合环与代数（16-XX） 1 拓扑群、李群（22日至XX日） 1 偏微分方程（35-XX） 1 近似值和展开值（41至XX） 1 欧氏空间的调和分析（42-XX） 1 抽象谐波分析（43-XX） 1 微分几何（53-XX） 1 数值分析（65-XX） 1 光学、电磁理论（78-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.