编辑配置文件（在新选项卡中打开） Czesław拜林斯基 合著者距离 作者ID： 拜林斯基·切斯劳 发布方式： Czesław拜林斯基;Czesław拜林斯基 外部链接： MGP公司 已编制索引的文档： 6出版物自2004年起 合著者： 10位合著者具有6联合出版物 134位合作作者 全部的 前5名合著者 0 单作者的 4 亚当·纳莫维奇 三 阿图尔·科尔尼·奥维茨 2 格拉泽戈兹·班塞雷克 2 亚当·格拉博夫斯基 2 罗马人Matuszewski 2 Pąk，卡罗尔 1 杰西·阿拉玛 1 约瑟夫·乌尔班 1 Katsumi Wasaki 1 广岛山崎 系列 1 自动推理杂志 1 形式化数学 领域 5 计算机科学（68至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用279中的次197文件 引用人▼ 年份▼ Mizar：最先进和超越。 Zbl 1417.68201号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班 140 2015 Mizar数学库在Mizar交互式证明开发中的作用。 Zbl 1433.68530号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;科尔尼沃维奇，阿图尔;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔 116 2018 使用属性和要求改进Mizar文本。 Zbl 1108.68598号 亚当·纳莫维奇;Czesław拜林斯基 18 2004 解析Mizar的新发展。 Zbl 1360.68743号 Czesław拜林斯基;杰西·阿拉玛 5 2012 Mizar数学库在Mizar交互式证明开发中的作用。 Zbl 1433.68530号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔 116 2018 Mizar：最先进和超越。 Zbl 1417.68201号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk，卡罗尔;约瑟夫·乌尔班 140 2015 解析Mizar的新发展。 Zbl 1360.68743号 Czesław，拜林斯基;杰西·阿拉玛 5 2012 使用属性和要求改进Mizar文本。 Zbl 1108.68598号 亚当·纳莫维奇;Czesław拜林斯基 18 2004 所有引用出版物 前5名被引用出版物 全部的 前5名85位作者引用 24 阿图尔·科尔尼·奥维茨 21 罗兰·科希托 19 中关村，Kazuhisa 19 Pąk，卡罗尔 19 Yasunai Shidama 18 亚当·格拉博夫斯基 15 塞巴斯蒂安·科赫 14 克里斯托夫·施瓦茨韦勒 12 亚当·纳莫维奇 11 诺博鲁恩多 11 福田，Yuichi 9 冈崎弘之 8 塞萨里·卡利西克 8 瓦塔西，靖国 5 伊万诺夫，列夫根 5 Nikitchenko、Mykola S。 5 约瑟夫·乌尔班 5 广岛山崎 4 齐奥布罗，拉法 三 格拉泽戈兹·班塞雷克 三 彼得·耶格尔 三 高石三井 三 宫岛庆一 三 成田、庆子 三 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 马钦·阿齐维茨 2 乍得·布朗·爱德华 2 Czesław拜林斯基 2 亚德里安·贾兹扎克 2 亚历山大·马列茨基 2 罗曼·马图舍夫斯基 2 亚历山大·尼尔森（Alexander M.Nelson）。 2 Damian Sawicki 2 Katsumi Wasaki 1 乌里·亚伯拉罕 1 良田阿达奇 1 雷纳尔德·阿弗尔德 1 杰西·阿拉玛 1 拉斯·布劳布罗克 1 萨拉·布尔戈亚 1 马可·布赖特·卡米纳蒂 1 陈晓宇 1 普尔泽米斯劳·乔杰基 1 卡雷尔·切瓦洛夫斯克 1 西里尔·科恩 1 库卡斯·扎伊卡 1 德拉赫尚、法扎内赫 1 恰兰·邓恩 1 伊恩·福特。 1 藤原浩 1 芙蓉岛、秀君 1 Thibault Gauthier 1 马吕斯·吉埃罗 1 日本里库县花冈 1 Jakubův，简 1 Fairouz D.卡马雷丁。 1 川本保琳·内奥米 1 多米尼克·库莱斯扎 1 昆查尔，Ondřej 1 沃伊切赫，库希米罗夫斯基 1 长尾，Koh-ichi 1 托比亚斯·尼普科 1 苍井大辅 1 劳伦斯·查尔斯·保尔森 1 拉多斯·瓦·皮利泽克 1 安德烈·波佩斯库 1 弗洛里安·拉贝 1 朱塞佩·罗索里尼 1 科林·罗斯冈 1 Shigenaka、Seigo 1 帅、昊天 1 威弗里德·西格 1 Micha Sielwiesiuk 1 马丁·苏达 1 达里奥什·苏罗威克 1 奥尔勒·托尔斯滕森 1 王东明 1 Tjark韦伯 1 乔·B·威尔斯。 1 马卡里乌斯·温泽尔 1 沃尔夫冈·温斯特伊格 1 大池山口 1 Hiroaki山本 1 杨靖 1 张，廖 全部的 前5名6篇连载文章中引用 154 形式化数学 16 自动推理杂志 2 符号计算杂志 1 计算的形式方面 1 计算机基础理论 1 应用逻辑杂志 全部的 前5名在28个字段中引用 135 计算机科学（68至XX） 87 数学逻辑和基础（03-XX） 27 数论（11-XX） 15 场论和多项式（12-XX） 13 组合数学（05-XX） 13 实际功能（26年X月X日） 13 几何图形（51至XX） 12 交换代数（13-XX） 10 算子理论（47-XX） 8 阶、格、有序代数结构（06-XX） 8 线性代数和多线性代数；矩阵理论（15-XX） 8 功能分析（46倍X倍） 8 一般拓扑结构（54至XX） 5 测量和集成（28-XX） 4 群论与推广（20-XX） 4 序列、级数、可和性（40-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 总体主题；集合（00-XX） 三 代数几何（14-XX） 三 系统论；控制（93至XX） 三 信息和通信理论，电路（94-XX） 2 概率论与随机过程（60-XX） 1 结合环与代数（16-XX） 1 拓扑群、李群（22日至XX日） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 数学教育（97-XX） 按年份列出的引文