×

阿图尔·科尔尼·奥维茨

作者ID: 科尼洛维奇·阿图“Korniłowicz,Artur”最近发表的zbMATH文章
发布日期: 阿图尔·科尔尼·奥维茨;阿图尔·科尼洛维奇;科尔尼洛维奇(A.Kornilowicz)。
外部链接: MGP公司·ORCID公司
已编制索引的文档: 50种出版物自2002年起
1作为编辑的贡献
合著者: 27位合著者具有37联合出版物
332合著作者

按年份列出的出版物

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名

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位作者

按年份列出的引文