编辑配置文件(在新选项卡中打开) 杰西·阿拉玛 合著者距离 作者ID: 阿拉巴马州 发布日期: 杰西·阿拉玛 外部链接: MGP公司 已编制索引的文档: 27出版物自2010年起,包括8个附加arXiv预打印 合著者: 20位合著者具有13联合出版物 376位合作作者 全部的 前5名合著者 14 单作者的 6 约瑟夫·厄本 三 莱昂内尔·伊利·马曼 2 丹尼尔·库尔温 2 彼得·鲁德尼基 1 布林克,卡斯珀 1 Czesław拜林斯基 1 简·赫尔曼·杰弗斯 1 亚当·格拉博夫斯基 1 汤姆·M·海斯克斯。 1 莱因哈德·卡勒 1 诺克斯,亚历克斯 1 迈克尔·科尔哈斯 1 亚当·纳莫维奇 1 大森,Hitoshi 1 保罗·E·奥本海默。 1 维克托·五世(Victor V.Pambuccian)。 1 里希特,威廉 1 叶夫根·齐夫茨瓦泽 1 萨拉·利安娜·乌克尔曼 1 Edward N.扎尔塔。 系列 2 逻辑研究 2 注释di Matematica 2 自动推理杂志 1 哲学逻辑杂志 1 形式化数学 全部的 前5名字段 16 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 5 几何图形(51至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 凸和离散几何(52至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用114中的次75文件 引用人▼ 年份▼ 通过语料库分析和核方法进行数学前提选择。 Zbl 1315.68217号 杰西·阿拉玛;汤姆·海斯克斯;丹尼尔·库尔温;叶夫根·齐夫茨瓦泽;约瑟夫·厄本 36 2014 授权Mizar数学库(MML)。 Zbl 1278.68290号 杰西·阿拉玛;迈克尔·科尔哈斯;莱昂内尔·马曼;亚当·纳莫维奇;彼得·鲁德尼基;约瑟夫·厄本 17 2011 普通数学中的自动和人工证明:初步比较。 Zbl 1352.68211号 杰西·阿拉玛;丹尼尔·库尔温;约瑟夫·厄本 9 2012 大型正式维基:问题和解决方案。 Zbl 1335.68220号 杰西·阿拉玛;布林克,卡斯珀;莱昂内尔·马曼;约瑟夫·厄本 9 2011 Mizar的Wiki:动机、考虑因素和初始原型。 Zbl 1286.68434号 约瑟夫·厄本;杰西·阿拉玛;彼得·鲁德尼基;赫尔曼·格乌弗斯 8 2010 形式数学中的依赖性:Coq和Mizar的应用和提取。 Zbl 1335.68221号 杰西·阿拉玛;莱昂内尔·马曼;约瑟夫·厄本 7 2012 塔斯基几何公理。 Zbl 1352.51002号 里希特,威廉;亚当·格拉博夫斯基;杰西·阿拉玛 6 2014 mizar-items公司:探索中的细粒度依赖关系米扎尔数学图书馆(MML)。 Zbl 1335.68255号 杰西·阿拉玛 5 2011 解析Mizar的新发展。 Zbl 1360.68743号 Czesław拜林斯基;杰西·阿拉玛 4 2012 mizar中的欧拉多面体公式。 Zbl 1294.68132号 杰西·阿拉玛 三 2010 从点反射、中点和共线的绝对几何到仿射几何。 Zbl 1414.51002号 杰西·阿拉玛;帕姆布西安·维克多 三 2016 一个奇怪的对话逻辑及其构成问题。 Zbl 1317.03028号 萨拉·尤克曼(Sara L.Uckelman)。;杰西·阿拉玛;Knoks、Aleks 2 2014 通过属性省略引出Mizar证明的隐含假设。 兹比尔1260.68361 杰西·阿拉玛 1 2013 检查证据。 Zbl 1330.00021号 杰西·阿拉玛;莱因哈德·卡勒 1 2013 再次回顾了双曲几何最简单的公理系统。 Zbl 1301.03017号 杰西·阿拉玛 1 2014 公理化Ja-si-kowski的讨论逻辑(mathbf{D_2})。 Zbl 1437.03103号 大森,Hitoshi;杰西·阿拉玛 1 2018 中心翻译公理系统的完全独立性。 Zbl 1291.51002号 杰西·阿拉玛 1 2013 公理化Ja-si-kowski的讨论逻辑(mathbf{D_2})。 Zbl 1437.03103号 大森,Hitoshi;杰西·阿拉玛 1 2018 从点反射、中点和共线的角度来看,从绝对几何到仿射几何。 Zbl 1414.51002号 杰西·阿拉玛;帕姆布西安·维克多 三 2016 通过语料库分析和核方法进行数学前提选择。 Zbl 1315.68217号 杰西·阿拉玛;汤姆·海斯克斯;丹尼尔·库尔温;叶夫根·齐夫茨瓦泽;约瑟夫·厄本 36 2014 塔斯基几何公理。 Zbl 1352.51002号 里希特,威廉;亚当·格拉博夫斯基;杰西·阿拉玛 6 2014 一个奇怪的对话逻辑及其构成问题。 Zbl 1317.03028号 萨拉·尤克曼(Sara L.Uckelman)。;杰西·阿拉玛;Knoks、Aleks 2 2014 再次回顾了双曲几何最简单的公理系统。 Zbl 1301.03017号 杰西·阿拉玛 1 2014 通过性质省略引出Mizar证明的隐含假设。 Zbl 1260.68361号 杰西·阿拉玛 1 2013 检查证据。 Zbl 1330.00021号 杰西·阿拉玛;莱因哈德·卡勒 1 2013 中心翻译公理系统的完全独立性。 Zbl 1291.51002号 杰西·阿拉玛 1 2013 普通数学中的自动和人工证明:初步比较。 Zbl 1352.68211号 杰西·阿拉玛;丹尼尔·库尔温;约瑟夫·厄本 9 2012 形式数学中的依赖关系:Coq和Mizar的应用和提取。 Zbl 1335.68221号 杰西·阿拉玛;莱昂内尔·马曼;约瑟夫·厄本 7 2012 解析Mizar的新发展。 Zbl 1360.68743号 Czesław拜林斯基;杰西·阿拉玛 4 2012 授权Mizar数学库(MML)。 兹比尔1278.68290 杰西·阿拉玛;迈克尔·科尔哈斯;莱昂内尔·马曼;亚当·纳莫维奇;彼得·鲁德尼基;约瑟夫·厄本 17 2011 大型正式维基:问题和解决方案。 Zbl 1335.68220号 杰西·阿拉玛;布林克,卡斯珀;莱昂内尔·马曼;约瑟夫·厄本 9 2011 mizar-items公司:在米扎尔数学图书馆(MML)。 Zbl 1335.68255号 杰西·阿拉玛 5 2011 Mizar的Wiki:动机、考虑因素和初始原型。 Zbl 1286.68434号 约瑟夫·厄本;杰西·阿拉玛;彼得·鲁德尼基;赫尔曼·格乌弗斯 8 2010 mizar中的欧拉多面体公式。 Zbl 1294.68132号 杰西·阿拉玛 三 2010 所有引用出版物 前5名被引用出版物 全部的 前5名94位作者引用 24 约瑟夫·厄本 14 塞萨里·卡利西克 7 亚当·格拉博夫斯基 7 阿图尔·科尔尼·奥维茨 7 亚当·纳莫维奇 6 杰西·阿拉玛 5 Jakubův,简 5 Pąk,卡罗尔 4 罗兰·科希托 4 杰夫·萨特克利夫 三 皮埃尔·布特里 三 维斯科基尔 2 泽维尔·阿拉米吉恩 2 格拉泽戈兹·班塞雷克 2 贾斯敏·克里斯蒂安·布兰切特 2 乍得·布朗·爱德华 2 Czesław拜林斯基 2 卡雷尔·奇瓦洛夫斯克 2 迈克尔·Färber 2 托马斯·格兰斯登 2 汤姆·M·海斯克斯。 2 里卡多·戴维·卡茨 2 丹尼尔·库尔温 2 罗马人Matuszewski 2 中关村,Kazuhisa 2 朱利安·纳布 2 托比亚斯·尼普科 2 米罗斯拉夫·奥沙克 2 维克托·五世(Victor V.Pambuccian)。 2 弗洛里安·拉贝 2 拉杰夫·拉曼 2 Pierre-Yves支柱 2 马丁·苏达 2 尼尔·沃尔金肖 2 佐姆博里(Zsolt Zombori) 1 莫辛·曼沙德·阿巴斯 1 安德鲁·阿伯丁 1 安纳托利·彼得罗维奇(AnatoliĭPetrovich) 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 加布里埃尔·布劳恩 1 布林克,卡斯珀 1 库卡斯·扎伊卡 1 Cvetan Dunchev公司 1 法语、罗汉语 1 芙蓉岛、秀君 1 Thibault Gauthier 1 大卫·格林纳韦 1 查理·格里斯 1 奥列格·米哈·洛维奇·格里戈列夫 1 马克西米利安·哈斯贝克。 1 伊内斯·希波利托 1 米尼亚·伊恩库 1 贾尼契奇,普雷德拉格 1 米科拉什·亚诺塔 1 莱因哈德·卡勒 1 萨纳兹·汗·阿夫沙尔 1 诺克斯,亚历克斯 1 塞巴斯蒂安·科赫 1 迈克尔·科尔哈斯 1 佐尔坦科瓦奇 1 莱昂内尔·伊利·马曼 1 菲利普·马里奇 1 韦斯纳·马林科维奇 1 丹尼尔·马提库克 1 尤里·莫夫塞斯 1 Krystyna,Mruczek Nasieniewska先生 1 马雷克·纳西涅夫斯基 1 姆拉丹·尼科利奇 1 保罗·E·奥本海默。 1 乌尔德·比哈,西迪 1 劳伦斯·查尔斯·保尔森 1 雅罗斯拉夫·伊戈列维奇·彼得鲁金 1 Jelle Piepenbrock 1 拉多斯·瓦·皮利泽克 1 迈克尔·劳森 1 贾尔斯·里格尔 1 肯尼斯·罗伊 1 科林·罗斯冈 1 彼得·鲁德尼基 1 帕斯卡·施雷克 1 斯蒂芬·舒尔茨 1 瓦西里·沙金 1 Yasunai Shidama 1 Shigenaka、Seigo 1 乌迈尔·西迪克 1 达尼耶拉·西米奇 1 索菲涅·塔哈尔 1 叶夫根·齐夫茨瓦泽 1 萨拉·利安娜·乌克尔曼 1 Katsumi Wasaki 1 马卡里乌斯·温泽尔 1 布鲁诺沃尔岑洛格尔古 1 大池山口 1 Edward N.扎尔塔。 全部的 前5名15篇连载文章中引用 18 自动推理杂志 5 形式化数学 三 AI通信 2 符号计算杂志 2 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 哲学逻辑杂志 1 数学成绩 1 逻辑研究 1 合成 1 计算的形式方面 1 数学与人工智能年鉴 1 计算机语言、系统和结构 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 维斯特尼克·乌德穆茨科戈大学。马特马提卡。梅哈尼卡。Komp'yuternye Nauki公司 全部的 前5名11个领域引用 64 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 8 几何图形(51至XX) 三 群论与推广(20-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 光学、电磁理论(78-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学教育(97-XX) 按年份列出的引文