×
作者ID: 卡莉丝·塞扎里“Kaliszyk,Cezary”最近发表的zbMATH文章
发布日期: 塞萨里·卡利西克
编入索引的文档: 71出版物自2007年以来,包括1个附加arXiv预打印
5名编辑的贡献
合著者: 78位合著者具有73联合出版物
1014位合作作者
全部的 前5名

合著者

3 单作者的
31 约瑟夫·乌尔班
8 Pąk,卡罗尔
7 Thibault Gauthier
5 维斯科基尔
4 迈克尔·Färber
4 佛罗里达州拉贝
3 贾斯敏·克里斯蒂安·布兰切特
3 乍得·布朗·爱德华
3 简·赫尔曼·杰弗斯
3 Jakubův,简
2 库卡斯·扎伊卡
2 伯拉克·埃基奇
2 丹尼尔·库尔温
2 朱利安·帕塞特
2 斯蒂芬·舒尔茨
2 坦克墨水,雕刻
2 城市,基督教
2 王庆祥
2 弗里克·威迪杰克
1 马克·亚当斯
1 大卫·阿斯皮纳尔
1 亨德里克·彼得·巴伦德雷格特
1 格特鲁德·鲍尔
1 拉斯·布劳布罗克
1 埃德温·布雷迪(Edwin C.Brady)。
1 雅克·卡雷特
1 乔恩ỳ, 普罗科普
1 科恩、利隆
1 皮埃尔·科尔比诺
1 阿德里安·西萨里克
1 Dang,Tat Dat公司
1 Cvetan Dunchev公司
1 帕斯卡·方丹
1 法杜阿·古拉比
1 大卫·格林纳韦
1 托马斯·卡利斯特·黑尔斯
1 Hoáng LéTrư纳克
1 艾达,铁索
1 杰弗里·欧文
1 亚塞姆·卡塞姆
1 曼弗雷德·科伯
1 萨纳兹·汗·阿夫沙尔
1 安德烈亚·科尔哈斯
1 迈克尔·科尔哈斯
1 亚历山大·克劳斯
1 拉马纳·库马尔
1 Sarah M.Loos。
1 维克托·马格伦
1 肖恩·麦克劳林
1 米查勒夫斯基(Michalewski)、亨利克(Henryk)
1 穆勒,丹尼斯
1 阮广忠
1 阮大唐
1 托比亚斯·尼普科
1 迈克尔·诺里什
1 史蒂文·奥布阿
1 罗素·奥康纳
1 米罗斯拉夫·奥沙克
1 安德烈·帕斯科维奇
1 劳伦斯·查尔斯·保尔森
1 巴托斯·彼得罗夫斯基
1 约瑟夫·普莱索
1 普加、斯坦尼斯·瓦夫
1 杰森·鲁特
1 克劳迪奥·萨塞尔多蒂·科恩
1 乌迈尔·西迪克
1 阿列克谢·索洛维耶夫
1 沃尔克·索尔格
1 杰夫·萨特克利夫
1 克里斯蒂安·塞格迪
1 Th(第个)Hoài安
1 索菲涅·塔哈尔
1 南庄Tran
1 特里厄·蒂迪普
1 Vu,Ky Khac村
1 张,廖
1 佐姆博里(Zsolt Zombori)
1 罗兰·祖姆凯勒

按年份列出的出版物

zbMATH Open中包含的引文

61出版物有被引用512中的次245文件 引用人 年份
开普勒猜想的形式证明。 Zbl 1379.52018年
托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang,Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森·鲁特;阿列克谢·索洛维耶夫;Ta,Thi Hoai An先生;南庄Tran;特里厄·蒂迪普;约瑟夫·乌尔班;武、基;罗兰·祖克勒
48
2017
使用\(\mathsf{Flyspeck}\)学习辅助的自动推理。 Zbl 1314.68283号
塞萨里·卡利西克;约瑟夫·乌尔班
36
2014
MizAR 40用于MizAR 40。 Zbl 1356.68191号
塞萨里·卡利西克;约瑟夫·乌尔班
34
2015
朝着QED迈进。 Zbl 1451.68318号
Jasmin C.布兰切特。;塞萨里·卡利西克;劳伦斯·C·鲍尔森。;约瑟夫·乌尔班
33
2016
HOL(y)Hammer:HOL Light的在线ATP服务。 Zbl 1322.68177号
塞萨里·卡利西克;约瑟夫·乌尔班
32
2015
Coq之锤:依赖型理论的自动化。 Zbl 1448.68458号
查伊卡,Łukasz;塞萨里·卡利西克
21
2018
《名义伊莎贝尔》中的一般绑定和字母等效性。 Zbl 1242.68283号
城市,基督教;塞萨里·卡利西克
18
2012
可扩展的LCF风格校对翻译。 Zbl 1317.68214号
塞萨里·卡利西克;亚历山大·克劳斯
17
2013
Isabelle/HOL基于学习的事实选择器。 Zbl 1386.68149号
贾斯敏·克里斯蒂安·布兰切特;大卫·格林纳韦;塞萨里·卡利西克;丹尼尔·库尔温;约瑟夫·乌尔班
16
2016
FEMaLeCoP:相当高效的机器学习连接证明器。 Zbl 1471.68312号
塞萨里·卡利西克;约瑟夫·乌尔班
16
2015
MaSh:大锤的机器学习。 Zbl 1317.68215号
丹尼尔·库尔温;贾斯敏·克里斯蒂安·布兰切特;塞萨里·卡利西克;约瑟夫·乌尔班
16
2013
深度网络引导的证据搜索。 Zbl 1403.68197号
莎拉·卢斯;杰弗里·欧文;克里斯蒂安·塞格迪;塞萨里·卡利西克
13
2017
跨HOL库匹配概念。 Zbl 1304.68154号
Thibault Gauthier;塞萨里·卡利西克
12
2014
在交互式定理证明器之上认证的计算机代数。 Zbl 1202.68382号
塞萨里·卡利西克;弗里克·威迪杰克
11
2007
战术脚趾:学习用HOL4战术进行推理。 Zbl 1403.68224号
Thibault Gauthier;塞萨里·卡利西克;约瑟夫·乌尔班
10
2017
《名义伊莎贝尔》中的一般绑定和字母等效性。 Zbl 1326.68265号
城市,基督教;塞萨里·卡利西克
10
2011
用于自动推理的属性不变量嵌入。 Zbl 1464.68317号
米罗斯拉夫·奥沙克;塞萨里·卡利西克;约瑟夫·乌尔班
8
2020
GRUNGE:一场宏大的ATP统一挑战。 Zbl 07178973号
乍得·E·布朗。;Thibault Gauthier;塞萨里·卡利西克;杰夫·萨特克利夫;约瑟夫·乌尔班
7
2019
PRocH:HOL Light的证明重建。 Zbl 1381.68271号
塞萨里·卡利西克;约瑟夫·乌尔班
7
2013
展示的形式数学:Flyspeck的维基。 Zbl 1390.68751号
坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班;赫尔曼·格乌弗斯
7
2013
用数百万个引理证明学习辅助定理。 Zbl 1315.68220号
塞萨里·卡利西克;约瑟夫·乌尔班
7
2015
战术脚趾:学习用战术证明。 Zbl 07356973号
Thibault Gauthier;塞萨里·卡利西克;约瑟夫·乌尔班;拉马纳·库马尔;迈克尔·诺里什
7
2021
跨校对助手库对齐概念。 Zbl 1395.68247号
Thibault Gauthier;塞萨里·卡利西克
6
2019
Mizar作为Isabelle对象逻辑的语义。 Zbl 1468.68290号
塞萨里·卡利西克;Pąk,卡罗尔
6
2019
分享HOL4和HOL防光知识。 Zbl 1471.68309号
Thibault Gauthier;塞萨里·卡利西克
6
2015
面向HOL Light的知识管理。 Zbl 1304.68158号
塞萨里·卡利西克;佛罗里达州拉贝
6
2014
在非正式数学和正式数学之间发展基于实体的翻译方法:项目描述。 Zbl 1304.68172号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔;赫尔曼·格乌弗斯
6
2014
数学形式化语言调查。 兹比尔1455.68257
塞萨里·卡利西克;佛罗里达州拉贝
6
2020
随机森林用于前提选择。 Zbl 1471.68307号
迈克尔·Färber;塞萨里·卡利西克
5
2015
HOL Light上的引理挖掘。 Zbl 1407.68437号
塞萨里·卡利西克;约瑟夫·乌尔班
5
2013
系统描述:E.T.0.1。 Zbl 1465.68286号
塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔
5
2015
形式数学系统概念之间的对齐分类。 Zbl 1367.68309号
穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;佛罗里达州拉贝
5
2017
蒙特卡洛表格验证搜索。 Zbl 1494.68286号
迈克尔·Färber;塞萨里·卡利西克;约瑟夫·乌尔班
5
2017
大理论中更强推理的柠檬化。 Zbl 1471.68313号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
4
2015
校对助理的Web界面。 Zbl 1278.68266号
塞萨里·卡利西克
4
2007
HOL Light的自动推理服务。 Zbl 1390.68576号
塞萨里·卡利西克;约瑟夫·乌尔班
4
2013
用于正式证明的合作存储库。基于wiki的解决方案。 Zbl 1202.68377号
皮埃尔·科尔比诺;塞萨里·卡利西克
4
2007
用经典实数计算。 Zbl 1194.68097号
塞萨里·卡利西克;罗素·奥康纳
4
2008
2015年8月2日至3日,德国柏林,第四届定理证明交换研讨会论文集。 Zbl 1490.68019号
4
2015
伊莎贝尔对集合论结构和集合理解的形式化。 Zbl 1497.68547号
塞萨里·卡利西克;Pąk,卡罗尔
3
2017
高效低级连接表。 Zbl 1471.68311号
塞萨里·卡利西克
3
2015
连接表辅助的机器学习指南。 Zbl 07356974号
迈克尔·Färber;塞萨里·卡利西克;约瑟夫·乌尔班
3
2021
Huzita折纸操作及其扩展的代数分析。 Zbl 1306.52008年
法杜阿·古拉比;亚塞姆·卡塞姆;塞萨里·卡利西克
3
2013
智能计算机数学。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。 Zbl 1428.68028号
2
2019
走向博弈论的正式基础。 Zbl 1511.68337号
朱利安·帕塞特;塞萨里·卡利西克
2
2018
Isabelle为Mizar数学库导入基础设施。 Zbl 1417.68185号
塞萨里·卡利西克;Pąk,卡罗尔
2
2018
定理名称中有什么? Zbl 1478.68434号
大卫·阿斯皮纳尔;塞萨里·卡利西克
2
2016
非条款连接表证明。 Zbl 1435.03033号
迈克尔·Färber;塞萨里·卡利西克
2
2019
通过数学的统计和语义解析实现形式化的自动化。 Zbl 1483.68490号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
2
2017
智能计算机数学。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
学习分析对齐的语料库(粗菱形)。 兹比尔1465.68287
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
2
2015
交流正式证据:Flyspeck案例。 兹比尔1317.68232
坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班;赫尔曼·格乌弗斯
2
2013
第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。 Zbl 1465.68016号
2
2021
高阶Tarski Grothendieck作为形式证明的基础。 Zbl 07649958号
乍得·E·布朗。;塞萨里·卡利西克;Pak,卡罗尔
2
2019
实现基于叠加的自动推理的统一排序。 Zbl 1395.68248号
Jan Jakubuv公司;塞萨里·卡利西克
1
2018
第一个实验是非正式数学到正式数学的神经翻译。 Zbl 1417.68195号
王庆祥;塞萨里·卡利西克;约瑟夫·乌尔班
1
2018
形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔
1
2015
合并程序性证据和声明性证据。 Zbl 1246.68198号
塞萨里·卡利西克;弗里克·威迪杰克
1
2009
Isabelle对象逻辑中Mizar属性的表示和操作。 Zbl 1367.68250号
塞萨里·卡利西克;Pąk,卡罗尔
1
2017
间隙1.0(系统描述)。 Zbl 07628197号
乍得·E·布朗。;塞萨里·卡利西克
1
2022
声明性证明翻译(短文)。 Zbl 07649984号
塞萨里·卡利西克;Pak,卡罗尔
1
2019
间隙1.0(系统描述)。 Zbl 07628197号
乍得·E·布朗。;塞萨里·卡利西克
1
2022
战术脚趾:学习用战术证明。 Zbl 07356973号
Thibault Gauthier;塞萨里·卡利西克;约瑟夫·乌尔班;拉马纳·库马尔;迈克尔·诺里什
7
2021
连接表辅助的机器学习指南。 Zbl 07356974号
迈克尔·Färber;塞萨里·卡利西克;约瑟夫·乌尔班
3
2021
第十二届交互式定理证明国际会议,ITP 2021,意大利罗马,虚拟会议,2021年6月29日至7月1日。 Zbl 1465.68016号
2
2021
用于自动推理的属性不变量嵌入。 Zbl 1464.68317号
米罗斯拉夫·奥沙克;塞萨里·卡利西克;约瑟夫·乌尔班
8
2020
数学形式化语言调查。 Zbl 1455.68257号
塞萨里·卡利西克;佛罗里达州拉贝
6
2020
GRUNGE:一场宏大的ATP统一挑战。 Zbl 07178973号
乍得·E·布朗。;Thibault Gauthier;塞萨里·卡利西克;杰夫·萨特克利夫;约瑟夫·乌尔班
7
2019
跨校对助手库对齐概念。 Zbl 1395.68247号
Thibault Gauthier;塞萨里·卡利西克
6
2019
Mizar作为Isabelle对象逻辑的语义。 Zbl 1468.68290号
塞萨里·卡利西克;Pąk,卡罗尔
6
2019
智能计算机数学。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。 Zbl 1428.68028号
2
2019
非条款连接表证明。 Zbl 1435.03033号
迈克尔·Färber;塞萨里·卡利西克
2
2019
高阶Tarski Grothendieck作为形式证明的基础。 兹比尔07649958
乍得·E·布朗。;塞萨里·卡利西克;Pak,卡罗尔
2
2019
声明性证明翻译(短文)。 Zbl 07649984号
塞萨里·卡利西克;Pak,卡罗尔
1
2019
Coq之锤:依赖型理论的自动化。 Zbl 1448.68458号
查伊卡,Łukasz;塞萨里·卡利西克
21
2018
走向博弈论的正式基础。 Zbl 1511.68337号
朱利安·帕塞特;塞萨里·卡利西克
2
2018
Isabelle为Mizar数学库导入基础设施。 Zbl 1417.68185号
塞萨里·卡利西克;Pąk,卡罗尔
2
2018
实现基于叠加的自动推理的统一排序。 兹比尔1395.68248
Jan Jakubuv公司;塞萨里·卡利西克
1
2018
第一个实验是非正式数学到正式数学的神经翻译。 Zbl 1417.68195号
王庆祥;塞萨里·卡利西克;约瑟夫·乌尔班
1
2018
开普勒猜想的形式证明。 Zbl 1379.52018年
托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang,Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森·鲁特;阿列克谢·索洛维耶夫;Ta,Thi Hoai An先生;南庄Tran;特里厄·蒂迪普;约瑟夫·乌尔班;武、基;罗兰·祖姆凯勒
48
2017
深度网络引导的证据搜索。 Zbl 1403.68197号
莎拉·卢斯;杰弗里·欧文;克里斯蒂安·塞格迪;塞萨里·卡利西克
13
2017
战术脚趾:学习用HOL4战术进行推理。 Zbl 1403.68224号
Thibault Gauthier;塞萨里·卡利西克;约瑟夫·乌尔班
10
2017
形式数学系统概念之间的对齐分类。 Zbl 1367.68309号
穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;佛罗里达州拉贝
5
2017
蒙特卡洛表格证明搜索。 Zbl 1494.68286号
迈克尔·Färber;塞萨里·卡利西克;约瑟夫·乌尔班
5
2017
伊莎贝尔对集合论结构和集合理解的形式化。 Zbl 1497.68547号
塞萨里·卡利西克;Pąk,卡罗尔
3
2017
通过数学的统计和语义解析实现形式化的自动化。 Zbl 1483.68490号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
2
2017
Isabelle对象逻辑中Mizar属性的表示和操作。 Zbl 1367.68250号
塞萨里·卡利西克;Pąk,卡罗尔
1
2017
朝着QED迈进。 Zbl 1451.68318号
Jasmin C.布兰切特。;塞萨里·卡利西克;劳伦斯·C·鲍尔森。;约瑟夫·乌尔班
33
2016
Isabelle/HOL的基于学习的事实选择器。 Zbl 1386.68149号
贾斯敏·克里斯蒂安·布兰切特;大卫·格林纳韦;塞萨里·卡利西克;丹尼尔·库尔温;约瑟夫·乌尔班
16
2016
定理名称中有什么? Zbl 1478.68434号
大卫·阿斯皮纳尔;塞萨里·卡利西克
2
2016
MizAR 40用于MizAR 40。 Zbl 1356.68191号
塞萨里·卡利西克;约瑟夫·乌尔班
34
2015
HOL(y)Hammer:HOL Light的在线ATP服务。 Zbl 1322.68177号
塞萨里·卡利西克;约瑟夫·乌尔班
32
2015
FEMaLeCoP:相当高效的机器学习连接证明程序。 兹比尔1471.68312
塞萨里·卡利西克;约瑟夫·乌尔班
16
2015
用数百万个引理证明学习辅助定理。 Zbl 1315.68220号
塞萨里·卡利西克;约瑟夫·乌尔班
7
2015
分享HOL4和HOL防光知识。 Zbl 1471.68309号
Thibault Gauthier;塞萨里·卡利西克
6
2015
随机森林用于前提选择。 Zbl 1471.68307号
迈克尔·Färber;塞萨里·卡利西克
5
2015
系统描述:E.T.0.1。 Zbl 1465.68286号
塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔
5
2015
大理论中更强推理的柠檬化。 Zbl 1471.68313号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
4
2015
2015年8月2日至3日,德国柏林,第四届定理证明交换研讨会论文集。 Zbl 1490.68019号
4
2015
高效低级连接表。 Zbl 1471.68311号
塞萨里·卡利西克
3
2015
智能计算机数学。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
学习分析对齐的语料库(粗菱形)。 兹比尔1465.68287
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔
2
2015
形式化物理学:自动化、演示和基础问题。 Zbl 1417.68186号
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;索菲涅·塔哈尔
1
2015
使用\(\mathsf{Flyspeck}\)学习辅助的自动推理。 Zbl 1314.68283号
塞萨里·卡利西克;约瑟夫·乌尔班
36
2014
跨HOL库匹配概念。 Zbl 1304.68154号
Thibault Gauthier;塞萨里·卡利西克
12
2014
面向HOL Light的知识管理。 Zbl 1304.68158号
塞萨里·卡利西克;佛罗里达州拉贝
6
2014
在非正式数学和正式数学之间发展基于实体的翻译方法:项目描述。 Zbl 1304.68172号
塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔;赫尔曼·格乌弗斯
6
2014
可扩展的LCF风格校对翻译。 Zbl 1317.68214号
塞萨里·卡利西克;亚历山大·克劳斯
17
2013
MaSh:大锤的机器学习。 Zbl 1317.68215号
丹尼尔·库尔温;贾斯敏·克里斯蒂安·布兰切特;塞萨里·卡利西克;约瑟夫·乌尔班
16
2013
PRocH:HOL Light的证明重建。 Zbl 1381.68271号
塞萨里·卡利西克;约瑟夫·乌尔班
7
2013
展示的形式数学:Flyspeck的维基。 Zbl 1390.68751号
坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班;赫尔曼·格乌弗斯
7
2013
HOL Light上的引理挖掘。 兹比尔1407.68437
塞萨里·卡利西克;约瑟夫·乌尔班
5
2013
HOL Light的自动推理服务。 Zbl 1390.68576号
塞萨里·卡利西克;约瑟夫·乌尔班
4
2013
Huzita折纸操作及其扩展的代数分析。 Zbl 1306.52008年
法杜阿·古拉比;亚塞姆·卡塞姆;塞萨里·卡利西克
3
2013
交流正式证据:Flyspeck的案例。 Zbl 1317.68232号
坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班;赫尔曼·格乌弗斯
2
2013
《名义伊莎贝尔》中的一般绑定和字母等效性。 Zbl 1242.68283号
城市,基督教;塞萨里·卡利西克
18
2012
《名义伊莎贝尔》中的一般绑定和字母等效性。 Zbl 1326.68265号
城市,基督教;塞萨里·卡利西克
10
2011
合并程序性证据和声明性证据。 Zbl 1246.68198号
塞萨里·卡利西克;弗里克·威迪杰克
1
2009
用经典实数计算。 Zbl 1194.68097号
塞萨里·卡利西克;运营;罗素·康纳
4
2008
在交互式定理证明器之上认证的计算机代数。 Zbl 1202.68382号
塞萨里·卡利西克;弗里克·威迪杰克
11
2007
校对助理的Web界面。 Zbl 1278.68266号
塞萨里·卡利西克
4
2007
用于正式证明的合作存储库。基于wiki的解决方案。 Zbl 1202.68377号
皮埃尔·科尔比诺;塞萨里·卡利西克
4
2007
全部的 前5名

392位作者引用

35 塞萨里·卡利西克
30 约瑟夫·乌尔班
12 贾斯敏·克里斯蒂安·布兰切特
9 Jakubův,简
9 劳伦斯·查尔斯·保尔森
9 佛罗里达州拉贝
8 Pąk,卡罗尔
7 亚历山大·本特坎普
7 杰夫·萨特克利夫
6 Thibault Gauthier
6 迈克尔·科尔哈斯
6 米罗斯拉夫·奥沙克
6 贾尔斯·里格尔
6 德米特里·特拉泰尔
6 马卡里乌斯·温泽尔
5 克里斯托夫·埃瓦尔德·本兹穆勒
5 库卡斯·扎伊卡
5 亚当·纳莫维奇
5 Schmidt Schauß,曼弗雷德
5 马丁·苏达
5 佩塔·武克米罗维奇
5 维斯科基尔
4 艾哈迈德·巴亚特
4 乍得·布朗·爱德华
4 卡雷尔·奇瓦洛夫斯克
4 科恩,亨利·李
4 西蒙·克鲁恩斯
4 贾尼契奇,普雷德拉格
4 尤努斯·库茨。
4 托比亚斯·尼普科
4 索菲涅·塔哈尔
4 图雷特,索菲
4 乌韦·沃尔德曼
3 迈克尔·Färber
3 马蒂亚斯·弗勒里
3 萨纳兹·汗·阿夫沙尔
3 科尔尼沃维奇,阿图尔
3 Angeliki Koutsoukou-Argyraki
3 刘军
3 朱利安·纳布克斯
3 安德烈·波佩斯库
3 乌迈尔·西迪克
3 徐,杨
3 佐姆博里(Zsolt Zombori)
2 杰里米·阿维加德
2 格拉泽戈兹·班塞雷克
2 Czesław,拜林斯基
2 雅克·卡雷特
2 陈树伟
2 詹姆斯·切尼
2 约瑟夫·科内利
2 马丁·德沙奈斯
2 杰雷米·杜布特
2 Cvetan Dunchev公司
2 Farmer,William M。
2 雅克·弗莱里奥特。
2 简·赫尔曼·杰弗斯
2 洛伦佐·盖里
2 法杜阿·古拉比
2 查拉图斯特拉·阿马德乌斯·戈泽尔
2 亚当·格拉博夫斯基
2 费卢西奥·圭迪
2 伊曼纽尔·冈瑟
2 托马斯·哈特曼。
2 何兴兴
2 乔纳森·赫拉斯
2 什特·潘·霍卢布
2 艾达、铁雄
2 冈萨洛·伊玛兹(Gonzalo E.Imaz)。
2 米科拉什·亚诺塔
2 Aleksandr Vital’evich,基里洛维奇
2 迪特里赫·克拉科夫
2 罗伯特·刘易斯。
2 英国利帕切夫。
2 维克托·马格伦
2 罗马人Matuszewski
2 穆勒,丹尼斯
2 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃
2 Nummelin,维萨卡
2 延斯·奥滕
2 萨姆·奥雷
2 米盖尔·帕加诺
2 约阿希姆·帕罗
2 艾莉森·皮斯
2 巴托斯·彼得罗夫斯基
2 迈克尔·劳森
2 大卫·萨贝尔
2 克劳迪奥·萨切多蒂·科恩
2 佩德罗·桑切斯·特拉夫
2 斯蒂芬·舒尔茨
2 塞迪基,昂山素季
2 什蒂·潘·斯塔罗斯塔
2 亚历山大·斯蒂恩
2 萨那斯托亚诺维奇
2 高桥,Kazuko
2 Laurent Théry
2 城市,基督教
2 Tjark韦伯
2 Christoph Wernhard公司
2 Akihisa山田
…还有292名作者

按年份列出的引文