×
作者ID: 阿拉巴马州“Alama,Jesse”最近发表的zbMATH文章
发布日期: 杰西·阿拉玛
外部链接: MGP公司
已编制索引的文档: 27出版物自2010年起,包括8个附加arXiv预打印
合著者: 20位合著者具有13联合出版物
376位合作作者

按年份列出的出版物

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名

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.扎尔塔。

按年份列出的引文