×
作者ID: 鲁德尼基·皮奥特最近由“Rudnicki,Piotr”撰写的zbMATH文章
发布日期: 彼得·鲁德尼基鲁德尼基,P。
编入索引的文档: 25出版物自1981年以来,包括2本书
合著者: 21位合著者具有24联合出版物
992合著作者

按年份列出的出版物

zbMATH Open中包含的引文

17出版物有被引用193中的次135份文件 引用人 年份
Mizar正式化的ATP和演示服务。 Zbl 1260.68380号
约瑟夫·厄本彼得·鲁德尼基杰夫·萨特克利夫
35
2013
一种从距离矩阵构造树的快速算法。 Zbl 0665.68052号
约瑟夫·卡伯森(Joseph C.Culberson)。彼得·鲁德尼基
28
1989
Mizar系统中的交换代数。 Zbl 1074.68081号
彼得·鲁德尼基克里斯托夫·施瓦茨韦勒安德热·特里布雷克
17
2001
授权Mizar数学库(MML)。 兹比尔1278.68290
杰西·阿拉玛迈克尔·科尔哈斯莱昂内尔·马曼亚当·纳莫维奇彼得·鲁德尼基约瑟夫·厄本
17
2011
关于基础良好的等价物。MIZAR的一个实验。 Zbl 0944.68168号
彼得·鲁德尼基安德热·特里布雷克
16
1999
MIZAR中的连续格概要。 Zbl 1064.68082号
格拉泽戈兹·班塞雷克彼得·鲁德尼基
15
2002
MML中的信息检索。 Zbl 1022.68610号
格拉泽戈兹·班塞雷克彼得·鲁德尼基
14
2003
明显的推断。 Zbl 0641.68141号
彼得·鲁德尼基
14
1987
关于形式化数学知识库的完整性。 Zbl 1022.68621号
彼得·鲁德尼基安德热·特里布雷克
8
2003
Mizar的Wiki:动机、考虑因素和初始原型。 Zbl 1286.68434号
约瑟夫·厄本杰西·阿拉玛彼得·鲁德尼基赫尔曼·格乌弗斯
8
2010
Mizar的替代骨料。 Zbl 1202.68385号
吉尔伯特·李彼得·鲁德尼基
7
2007
MIZAR中的数学知识管理。 Zbl 0982.68136号
彼得·鲁德尼基安德热·特里布雷克
6
2001
在Mizar中定义幂级数和多项式。 Zbl 0986.68133号
彼得·鲁德尼基克里斯托夫·施瓦茨韦勒安德热·特里布雷克
2
2001
一元字母表上的邮政通信问题。 Zbl 1041.03031号
鲁德尼基,P。G.J.沃金格。
2
2003
作为简单复数的简单图:图的Mycielskian。 Zbl 1292.05116号
彼得·鲁德尼基洛娜·斯图尔特
2
2012
MIZAR MSE底漆,草稿。 Zbl 0526.68028号
Krzysztof,Prazmowski彼得·鲁德尼基
1
1983
图表中的Mycielskian。 Zbl 1276.05046号
彼得·鲁德尼基洛娜·斯图尔特
1
2011
Mizar形式化的ATP和演示服务。 Zbl 1260.68380号
约瑟夫·厄本彼得·鲁德尼基杰夫·萨特克利夫
35
2013
作为简单复数的简单图:图的Mycielskian。 兹比尔1292.05116
彼得·鲁德尼基斯图尔特,洛娜
2
2012
授权Mizar数学库(MML)。 兹比尔1278.68290
杰西·阿拉玛迈克尔·科尔哈斯莱昂内尔·马曼亚当·纳莫维奇彼得·鲁德尼基约瑟夫·厄本
17
2011
图的Mycielskian。 Zbl 1276.05046号
彼得·鲁德尼基洛娜·斯图尔特
1
2011
Mizar的Wiki:动机、考虑因素和初始原型。 Zbl 1286.68434号
约瑟夫·厄本杰西·阿拉玛彼得·鲁德尼基赫尔曼·格乌弗斯
8
2010
Mizar的替代骨料。 Zbl 1202.68385号
吉尔伯特·李彼得·鲁德尼基
7
2007
MML中的信息检索。 Zbl 1022.68610号
格拉泽戈兹·班塞雷克彼得·鲁德尼基
14
2003
关于形式化数学知识库的完整性。 Zbl 1022.68621号
彼得·鲁德尼基安德热·特里布雷克
8
2003
一元字母表上的邮政通信问题。 Zbl 1041.03031号
鲁德尼基,P。G.J.沃金格。
2
2003
MIZAR中的连续格概要。 Zbl 1064.68082号
格拉泽戈兹·班塞雷克彼得·鲁德尼基
15
2002
Mizar系统中的交换代数。 Zbl 1074.68081号
彼得·鲁德尼基克里斯托夫·施瓦茨韦勒安德热·特里布雷克
17
2001
MIZAR中的数学知识管理。 Zbl 0982.68136号
彼得·鲁德尼基安德热·特里布雷克
6
2001
在Mizar中定义幂级数和多项式。 Zbl 0986.68133号
彼得·鲁德尼基克里斯托夫·施瓦茨韦勒安德热·特里布雷克
2
2001
关于基础良好的等价物。MIZAR的一个实验。 Zbl 0944.68168号
彼得·鲁德尼基安德热·特里布雷克
16
1999
一种从距离矩阵构造树的快速算法。 Zbl 0665.68052号
约瑟夫·卡伯森(Joseph C.Culberson)。彼得·鲁德尼基
28
1989
明显的推断。 Zbl 0641.68141号
彼得·鲁德尼基
14
1987
MIZAR MSE底漆,草稿。 Zbl 0526.68028号
Krzysztof,Prazmowski彼得·鲁德尼基
1
1983
全部的 前5名

171位作者引用

18 约瑟夫·厄本
14 塞萨里·卡利西克
10 亚当·纳莫维奇
8 亚当·格拉博夫斯基
8 阿图尔·科尔尼·奥维茨
8 Pąk,卡罗尔
5 贾斯敏·克里斯蒂安·布兰切特
4 杰西·阿拉玛
4 格拉泽戈兹·班塞雷克
4 巴诺伊,阿莫茨
4 塞巴斯蒂安·科赫
4 劳伦斯·查尔斯·保尔森
4 大卫·佩勒
4 德罗·拉维茨
Jose Divasón
莫尔·佩里
彼得·鲁德尼基
克劳迪奥·萨塞尔多蒂·科恩
Sacha C.瓦隆。
维斯科基尔
2 安藤,Kazutoshi
2 杰苏斯·阿兰塞
2 亚历山大·本特坎普
2 Böhnlein,托尼
2 Czesław,拜林斯基
2 丹尼尔·卡坦扎罗
2 罗兰·科希托
2 简·赫尔曼·杰弗斯
2 乔治·戈蒂尔
2 费卢西奥·圭迪
2 乔纳森·赫拉斯
2 凯萨琳娜·胡贝尔(Katharina T.Huber)。
2 尤尼岩马沙
2 贾尼契奇,普雷德拉格
2 丹尼尔·库尔温
2 彼得·兰米奇
2 莱昂内尔·伊利·马曼
2 罗马人Matuszewski
2 文森特·莫尔顿。
2 中关村,Kazuhisa
2 朱利安·纳布
2 托比亚斯·尼普科
2 弗洛里安·拉贝
2 佐藤,科基
2 Damian Sawicki
2 塞菲加·雷扎
2 杰夫·萨特克利夫
2 索菲·托雷特
2 佩塔·武克米罗维奇
2 乌韦·沃尔德曼
2 Tandy J.沃诺。
2 瓦塔西,靖国
2 弗里克·威迪杰克
2 詹伯华
2 拉法·齐奥布罗
1 拉丁·阿夫沙尔
1 易卜拉欣·阿勒·达耶尔
1 穆斯塔法·奥奇奇
1 罗伯托·阿林希埃里
1 安德烈亚·阿斯佩蒂
1 杰里米·阿维加德
1 回来了,拉尔夫·约翰
1 弗拉基米尔·巴塔格尔
1 约翰·吉斯伯特·弗雷德里克·贝林芬特(Johan Gijsbertus Frederik Belinfante)
1 马克·贝泽姆
1 弗洛里安·巴洛赫(Florian Blöchl)
1 Böhme,萨沙
1 布林克,卡斯珀
1 乍得·布朗·爱德华
1 保罗·凯恩斯
1 马可·布赖特·卡米纳蒂
1 阿明·查伊布
1 钟,范
1 马尔科·迪萨马
1 多米尼克·迪特里希
1 Cvetan Dunchev公司
1 马丁·法拉赫
1 马蒂亚斯·弗勒里
1 秀haru Furushima
1 弗朗索瓦·加里洛
1 加勒特,马克
1 Thibault Gauthier
1 马吕斯·吉埃罗
1 迈克尔·杜鲁门·古德里奇
1 杰里米·高
1 格雷厄姆,罗纳德·刘易斯
1 大卫·格林纳韦
1 伊兰·格罗诺
1 关勇
1 汉森,皮埃尔
1 马克西米利安·哈斯贝克。
1 木本孝美
1 Sven Herrmann先生
1 阿兰·赫兹
1 汤姆·M·海斯克斯。
1 Hirai、Hiroshi
1 米尼亚·伊恩库
1 Atsushi Imiya
1 Jakubův,简
1 莱因哈德·卡勒
…还有71位作者

按年份列出的引文