编辑配置文件(在新选项卡中打开) 彼得·鲁德尼基 合著者距离 作者ID: 鲁德尼基·皮奥特 发布日期: 彼得·鲁德尼基;鲁德尼基,P。 编入索引的文档: 25出版物自1981年以来,包括2本书 合著者: 21位合著者具有24联合出版物 992合著作者 全部的 前5名合著者 1 单作者的 6 安德热·特里布雷克 三 德拉本特,Włodzimierz 三 约瑟夫·厄本 2 杰西·阿拉玛 2 格拉泽戈兹·班塞雷克 2 克里斯托夫·施瓦茨韦勒 2 罗娜·斯图尔特。 1 阿诺(Adam S.Arnaud)。 1 约瑟夫·卡伯森(Joseph C.Culberson)。 1 简·赫尔曼·杰弗斯 1 H.James胡佛 1 迈克尔·科尔哈斯 1 吉尔伯特·李 1 雅塞克·莱斯齐洛夫斯基 1 李欣 1 莱昂内尔·伊利·马曼 1 亚当·纳莫维奇 1 Prażmowski,Krzysztof 1 杰夫·萨特克利夫 1 安德烈·韦伯 1 格哈德·沃金格 全部的 前5名系列 4 自动推理杂志 三 形式化数学 2 信息学报 1 信息处理信件 1 代数杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 符号计算杂志 1 应用数学快报 全部的 前5名字段 21 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 非结合环和代数(17-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名30篇连载文章中引用 33 自动推理杂志 15 形式化数学 4 符号计算杂志 三 信息处理信件 三 计算的形式方面 2 理论计算机科学 2 算法 2 欧洲运筹学杂志 2 国际计算机数学杂志 2 应用逻辑杂志 2 计算机科学中的数学 1 离散应用数学 1 离散数学 1 计算机与系统科学杂志 1 网络 1 合成 1 分类杂志 1 信息与计算 1 随机结构与算法 1 线性代数及应用 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 组合优化期刊 1 高阶和符号计算 1 RAIRO公司。运筹学 1 萨达纳 1 计算机语言、系统和结构 1 数学物理进展 1 ACM算法事务 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在24个字段中引用 113 计算机科学(68至XX) 31 数学逻辑和基础(03-XX) 20 组合数学(05-XX) 8 运筹学、数学规划(90-XX) 8 生物学和其他自然科学(92-XX) 6 阶、格、有序代数结构(06-XX) 4 总体主题;集合(00-XX) 4 交换代数(13-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 三 数论(11-XX) 2 历史和传记(01-XX) 2 几何图形(51至XX) 2 一般拓扑结构(54至XX) 2 代数拓扑(55-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 1 几个复变量和分析空间(32-XX) 1 微分几何(53至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 光学、电磁理论(78-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文