编辑配置文件（在新选项卡中打开） 安德烈·特雷布利克（b.1941 d.2013） 合著者距离 作者ID： trybulec.andrzej公司 发布日期： 安德烈·特雷布利克;A.Trybulec。 外部链接： MGP公司·维基数据·数据库许可证·ID参考 已编制索引的文档： 14出版物自1967年以来 1名编辑贡献 传记参考： 3出版物 合著者： 8位合著者具有11联合出版物 150位合作作者 全部的 前5名合著者 4 单作者的 6 彼得·鲁德尼基 2 克里斯托夫·施瓦茨韦勒 1 安德烈亚·阿斯佩蒂 1 格拉泽戈兹·班塞雷克 1 霍华德·布莱尔。 1 杰西·戴达克 1 川本保琳·内奥米 1 B.克拉库斯。 全部的 前5名系列 4 《科学公报》、《数学科学》、《天文学与物理学》 1 Studia Logica公司 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 符号计算杂志 1 自动推理杂志 1 RIMS Kokyuroku公司 1 Prace、Centrum obliczeniowe（CO）、Polska Akademia Nauk（PAN） 1 计算机科学课堂讲稿 全部的 前5名领域 9 计算机科学（68至XX） 三 一般拓扑结构（54至XX） 三 代数拓扑（55-XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 11出版物有被引用77中的次60份文件 引用人▼ 年份▼ Mizar系统中的交换代数。 Zbl 1074.68081号 彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德烈·特雷布利克 17 2001 关于基础良好的等价物。MIZAR的一个实验。 Zbl 0944.68168号 彼得·鲁德尼基;安德烈·特雷布利克 16 1999 可移动曲线的形状。 Zbl 0267.55016号 Trybulec，A。 8 1973 计算机辅助推理。 Zbl 0568.68070号 安德烈·特雷布利克;霍华德·布莱尔。 8 1985 关于形式化数学知识库的完整性。 Zbl 1022.68621号 彼得·鲁德尼基;安德烈·特雷布利克 8 2003 数学知识管理。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。 Zbl 1053.68003号 6 2004 MIZAR中的数学知识管理。 Zbl 0982.68136号 彼得·鲁德尼基;安德烈·特雷布利克 6 2001 关于将可移动形状分解为一维形状乘积的唯一性。 Zbl 0302.54008号 A.Trybulec。 三 1975 定期移动压实。 Zbl 0309.55011号 J.戴达克。;A.Trybulec。 2 1975 在Mizar中定义幂级数和多项式。 Zbl 0986.68133号 彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德烈·特雷布利克 2 2001 因果关系模型。 Zbl 0343.0203号 安德烈·特雷布利克 1 1976 数学知识管理。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。 Zbl 1053.68003号 6 2004 关于形式化数学知识库的完整性。 Zbl 1022.68621号 彼得·鲁德尼基;安德烈·特雷布利克 8 2003 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 0568.68070号 安德烈·特雷布利克;霍华德·布莱尔。 8 1985 因果关系模型。 Zbl 0343.0203号 安德烈·特雷布利克 1 1976 关于将可移动形状分解为一维形状乘积的唯一性。 Zbl 0302.54008号 A.Trybulec。 三 1975 定期移动压实。 Zbl 0309.55011号 J.戴达克。;A.Trybulec。 2 1975 可移动曲线的形状。 Zbl 0267.55016号 A.Trybulec。 8 1973 所有引用出版物 排名前五的出版物 全部的 前5名86位作者引用 7 约瑟夫·乌尔班 5 亚当·纳莫维奇 4 格拉泽戈兹·班塞雷克 4 达努塔Kołodziejczyk 4 阿图尔·科尔尼·奥维茨 4 Pąk，卡罗尔 三 Jose Divasón 三 亚当·格拉博夫斯基 三 塞萨里·卡利西克 2 杰苏斯·阿兰塞 2 Czesław拜林斯基 2 乔治·戈蒂尔 2 罗马人Matuszewski 2 彼得·鲁德尼基 2 瓦塔西，靖国 2 拉法·齐奥布罗 1 阿诺（Adam S.Arnaud）。 1 杰里米·阿维加德 1 阿诺·阿夫隆 1 回来了，拉尔夫·约翰 1 球，比利·乔 1 约翰·吉斯伯特·弗雷德里克·贝林芬特（Johan Gijsbertus Frederik Belinfante） 1 博加蒂，塞梅恩·安东诺维奇 1 布赫伯格，布鲁诺 1 保罗·凯恩斯 1 马可·布赖特·卡米纳蒂 1 超高，A。 1 雅克·卡雷特 1 阿明·查伊布 1 科恩、利隆 1 阿德里安·克雷西恩 1 多米尼克·迪特里希 1 英国伊斯塔夫。 1 Farmer，William M。 1 维塔利·维塔利维奇·费多丘克 1 芙蓉岛、秀君 1 弗朗索瓦·加里洛 1 简·赫尔曼·杰弗斯 1 帕维尔·S·格沃尔扬。 1 马吕斯·吉埃罗 1 杰里米·高 1 乔纳森·赫拉斯 1 米尼亚·伊恩库 1 都铎Jebelean 1 长尾加藤 1 塞巴斯蒂安·科赫 1 迈克尔·科尔哈斯 1 比塔·科尼科夫斯卡 1 科瓦奇，劳拉·伊尔迪科 1 特默尔库西亚 1 阿西亚·马布比 1 莱昂内尔·伊利·马曼 1 Martín-Mateos，Francisco-Jesüs 1 詹姆斯·麦金纳 1 麦地那-布洛，Inmaculada 1 彼得·明克 1 中川，Koji 1 中关村，Kazuhisa 1 阿列克西·诺沃德沃斯基 1 斯科特·欧文斯 1 Maris A.Ozols。 1 弗朗西斯科·帕洛莫·洛萨诺 1 维科·帕斯夸尔 1 劳伦斯·查尔斯·保尔森 1 弗洛里娜·皮罗伊 1 尼古拉·波波夫 1 弗洛里安·拉贝 1 劳伦斯·里多 1 朱迪特·罗布 1 詹姆斯·特德·朱·罗杰斯。 1 马库斯·罗森克兰兹 1 朱塞佩·罗索里尼 1 何塞·路易斯·鲁伊斯·雷纳 1 JoséManuel Rodríguez Sanjurjo 1 埃瓦里斯特·舒尔茨 1 克里斯托夫·施瓦茨韦勒 1 Shigenaka、Seigo 1 康拉德·斯林德 1 阿列克斯·斯米尔诺夫 1 雷内·蒂曼 1 安德烈·特雷布利克 1 维斯科基尔 1 Katsumi Wasaki 1 弗里克·威迪杰克 1 沃尔夫冈·温斯特伊格 1 大池山口 全部的 前5名18篇连载文章中引用 13 自动推理杂志 7 形式化数学 6 拓扑及其应用 三 符号计算杂志 三 应用逻辑杂志 2 计算的形式方面 2 应用非经典逻辑杂志 2 形式化推理杂志 1 微分方程杂志 1 苏联数学杂志 1 合成 1 美国数学学会会刊 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 数学科学杂志（纽约） 1 高阶和符号计算 1 美国数学学会公报 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在15个字段中引用 42 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 9 代数拓扑（55-XX） 8 一般拓扑结构（54至XX） 5 交换代数（13-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 三 总体主题；集合（00-XX） 2 数论（11-XX） 2 动力系统和遍历理论（37至XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 几个复变量和分析空间（32-XX） 1 整体分析，流形分析（58至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.