编辑配置文件(在新选项卡中打开) 阿图尔·科尔尼·奥维茨 合著者距离 作者ID: 科尼洛维奇·阿图 发布日期: 阿图尔·科尔尼·奥维茨;阿图尔·科尼洛维奇;科尔尼洛维奇(A.Kornilowicz)。 更多。。。较少的 外部链接: MGP公司·ORCID公司 已编制索引的文档: 50种出版物自2002年起 1作为编辑的贡献 合著者: 27位合著者具有37联合出版物 332合著作者 全部的 前5名合著者 14 单作者的 8 亚当·纳莫维奇 7 伊万诺夫,列夫根 7 Nikitchenko、Mykola S。 6 亚当·格拉博夫斯基 5 Pąk,卡罗尔 4 Yasunai Shidama 三 吉尔·奥德玛 三 格拉泽戈兹·班塞雷克 三 Czesław拜林斯基 三 亚历山德罗·西马蒂 三 克里斯托夫·施瓦茨韦勒 三 罗伯托·塞巴斯蒂安 2 皮耶乔治·贝尔托利 2 罗马人Matuszewski 2 宫岛庆一 2 成田,惠子 2 马可·里卡迪 1 马可·布赖特·卡米纳蒂 1 戈林斯基,马西耶 1 亚德里安·贾兹扎克 1 Hidetsune小林 1 安德烈·克里沃拉普 1 弗洛里安·拉贝 1 科林·罗斯冈 1 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 1 达里奥什·苏罗威克 1 约瑟夫·厄本 系列 35 形式化数学 4 自动推理杂志 1 摩尔多瓦计算机科学杂志 1 计算机语言、系统和结构 1 形式化推理杂志 全部的 前5名字段 28 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 9 数论(11-XX) 5 场论和多项式(12-XX) 4 实际功能(26年X月X日) 2 交换代数(13-XX) 2 范畴理论;同调代数(18-XX) 2 序列、级数、可和性(40-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 1 非结合环和代数(17-XX) 1 群论与推广(20-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 流形和细胞复合体(57至XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用527中的次284文件 引用人▼ 年份▼ Mizar:最先进和超越。 Zbl 1417.68201号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔;约瑟夫·厄本 118 2015 Mizar数学库在Mizar交互式证明开发中的作用。 Zbl 1433.68530号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 94 2018 四十年{米扎尔}. 前言。 Zbl 1336.00111号 73 2015 简言之,Mizar。 Zbl 1211.68369号 亚当·格拉博夫斯基;阿图尔·科尼洛维奇;亚当·纳莫维奇 54 2010 Mizar简介。 Zbl 1252.68262号 亚当·纳莫维奇;阿图尔·科尔尼·奥维茨 28 2009 简单命名的复合值主格数据——定义和基本操作。 Zbl 1401.68200号 伊万诺夫,列夫根;尼基琴科、米科拉;安德烈·克里沃拉普;阿图尔·科尔尼·奥维茨 18 2017 关于Mizar中的重写规则。 Zbl 1260.68376号 阿图尔·科尔尼·奥维茨 17 2013 基于SAT的布尔和线性数学命题公式求解方法。 Zbl 1072.68562号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂安 16 2002 定时系统的有界模型检验。 Zbl 1037.68549号 奥德马尔,G。;Cimatti,A。;科尔尼洛维奇(A.Kornilowicz)。;R·塞巴斯蒂亚尼。 14 2002 在Mizar中实现程序形式化的合成命名方法。 Zbl 1390.68183号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 12 2018 部分谓词的Kleene代数。 Zbl 1401.03106号 阿图尔·科尔尼·奥维茨;伊万诺夫,列夫根;尼基琴科、米科拉 10 2018 Mizar的弯曲连接词。 Zbl 1387.68207号 阿图尔·科尔尼·奥维茨 9 2015 Mizar中省略的初步实验。 Zbl 1360.68755号 阿图尔·科尔尼·奥维茨 7 2012 第一个同构定理和环的其他性质。 Zbl 1316.13003号 阿图尔·科尔尼·奥维茨;克里斯托夫·施瓦茨韦勒 6 2014 拓扑群的基本群的交换性。 Zbl 1298.55008号 阿图尔·科尔尼·奥维茨 6 2013 米扎尔的明确扩张。为了纪念计算机形式化的先驱安德烈·特雷布利克(Andrzej Trybulec)。 Zbl 1356.68192号 阿图尔·科尔尼·奥维茨 5 2015 关于实函数连续性的更多内容。 Zbl 1276.26006号 成田、庆子;阿图尔·科尼洛维奇;Yasunari志达玛 4 2011 巴塞尔问题-初步措施。 Zbl 1377.11092号 阿图尔·科尔尼·奥维茨;Pąk,卡罗尔 三 2017 戒指的特征。优质田地。 Zbl 1334.13003号 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨 三 2015 关于未解释数据上的算法代数和规范。 Zbl 1422.68033号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 关于单名复值主格数据上的算法代数。 Zbl 1422.68034号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 Floyd-Hoare逻辑对部分谓词的扩展的推理系统。 Zbl 1422.03059号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 从\(\mathbb R\)到\(n\)维实赋范空间的函数的黎曼积分。 Zbl 1276.26026号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 2 2012 增强米扎尔谓词具有及物性的文本。 Zbl 1344.68206号 阿图尔·科尔尼·奥维茨 2 2016 (n)-球的基本群。 Zbl 1276.57004号 马可·里卡迪;阿图尔·科尔尼·奥维茨 2 2012 多项式环的一些代数性质。 Zbl 1357.12006年 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨;阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 2016 GCD算法的部分正确性。 Zbl 1422.11240号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 2 2018 阶乘算法的部分正确性。 Zbl 1432.68536号 亚德里安·贾兹扎克;阿图尔·科尔尼·奥维茨 1 2019 伪正则公式是经典的。 Zbl 1352.03013号 马可·B·卡米纳。;阿图尔·科尔尼·奥维茨 1 2014 集成布尔运算和数学求解:基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂安 1 2002 从\(mathbb R\)到\(mathcal R^n\)的可微函数。 Zbl 1276.26034号 成田、庆子;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 巴塞尔问题。 Zbl 1377.11095号 Pąk,卡罗尔;阿图尔·科尔尼·奥维茨 1 2017 初等数论问题。二、。 Zbl 1473.68209号 阿图尔·科尔尼·奥维茨;达里奥什·苏罗威克 1 2021 多项式在实数上的可微性。 Zbl 1365.26003号 阿图尔·科尔尼·奥维茨 1 2017 刘维尔数简介。 Zbl 1365.11090号 亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨 1 2017 Borsuk-Ulam定理。 Zbl 1452.55002号 阿图尔·科尔尼·奥维茨;马可·里卡迪 1 2012 赋范线性空间上的收缩映射。 Zbl 1446.47034号 宫岛惠一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 类别中的产品没有唯一的cod和dom。 Zbl 1301.18007号 阿图尔·科尔尼·奥维茨 1 2012 初等数论问题。二、。 Zbl 1473.68209号 阿图尔·科尔尼·奥维茨;达里奥什·苏罗威克 1 2021 阶乘算法的部分正确性。 Zbl 1432.68536号 亚德里安·贾兹扎克;阿图尔·科尔尼·奥维茨 1 2019 Mizar数学库在Mizar交互式证明开发中的作用。 Zbl 1433.68530号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔 94 2018 在Mizar中实现程序形式化的合成命名方法。 Zbl 1390.68183号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 12 2018 偏谓词的Kleene代数。 Zbl 1401.03106号 阿图尔·科尔尼·奥维茨;伊万诺夫,列夫根;尼基琴科、米科拉 10 2018 关于未解释数据上的算法代数和规范。 Zbl 1422.68033号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 关于单名复值主格数据上的算法代数。 Zbl 1422.68034号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 Floyd-Hoare逻辑对部分谓词的扩展的推理系统。 Zbl 1422.03059号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 三 2018 GCD算法的部分正确性。 Zbl 1422.11240号 伊万诺夫,列夫根;阿图尔·科尔尼·奥维茨;尼基琴科、米科拉 2 2018 简单命名的复合值主格数据——定义和基本操作。 Zbl 1401.68200号 伊万诺夫,列夫根;尼基琴科、米科拉;安德烈·克里沃拉普;阿图尔·科尔尼·奥维茨 18 2017 巴塞尔问题-初步措施。 Zbl 1377.11092号 阿图尔·科尔尼·奥维茨;Pąk,卡罗尔 三 2017 巴塞尔问题。 Zbl 1377.11095号 Pąk,卡罗尔;阿图尔·科尔尼·奥维茨 1 2017 实多项式的可微性。 Zbl 1365.26003号 阿图尔·科尔尼·奥维茨 1 2017 刘维尔数简介。 Zbl 1365.11090号 亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨 1 2017 增强米扎尔谓词具有及物性的文本。 Zbl 1344.68206号 阿图尔·科尔尼·奥维茨 2 2016 多项式环的一些代数性质。 兹比尔1357.12006 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨;阿格涅斯卡·罗温斯卡·施瓦兹韦勒 2 2016 Mizar:最先进和超越。 Zbl 1417.68201号 格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗马人Matuszewski;亚当·纳莫维奇;Pąk,卡罗尔;约瑟夫·厄本 118 2015 四十年{米扎尔}. 前言。 Zbl 1336.00111号 73 2015 Mizar的弯曲连接词。 Zbl 1387.68207号 阿图尔·科尔尼·奥维茨 9 2015 米扎尔的明确扩张。为了纪念计算机形式化的先驱安德烈·特雷布利克(Andrzej Trybulec)。 Zbl 1356.68192号 阿图尔·科尔尼·奥维茨 5 2015 戒指的特征。优质田地。 兹比尔1334.13003 克里斯托夫·施瓦茨韦勒;阿图尔·科尔尼·奥维茨 三 2015 第一个同构定理和环的其他性质。 Zbl 1316.13003号 阿图尔·科尔尼·奥维茨;克里斯托夫·施瓦茨韦勒 6 2014 伪正则公式是经典的。 Zbl 1352.03013号 马可·B·卡米纳。;阿图尔·科尔尼·奥维茨 1 2014 关于Mizar中的重写规则。 Zbl 1260.68376号 阿图尔·科尔尼·奥维茨 17 2013 拓扑群的基本群的交换性。 Zbl 1298.55008号 阿图尔·科尔尼·奥维茨 6 2013 Mizar中省略的初步实验。 兹比尔1360.68755 阿图尔·科尔尼·奥维茨 7 2012 从(mathbb R)到(n)维实赋范空间的函数的黎曼积分。 Zbl 1276.26026号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunai Shidama 2 2012 (n)-球的基本群。 Zbl 1276.57004号 马可·里卡迪;阿图尔·科尔尼·奥维茨 2 2012 从\(mathbb R\)到\(mathcal R^n\)的可微函数。 Zbl 1276.26034号 成田、庆子;阿图尔·科尔尼·奥维茨;Yasunai Shidama 1 2012 Borsuk-Ulam定理。 Zbl 1452.55002号 阿图尔·科尔尼·奥维茨;马可·里卡迪 1 2012 赋范线性空间上的收缩映射。 Zbl 1446.47034号 宫岛庆一;阿图尔·科尔尼·奥维茨;Yasunari志达玛 1 2012 类别中的产品没有唯一的cod和dom。 Zbl 1301.18007号 阿图尔·科尔尼·奥维茨 1 2012 关于实函数连续性的更多内容。 Zbl 1276.26006号 成田、庆子;阿图尔·科尼洛维奇;Yasunai Shidama 4 2011 简言之,Mizar。 Zbl 1211.68369号 亚当·格拉博夫斯基;阿图尔·科尔尼洛维奇;亚当·纳莫维奇 54 2010 Mizar简介。 Zbl 1252.68262号 亚当·纳莫维奇;阿图尔·科尔尼·奥维茨 28 2009 基于SAT的布尔和线性数学命题公式求解方法。 Zbl 1072.68562号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂安 16 2002 定时系统的有界模型检验。 Zbl 1037.68549号 奥德马尔,G。;A.西马蒂。;科尔尼洛维奇(A.Kornilowicz)。;R·塞巴斯蒂亚尼。 14 2002 集成布尔运算和数学求解:基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂安 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名209位作者引用 33 阿图尔·科尔尼·奥维茨 31 Yasunai Shidama 25 亚当·格拉博夫斯基 22 Pąk,卡罗尔 21 罗兰·科希托 20 中关村,Kazuhisa 18 塞巴斯蒂安·科赫 15 冈崎博之 14 塞萨里·卡利西克 13 克里斯托夫·施瓦茨韦勒 12 诺博鲁恩多 12 约瑟夫·厄本 11 福田,Yuichi 10 亚当·纳莫维奇 8 伊万诺夫,列夫根 8 Nikitchenko、Mykola S。 8 广岛山崎 7 瓦塔西,靖国 6 成田、庆子 6 拉法·齐奥布罗 5 杰西·阿拉玛 4 高石三井 4 宫岛庆一 4 安德烈·波佩斯库 4 斯特里赫曼(Ofer Strichman) 三 格拉泽戈兹·班塞雷克 三 乍得·布朗·爱德华 三 Czesław拜林斯基 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 彼得·耶格尔 三 Jakubův,简 三 迈克尔·科尔哈斯 三 昆查尔,Ondřej 三 弗洛里安·拉贝 三 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 三 罗伯托·塞巴斯蒂安 2 马钦·阿齐维茨 2 阿奈、平子 2 Noriko H.Arai。 2 巴哈雷赫巴德班 2 西尔维·博尔多 2 藤崎隆彦 2 米尼亚·伊恩库 2 伊瓦内、希德诺 2 亚德里安·贾兹扎克 2 沃尔夫拉姆·卡尔 2 Munehiro小林 2 丹尼尔·科宁 2 朱玛·库多 2 丹尼尔·库尔温 2 凯瑟琳·勒雷 2 亚历山大·马列茨基 2 松崎隆彦 2 罗马人Matuszewski 2 纪尧姆·梅尔金德 2 托比亚斯·尼普科 2 劳伦斯·查尔斯·保尔森 2 迈克尔·劳森 2 贾尔斯·里格尔 2 尤西·林塔南 2 Damian Sawicki 2 马丁·苏达 2 维斯科基尔 2 Katsumi Wasaki 2 詹伯华 2 詹益阳 1 艾丽卡·阿尔布拉汉姆 1 乌里·亚伯拉罕 1 良田阿达奇 1 阿费尔特,雷纳德 1 哈桑·阿姆贾德 1 Arai、Kenichi 1 亚历山德罗·阿曼多 1 大卫·阿斯皮纳尔 1 安德烈亚·博尔赫斯·艾弗拉尔 1 毛里西奥·阿亚拉·林科恩 1 克拉克·W·巴雷特。 1 托马斯·博埃里 1 贝恩德·贝克尔 1 马尔塞洛·玛丽亚·贝尔萨尼 1 贾斯敏·克里斯蒂安·布兰切特 1 帕特里夏·鲍耶 1 马可·波扎诺 1 塞尔默布林斯乔尔 1 罗伯托·布鲁托梅索 1 卜、雷 1 凯文·巴扎德 1 马可·布赖特·卡米纳蒂 1 克劳迪奥·卡斯泰里尼 1 陈晓宇 1 扎卡里亚·奇哈尼 1 普尔泽米斯劳·乔杰基 1 卡雷尔·奇瓦洛夫斯克 1 西里尔·科恩 1 库卡斯·扎伊卡 1 德利马,塔纳拉·阿里利 1 戴维·戴哈贝 1 德拉赫尚、法扎内赫 1 恰兰·邓恩 …还有109位作者 全部的 前5名18篇连载文章中引用 166 形式化数学 29 自动推理杂志 5 系统设计中的形式化方法 三 符号计算杂志 三 信息与计算 三 计算机科学中的数学 2 人工智能 2 计算的形式方面 2 计算机基础理论 1 信息学报 1 合成 1 计算机程序设计科学 1 AI通信 1 MSCS公司。计算机科学中的数学结构 1 摩尔多瓦计算机科学杂志 1 计算机语言、系统和结构 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名34个领域引用 202 计算机科学(68至XX) 124 数学逻辑和基础(03-XX) 26 数论(11-XX) 16 组合数学(05-XX) 16 实际功能(26年X月X日) 15 场论和多项式(12-XX) 15 交换代数(13-XX) 14 几何图形(51至XX) 10 算子理论(47-XX) 9 阶、格、有序代数结构(06-XX) 9 群论与推广(20-XX) 8 线性代数和多线性代数;矩阵理论(15-XX) 8 一般拓扑结构(54至XX) 7 功能分析(46倍X倍) 6 总体主题;集合(00-XX) 5 测量和集成(28-XX) 5 序列、级数、可和性(40-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 数学教育(97-XX) 三 代数几何(14-XX) 三 代数拓扑(55-XX) 三 系统论;控制(93至XX) 三 信息与通信理论、电路(94-XX) 2 结合环与代数(16-XX) 2 范畴理论;同调代数(18-XX) 2 概率论与随机过程(60-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 拓扑群、李群(22日至XX日) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文