编辑配置文件(在新选项卡中打开) 克里斯托夫·施瓦茨韦勒 合著者距离 作者ID: 施瓦茨韦勒·克里斯托普 发布方式: 克里斯托夫·施瓦茨韦勒 已编制索引的文档: 32出版物自1997年以来,包括1本书 合著者: 6位合著者具有15联合出版物 55位合作作者 全部的 前5名合著者 17 单作者的 6 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 4 亚当·格拉博夫斯基 三 阿图尔·科尔尼·奥维茨 2 彼得·鲁德尼基 2 安德烈·特雷布利克 1 萨拉·布尔戈亚 系列 20 形式化数学 1 符号计算杂志 1 数学与人工智能年鉴 全部的 前5名领域 23 计算机科学(68至XX) 16 场论和多项式(12-XX) 7 数学逻辑和基础(03-XX) 5 交换代数(13-XX) 2 数论(11-XX) 2 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 1 实际功能(26年X月X日) 1 复变量的函数(30年XX月) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用103中的次64文件 引用人▼ 年份▼ Mizar系统中的交换代数。 Zbl 1074.68081号 彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德热·特赖布雷克 18 2001 修订是维护数学知识库的基本工具。 Zbl 1202.68465号 亚当·格拉博夫斯基;克里斯托弗·施瓦茨韦勒 13 2007 将数学方言翻译成知识库。 Zbl 1151.68663号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 9 2006 关于数学知识库中的复制。 Zbl 1286.68429号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 9 2010 现场扩建和Kronecker的施工。 Zbl 1433.68584号 克里斯托夫·施瓦茨韦勒 7 2020 第一个同构定理和环的其他性质。 Zbl 1316.13003号 阿图尔·科尔尼·奥维茨;克里斯托夫·施瓦茨韦勒 6 2014 突出数字。 Zbl 1352.11010号 克里斯托夫·施瓦茨韦勒 5 2014 多项式的根和代数闭域。 Zbl 1381.13004号 克里斯托夫·施瓦茨韦勒 5 2017 戒指的特征。优质田地。 Zbl 1334.13003号 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨 三 2015 关于\(F[X]/<p>\)上多项式的根。 Zbl 1432.68544号 克里斯托夫·施瓦茨韦勒 三 2019 Gröbner bases–Mizar系统中的理论完善。 Zbl 1151.68673号 克里斯托夫·施瓦茨韦勒 三 2006 网络稳定性测试。 Zbl 1293.30016号 阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 三 2013 重命名和Kronecker构造的无条件形式化。 Zbl 07488865号 克里斯托夫·施瓦茨韦勒 三 2020 有理函数简介。 Zbl 1285.26027号 克里斯托夫·施瓦茨韦勒 2 2012 粗略的概念分析——Mizar系统中的理论发展。 Zbl 1108.68590号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 2 2004 多项式环的一些代数性质。 Zbl 1357.12006年 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨;阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 2016 在Mizar中定义幂级数和多项式。 Zbl 0986.68133号 彼得·鲁德尼基;克里斯托弗·施瓦茨韦勒;安德烈·特雷布利克 2 2001 代数扩展。 Zbl 1473.68211号 克里斯托夫·施瓦茨韦勒;阿格涅斯卡·罗文斯卡·施瓦兹韦勒 2 2021 拆分字段。 Zbl 1483.68494号 克里斯托夫·施瓦茨韦勒 2 2021 关于单态和子域。 Zbl 1432.68545号 克里斯托夫·施瓦茨韦勒 1 2019 有序的环和字段。 Zbl 1365.12006年 克里斯托夫·施瓦茨韦勒 1 2017 关于建立稳定性理论的知识库。 Zbl 1286.68433号 阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 1 2010 正式的真实字段。 Zbl 1401.12003号 克里斯托弗·施瓦茨韦勒 1 2017 代数扩展。 Zbl 1473.68211号 克里斯托弗·施瓦茨韦勒;阿格涅斯卡·罗文斯卡·施瓦兹韦勒 2 2021 拆分字段。 Zbl 1483.68494号 克里斯托夫·施瓦茨韦勒 2 2021 现场扩建和Kronecker的施工。 Zbl 1433.68584号 克里斯托夫·施瓦茨韦勒 7 2020 重命名和Kronecker构造的无条件形式化。 Zbl 07488865号 克里斯托夫·施瓦茨韦勒 三 2020 关于\(F[X]/<p>\)上多项式的根。 Zbl 1432.68544号 克里斯托夫·施瓦茨韦勒 三 2019 关于单态和子域。 Zbl 1432.68545号 克里斯托夫·施瓦茨韦勒 1 2019 多项式的根和代数闭域。 Zbl 1381.13004号 克里斯托夫·施瓦茨韦勒 5 2017 有序的环和字段。 Zbl 1365.12006年 克里斯托夫·施瓦茨韦勒 1 2017 正式的真实字段。 Zbl 1401.12003号 克里斯托夫·施瓦茨韦勒 1 2017 多项式环的一些代数性质。 Zbl 1357.12006年 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨;阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 2016 戒指的特征。优质田地。 Zbl 1334.13003号 克里斯托夫·施瓦茨韦勒;科尔尼沃维奇,阿图尔 三 2015 第一个同构定理和环的其他性质。 Zbl 1316.13003号 科尔尼沃维奇,阿图尔;克里斯托夫·施瓦茨韦勒 6 2014 齿数。 Zbl 1352.11010号 克里斯托夫·施瓦茨韦勒 5 2014 网络稳定性测试。 Zbl 1293.30016号 阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 三 2013 有理函数简介。 Zbl 1285.26027号 克里斯托夫·施瓦茨韦勒 2 2012 关于数学知识库中的复制。 Zbl 1286.68429号 亚当·格拉博夫斯基;克里斯托弗·施瓦茨韦勒 9 2010 关于建立稳定性理论的知识库。 Zbl 1286.68433号 阿格涅斯卡·罗温斯卡·施瓦兹韦勒;克里斯托夫·施瓦茨韦勒 1 2010 修订是维护数学知识库的基本工具。 Zbl 1202.68465号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 13 2007 将数学方言翻译成知识库。 Zbl 1151.68663号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 9 2006 Gröbner bases–Mizar系统中的理论完善。 Zbl 1151.68673号 克里斯托夫·施瓦茨韦勒 三 2006 粗略的概念分析——Mizar系统中的理论发展。 Zbl 1108.68590号 亚当·格拉博夫斯基;克里斯托夫·施瓦茨韦勒 2 2004 Mizar系统中的交换代数。 Zbl 1074.68081号 彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德热·特赖布雷克 18 2001 在Mizar中定义幂级数和多项式。 Zbl 0986.68133号 彼得·鲁德尼基;克里斯托夫·施瓦茨韦勒;安德烈·特雷布利克 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名48位作者引用 14 克里斯托夫·施瓦茨韦勒 12 亚当·格拉博夫斯基 9 阿图尔·科尔尼·奥维茨 8 亚当·纳莫维奇 6 Pąk,卡罗尔 6 瓦塔西,靖国 三 格拉泽戈兹·班塞雷克 三 Jose Divasón 2 杰苏斯·阿兰塞 2 Czesław拜林斯基 2 罗兰·科希托 2 乔治·戈蒂尔 2 亚历山大·马列茨基 2 罗曼·马图舍夫斯基 2 劳伦斯·查尔斯·保尔森 2 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 约瑟夫·乌尔班 1 良田阿达奇 1 安德烈亚·博尔赫斯·艾弗拉尔 1 毛里西奥·阿亚拉·林科恩 1 乍得·布朗·爱德华 1 萨拉·布尔戈亚 1 雅克·卡雷特 1 德利马,塔纳拉·阿里利 1 保罗·埃米利奥·德维莱纳 1 诺博鲁恩多 1 藤原浩 1 安德烈·路易斯·加尔迪诺 1 弗朗索瓦·加里洛 1 乔纳森·赫拉斯 1 Cezary卡利西克 1 多米尼克·库莱斯扎 1 阿西亚·马布比 1 Martín-Mateos,Francisco-Jesüs 1 麦地那-布洛,Inmaculada 1 罗素·奥康纳 1 弗朗西斯科·帕洛莫·洛萨诺 1 维科·帕斯夸尔 1 拉多斯·瓦·皮利泽克 1 劳伦斯·里多 1 彼得·鲁德尼基 1 何塞·路易斯·鲁伊斯·雷纳 1 Damian Sawicki 1 Sielwiesiuk,Michał 1 雷内·蒂曼 1 安德烈·特雷布利克 1 吉日·维斯科奇尔 1 Hiroaki山本 全部的 前5名9篇连载文章中引用 33 形式化数学 8 自动推理杂志 三 符号计算杂志 1 计算的形式化方面 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 计算机基础理论 1 计算机语言、系统和结构 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名19个领域引用 54 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 13 交换代数(13-XX) 10 场论和多项式(12-XX) 6 数论(11-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 三 阶、格、有序代数结构(06-XX) 三 实际功能(26年X月X日) 2 结合环与代数(16-XX) 2 群论与推广(20-XX) 1 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 范畴理论;同调代数(18-XX) 1 复变量的函数(30年XX月) 1 几何图形(51至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文