×
作者ID: 罗贝·弗洛里安“Rabe,Florian”最近发表的zbMATH文章
发布日期: 弗洛里安·拉贝
主页: https://kwarc.info/people/frabe/
外部链接: MGP公司·ORCID公司·数据库许可证
已编制索引的文档: 68出版物自2006年以来,包括1个附加arXiv预打印
4作为编辑的贡献
合著者: 55位合著者具有59联合出版物
1022合著作者

按年份列出的出版物

zbMATH Open中包含的引文

58出版物有被引用284中的次117文件 引用人 年份
可扩展模块系统。 Zbl 1358.68283号
弗洛里安·拉贝;迈克尔·科尔哈斯
39
2013
OMDoc中的Mizar数学库:翻译和应用。 Zbl 1260.68375号
米尼亚·伊恩库;迈克尔·科尔哈斯;弗洛里安·拉贝;约瑟夫·乌尔班
19
2013
MMT API:一个通用的MKM系统。 Zbl 1390.68626号
弗洛里安·拉贝
18
2013
项目摘要:逻辑地图集和集成器(LATIN)。 Zbl 1278.68285号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
18
2011
数学基础形式化。 Zbl 1242.03031号
米尼亚·伊恩库;弗洛里安·拉贝
12
2011
如何识别、翻译和组合逻辑? Zbl 1444.03121号
弗洛里安·拉贝
12
2017
在类型理论逻辑框架中表示模型理论。 Zbl 1236.03027号
霍罗扎尔,富尔亚;弗洛里安·拉贝
9
2011
面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃
8
2012
THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号
克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫
8
2008
模型和证明理论相结合的逻辑框架。 Zbl 1326.03082号
弗洛里安·拉贝
8
2013
动态数学文档的符号。 Zbl 1166.00304号
迈克尔·科尔哈斯;克里斯汀·米勒;弗洛里安·拉贝
7
2008
在语句级别扩展MKM格式。 Zbl 1278.68293号
霍罗扎尔,富尔亚;迈克尔·科尔哈斯;弗洛里安·拉贝
7
2012
走向大规模的MKM:模块化表示和可扩展的软件架构。 兹比尔1278.68297
迈克尔·科尔哈斯;弗洛里安·拉贝;维亚切斯拉夫·兹霍卢德夫
7
2010
形式化数学的柔性算子。 Zbl 1304.68171号
霍罗扎尔,富尔亚;弗洛里安·拉贝;迈克尔·科尔哈斯
7
2014
数学形式化语言调查。 Zbl 1455.68257号
塞萨里·卡利西克;弗洛里安·拉贝
6
2020
关于集成问题的基本观点。 Zbl 1278.68289号
弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩
6
2011
面向HOL Light的知识管理。 Zbl 1304.68158号
塞萨里·卡利西克;弗洛里安·拉贝
6
2014
将web服务集成到活动数学文档中。 Zbl 1247.68314号
贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝
5
2009
形式数学系统概念之间的对齐分类。 Zbl 1367.68309号
穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝
5
2017
表示形式元语言中的结构语言特征。 Zbl 1455.68268号
穆勒,丹尼斯;弗洛里安·拉贝;科林·罗斯冈;迈克尔·科尔哈斯
4
2020
理论作为类型。 Zbl 1511.68340号
穆勒,丹尼斯;弗洛里安·拉贝;迈克尔·科尔哈斯
4
2018
一种模块化重建算法。 Zbl 1407.68440号
弗洛里安·拉贝
4
2018
通用文字。 Zbl 1417.68216号
弗洛里安·拉贝
4
2015
用于正式数学库的查询语言。 Zbl 1359.68272号
弗洛里安·拉贝
4
2012
QED重新加载:朝向一个多元的正式数学知识库。 Zbl 1451.68343号
迈克尔·科尔哈斯;弗洛里安·拉贝
4
2016
具有依赖类型的一阶逻辑。 Zbl 1222.03016号
弗洛里安·拉贝
2006
跨数学库的关系数据。 Zbl 1428.68352号
安德里亚·康多鲁西;迈克尔·科尔哈斯;穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;马卡里乌斯·温泽尔
2019
Coq库作为理论图。 Zbl 1428.68344号
穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩
2019
OpenDreamKit项目中的互操作性:中间的方法。 Zbl 1344.68268号
保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利埃夫尔;穆勒,丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛
2016
逻辑框架的逻辑关系。 Zbl 1353.68252号
弗洛里安·拉贝;克里斯蒂娜·索贾科娃
2013
虚拟理论–数学知识库的统一接口。 Zbl 1497.68550号
汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝
2
2017
Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1246.03022号
噢,史蒂夫;弗洛里安·拉贝
2
2009
出口主要校样助理库的经验。 Zbl 07461271号
迈克尔·科尔哈斯;弗洛里安·拉贝
2
2021
通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号
迈克尔·科尔哈斯;穆勒,丹尼斯;萨姆·奥雷;弗洛里安·拉贝
2
2017
如何使用非确定性函数进行计算。 Zbl 1434.68078号
理查德·伯德;弗洛里安·拉贝
2
2019
马丁洛夫外延类型理论的克里普克语义。 Zbl 1237.03007号
噢,史蒂夫;弗洛里安·拉贝
2
2011
逻辑的未来:基础依赖。 Zbl 1436.03179号
弗洛里安·拉贝
2
2016
智能计算机数学。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
双形理论图的通用机器。 Zbl 1278.68267号
迈克尔·科尔哈斯;费利克斯·曼斯;弗洛里安·拉贝
2
2013
智能计算机数学。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。 Zbl 1218.68014号
2
2011
模型理论隐藏的证明理论解释。 Zbl 1278.68202号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
1
2012
解决100美元的模态逻辑挑战。 Zbl 1161.03302号
弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜
1
2009
结肠炎的标准选择。 Zbl 1496.68203号
蒂尔·莫萨科夫斯基;弗洛里安·拉贝;米哈伊·科德斯库
1
2017
建立统一的数学数据基础设施:数据库和接口生成。 Zbl 1428.68356号
卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2019
在MMT中绘制组合符。 兹比尔1428.68353
弗洛里安·拉贝;亚斯敏·沙罗达
1
2019
面向数学知识的异构查询语言。 Zbl 1455.68264号
卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2020
TGView3D:理论图形的三维可视化系统。 Zbl 1455.68267号
理查德·马库斯;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2020
大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2021
自动查找知识管理的理论形态。 Zbl 1417.68211号
穆勒,丹尼斯;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2018
智能计算机数学。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 Zbl 1364.68010号
1
2017
松驰理论形态。 Zbl 1367.03061号
弗洛里安·拉贝
1
2015
形态公理。 兹比尔1373.03132
弗洛里安·拉贝
1
2017
交换语言的形式逻辑定义。 Zbl 1417.68206号
霍罗扎尔,富尔亚;弗洛里安·拉贝
1
2015
编译逻辑。 Zbl 1394.68071号
米哈伊·科德斯库;霍罗扎尔,富尔亚;艾瓦拉斯贾库鲍斯卡斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
1
2013
结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号
霍罗扎尔,富尔亚;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2011
的语义OpenPath(OpenPath)数学ML3. Zbl 1271.68221号
迈克尔·科尔哈斯;弗洛里安·拉贝
1
2012
在类型理论逻辑框架中表示模型理论。 Zbl 1291.03068号
霍罗扎尔,富尔亚;弗洛里安·拉贝
1
2009
以知识表示格式访问Isabelle内容。 Zbl 07756106号
迈克尔·科尔哈斯;弗洛里安·拉贝;马卡里乌斯·温泽尔
1
2020
出口主要校样助理库的经验。 Zbl 07461271号
迈克尔·科尔哈斯;弗洛里安·拉贝
2
2021
大数学和单脑障碍:数学知识的四足模型。 Zbl 1493.68391号
雅克·卡雷特;Farmer,William M。;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2021
数学形式化语言综述。 Zbl 1455.68257号
塞萨里·卡利西克;弗洛里安·拉贝
6
2020
在正式元语言中表示结构语言特征。 Zbl 1455.68268号
穆勒,丹尼斯;弗洛里安·拉贝;科林·罗斯冈;迈克尔·科尔哈斯
4
2020
面向数学知识的异构查询语言。 Zbl 1455.68264号
卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2020
TGView3D:一个用于理论图三维可视化的系统。 Zbl 1455.68267号
理查德·马库斯;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2020
以知识表示格式访问Isabelle内容。 Zbl 07756106号
迈克尔·科尔哈斯;弗洛里安·拉贝;马卡里乌斯·温泽尔
1
2020
跨数学库的关系数据。 Zbl 1428.68352号
安德烈亚·康多卢奇;迈克尔·科尔哈斯;穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;马卡里乌斯·温泽尔
2019
Coq库作为理论图。 Zbl 1428.68344号
穆勒,丹尼斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩
2019
如何使用非确定性函数进行计算。 Zbl 1434.68078号
理查德·伯德;弗洛里安·拉贝
2
2019
建立统一的数学数据基础设施:数据库和接口生成。 Zbl 1428.68356号
Berčič,卡佳;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2019
在MMT中绘制组合符。 Zbl 1428.68353号
弗洛里安·拉贝;亚斯敏·沙罗达
1
2019
理论作为类型。 Zbl 1511.68340号
穆勒,丹尼斯;弗洛里安·拉贝;迈克尔·科尔哈斯
4
2018
一种模块化重建算法。 Zbl 1407.68440号
弗洛里安·拉贝
4
2018
自动查找知识管理的理论形态。 Zbl 1417.68211号
穆勒,丹尼斯;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2018
如何识别、翻译和组合逻辑? Zbl 1444.03121号
弗洛里安·拉贝
12
2017
形式数学系统概念之间的对齐分类。 Zbl 1367.68309号
穆勒,丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝
5
2017
虚拟理论–数学知识库的统一接口。 兹比尔1497.68550
汤姆·威辛;迈克尔·科尔哈斯;弗洛里安·拉贝
2
2017
通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号
迈克尔·科尔哈斯;穆勒,丹尼斯;萨姆·奥雷;弗洛里安·拉贝
2
2017
结肠炎的标准选择。 Zbl 1496.68203号
蒂尔·莫萨科夫斯基;弗洛里安·拉贝;米哈伊·科德斯库
1
2017
智能计算机数学。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。 兹比尔1364.68010
1
2017
形态公理。 Zbl 1373.03132号
弗洛里安·拉贝
1
2017
QED重新加载:朝向一个多元的正式数学知识库。 Zbl 1451.68343号
迈克尔·科尔哈斯;弗洛里安·拉贝
4
2016
OpenDreamKit项目中的互操作性:中间的方法。 Zbl 1344.68268号
保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒,丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛
2016
逻辑的未来:基础依赖。 Zbl 1436.03179号
弗洛里安·拉贝
2
2016
通用文字。 Zbl 1417.68216号
弗洛里安·拉贝
4
2015
智能计算机数学。2015年国际会议,CICM,美国华盛顿特区,2015年7月13日至17日,会议记录。 Zbl 1316.68015号
2
2015
松驰理论形态。 Zbl 1367.03061号
弗洛里安·拉贝
1
2015
交换语言的形式逻辑定义。 Zbl 1417.68206号
霍罗扎尔,富尔亚;弗洛里安·拉贝
1
2015
形式化数学的柔性算子。 Zbl 1304.68171号
霍罗扎尔,富尔亚;弗洛里安·拉贝;迈克尔·科尔哈斯
7
2014
面向HOL Light的知识管理。 Zbl 1304.68158号
塞萨里·卡利西克;弗洛里安·拉贝
6
2014
可扩展模块系统。 Zbl 1358.68283号
弗洛里安·拉贝;迈克尔·科尔哈斯
39
2013
OMDoc中的Mizar数学库:翻译和应用。 Zbl 1260.68375号
米尼亚·伊恩库;迈克尔·科尔哈斯;弗洛里安·拉贝;约瑟夫·乌尔班
19
2013
MMT API:通用MKM系统。 Zbl 1390.68626号
弗洛里安·拉贝
18
2013
结合模型和证明理论的逻辑框架。 兹伯利1326.03082
弗洛里安·拉贝
8
2013
逻辑框架的逻辑关系。 Zbl 1353.68252号
弗洛里安·拉贝;克里斯蒂娜·索贾科娃
2013
双形理论图的通用机器。 Zbl 1278.68267号
迈克尔·科尔哈斯;费利克斯·曼斯;弗洛里安·拉贝
2
2013
编译逻辑。 Zbl 1394.68071号
米哈伊·科德斯库;霍罗扎尔,富尔亚;Jakubauskas,艾瓦拉;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
1
2013
面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索贾科娃
8
2012
在语句级别扩展MKM格式。 Zbl 1278.68293号
霍罗扎尔,富尔亚;迈克尔·科尔哈斯;弗洛里安·拉贝
7
2012
用于正式数学库的查询语言。 Zbl 1359.68272号
弗洛里安·拉贝
4
2012
模型理论隐藏的证明理论解释。 Zbl 1278.68202号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
1
2012
的语义OpenPath(OpenPath)数学ML3. Zbl 1271.68221号
迈克尔·科尔哈斯;弗洛里安·拉贝
1
2012
项目摘要:逻辑地图集和集成器(LATIN)。 Zbl 1278.68285号
米哈伊·科德斯库;霍罗扎尔,富尔亚;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝
18
2011
数学基础形式化。 兹比尔1242.03031
米尼亚·伊恩库;弗洛里安·拉贝
12
2011
在类型理论逻辑框架中表示模型理论。 Zbl 1236.03027号
霍罗扎尔,富尔亚;弗洛里安·拉贝
9
2011
关于集成问题的基本观点。 Zbl 1278.68289号
弗洛里安·拉贝;迈克尔·科尔哈斯;克劳迪奥·萨塞尔多蒂·科恩
6
2011
Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1237.03007号
噢,史蒂夫;弗洛里安·拉贝
2
2011
智能计算机数学。2011年7月18日至23日在意大利贝蒂诺罗举行的2011年Calculemus第18届研讨会和2011年MKM第10届国际会议。诉讼程序。 Zbl 1218.68014号
2
2011
结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号
霍罗扎尔,富尔亚;阿林·艾科布;君士坦丁·朱科维奇;迈克尔·科尔哈斯;弗洛里安·拉贝
1
2011
走向大规模的MKM:模块化表示和可扩展的软件架构。 兹比尔1278.68297
迈克尔·科尔哈斯;弗洛里安·拉贝;维亚切斯拉夫·兹霍卢德夫
7
2010
将web服务集成到活动数学文档中。 Zbl 1247.68314号
贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝
5
2009
Martin-Löf的扩展类型理论的Kripke语义。 Zbl 1246.03022号
噢,史蒂夫;弗洛里安·拉贝
2
2009
解决100美元的模态逻辑挑战。 兹比尔1161.03302
弗洛里安·拉贝;彼得·普德拉克;杰夫·萨特克利夫;沈维娜
1
2009
在类型理论逻辑框架中表示模型理论。 Zbl 1291.03068号
霍罗扎尔,富尔亚;弗洛里安·拉贝
1
2009
THF0–用于高阶逻辑的TPTP语言的核心。 Zbl 1165.68447号
克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫
8
2008
动态数学文档的符号。 Zbl 1166.00304号
迈克尔·科尔哈斯;克里斯汀·米勒;弗洛里安·拉贝
7
2008
具有依赖类型的一阶逻辑。 Zbl 1222.03016号
弗洛里安·拉贝
2006
全部的 前5名

164位作者引用

35 弗洛里安·拉贝
31 迈克尔·科尔哈斯
10 塞萨里·卡利西克
8 霍罗扎尔,富尔亚
8 穆勒,丹尼斯
7 Pąk,卡罗尔
6 米尼亚·伊恩库
6 阿图尔·科尔尼·奥维茨
5 克里斯托夫·埃瓦尔德·本兹穆勒
5 蒂尔·莫萨科夫斯基
5 克劳迪奥·萨塞尔多蒂·科恩
4 雅克·卡雷特
4 米哈伊·科德斯库
4 Farmer,William M。
4 Thibault Gauthier
4 安德里亚·科尔哈塞
4 亚当·纳莫维奇
4 杰夫·萨特克利夫
乍得·布朗·爱德华
西蒙·福斯特
亚当·格拉博夫斯基
费卢西奥·圭迪
Aleksandr Vital’evich,基里洛维奇
英国利帕切夫。
奥尔加·阿韦尼罗夫纳·涅夫佐罗娃
约瑟夫·乌尔班
汤姆·威辛
2 格拉泽戈兹·班塞雷克
2 安德烈·鲍尔
2 卡加·贝尔奇奇
2 Czesław拜林斯基
2 拉斐尔·考德利埃
2 Besik Dundua
2 Elizarov,A.M。
2 君士坦丁·朱科维奇
2 特穆尔库西亚
2 克里斯托夫·兰格
2 罗马人Matuszewski
2 劳伦斯·查尔斯·保尔森
2 克里斯蒂娜·索贾科娃
2 沃尔夫拉姆·斯珀伯
2 泰斯,弗兰克
2 马卡里乌斯·温泽尔
2 泽达,弗兰克
1 罗宾·亚当斯
1 法比奥·阿莱西
1 索伦·奥尔
1 噢,史蒂夫
1 巴博萨、路易斯·索亚雷斯
1 休伯特·鲍迈斯特
1 若昂·菲利佩贝洛
1 马克·伯吉斯
1 穆罕默德·贝塔兹
1 乔纳斯·贝岑达尔
1 纪尧姆·伯勒
1 纪尧姆·伯里
1 内森·卡特(Nathan C.Carter)。
1 安德鲁·凯夫
1 蒋宗钜
1 扎卡里亚·奇哈尼
1 阿比舍克·丘格
1 阿尔贝托·齐法格利翁
1 阿德里安·德隆
1 保罗·奥利维尔,德哈耶
1 大卫·德拉哈耶
1 彼得罗·迪·贾南托尼奥
1 拉兹万·迪亚科内斯库
1 凯瑟琳·杜布瓦
1 恰兰·邓恩
1 阿诺德·菲埃茨克
1 利奥·弗雷塔斯
1 迈克尔·Fürsich
1 芙蓉岛、秀君
1 高基町五指
1 贾纳·吉塞瓦
1 德扬·基涅夫
1 米洛什·格里戈里奇。
1 皮埃尔·哈尔马格兰德
1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。
1 佩德罗·兰格尔·恩里克
1 奥利维尔·赫曼特
1 什特·潘·霍卢布
1 Furio Honsell
1 西蒙·胡贝尔
1 阿林·艾科布
1 君士坦丁·朱科夫什
1 安布罗斯·卡波西
1 彼得·科普克
1 Olexandr科诺瓦洛夫
1 托马斯·科普鲁奇
1 奥利弗·库茨
1 塞缪尔·莱利耶夫尔
1 玛丽娜·莱妮莎
1 罗伯特·刘易斯。
1 李俊毅·杰西
1 詹姆斯·利普顿(James B.Lipton)。
1 多米尼克·洛尔
1 安东·洛伦岑
1 罗朝晖
1 穆拉德·毛奇
…还有64位作者

按年份列出的引文