编辑配置文件(在新选项卡中打开) 塞萨里·卡利西克 合著者距离 作者ID: 卡莉丝·塞扎里 发布日期: 塞萨里·卡利西克 编入索引的文档: 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 罗兰·祖姆凯勒 全部的 前5名系列 9 自动推理杂志 3 计算机科学中的数学 2 符号计算杂志 2 计算机科学课堂讲稿 2 形式化推理杂志 1 AI通信 1 逻辑与计算杂志 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 1 数学论坛,Pi 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 75 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 2 凸和离散几何(52至XX) 1 范畴理论;同调代数(18-XX) 1 光学、电磁理论(78-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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名作者 全部的 前5名47篇连载文章被引用 36 自动推理杂志 7 计算机科学中的逻辑方法 5 AI通信 5 计算机科学中的数学 4 符号计算杂志 3 美国数学学会公报。新系列 3 数学与人工智能年鉴 2 人工智能 2 信息科学 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 国际近似推理杂志 2 计算的形式方面 2 实验数学 2 函数编程杂志 2 高能物理杂志 1 德国数学实验室(DMV) 1 计算数学 1 数学杂志 1 数学信使 1 ACM数学软件汇刊 1 应用数学与优化 1 模糊集与系统 1 《Reine und Angewandte Mathematik》杂志 1 合成 1 计算机辅助几何设计 1 计算力学 1 计算数学与建模 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 弹性杂志 1 工程、通信和计算中的应用代数 1 应用Clifford代数的进展 1 Doklady数学 1 软计算 1 不等式与应用杂志 1 欧洲数学学会期刊 1 数学逻辑杂志 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 逻辑程序设计理论与实践 1 萨达纳 1 泛逻辑 1 圣保罗数学科学杂志 1 形式化推理杂志 1 数学论坛,Pi 1 程序设计中的逻辑和代数方法杂志 全部的 前5名33个领域引用 222 计算机科学(68至XX) 67 数学逻辑和基础(03-XX) 11 凸和离散几何(52至XX) 5 总体主题;集合(00-XX) 5 数论(11-XX) 5 数值分析(65-XX) 4 几何图形(51至XX) 3 历史和传记(01-XX) 3 线性代数和多线性代数;矩阵理论(15-XX) 3 群论与推广(20-XX) 3 代数拓扑(55-XX) 3 光学、电磁理论(78-XX) 3 量子理论(81-XX) 3 运筹学、数学规划(90-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 组合数学(05-XX) 2 范畴理论;同调代数(18-XX) 2 实际功能(26-XX) 2 欧氏空间的调和分析(42-XX) 2 可变形固体力学(74-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 非结合环和代数(17-XX) 1 偏微分方程(35-XX) 1 近似值和展开值(41-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 粒子和系统力学(70-XX) 1 相对论和引力理论(83至XX) 1 数学教育(97-XX) 按年份列出的引文