×
阿图尔·科尔尼·奥维茨;马可·里卡迪

Borsuk-Ulam定理。 （英语） Zbl 1452.55002号

福尔马利兹。数学。 20，第2期，105-112（2012）.
小结：证明了关于反足点的Borsuk-Ulam定理[A.孵化器，代数拓扑。剑桥：剑桥大学出版社（2002；Zbl 1044.55001号)].

引用于1文件

MSC公司：

55平方米 代数拓扑中的不动点和重合
68伏15 定理证明（自动和交互式定理证明、演绎、解析等）
68V20型 与定理证明者有关的数学形式化

引文：

Zbl 1044.55001号
PDF格式BibTeX公司 XML格式引用
\textit{A.Korniłowicz}和\textit{M.Riccardi}，Formaliz。数学。20，第2号，第105-112条（2012；Zbl 1452.55002）
全文： 内政部

参考文献：

[1] 格拉泽戈兹·班塞雷克。自然数的基本性质。形式化数学，1（1）：41-461990·Zbl 1364.68157号
[2] 格拉泽戈兹·班塞雷克。柯尼格定理。形式化数学，1（3）：589-5931990。
[3] 格拉泽戈兹·班塞雷克。序数。形式化数学，1（1）：91-961990。
[4] Grzegorz Bancerek和Krzysztof Hryniewiecki。自然数和有限序列的分段。形式化数学，1（1）：107-1141990。
[5] Czesław Bylinski。复数。形式化数学，1（3）：507-5131990。
[6] Czesław Bylinski。函数及其基本属性。形式化数学，1（1）：55-651990。
[7] Czesław Bylinski。从集合到集合的函数。形式化数学，1（1）：153-1641990。
[8] Czesław Bylinski。函数对函数的修改以及函数组成的迭代。形式化数学，1（3）：521-5271990。
[9] Czesław Bylinski。部分功能。形式化数学，1（2）：357-3671990。
[10] Czesław Bylinski。集合的一些基本性质。形式化数学，1（1）：47-531990。
[11] Czesław Bylinski。实数有限序列的和和乘积。形式化数学，1（4）：661-6681990。
[12] 阿加塔·达莫奇瓦（Agata Darmochwa）。拓扑空间中的子集、子空间和映射族。形式化数学，1（2）：257-261990。
[13] 阿加塔·达尔莫奇瓦乌。欧几里德空间。形式化数学，2（4）：599-6031991。
[14] Agata Darmochwał和Yatsuka Nakamura。度量空间作为拓扑空间-基本概念。形式化数学，2（4）：605-6081991。
[15] 亚当·格拉博夫斯基（Adam Grabowski）。同伦理论简介。形式化数学，6（4）：449-4541997。
[16] 亚当·格拉博夫斯基（Adam Grabowski）。在实线的次大陆上。形式化数学，11（3）：313-3222003。
[17] Jarosław Gryko。内射空格。形式化数学，7（1）：57-621998。
[18] 艾伦·哈切尔。代数拓扑。剑桥大学出版社，2002年·Zbl 1044.55001号
[19] Krzysztof Hryniewiecki。实数的基本性质。形式化数学，1（1）：35-401990。
[20] Kanchun、Hiroshi Yamazaki和Yatsuka Nakamura。三维欧氏空间中的叉积和三重向量积。形式化数学，11（4）：381-3832003。
[21] 阿图尔·科尔尼（Artur Korniłowicz）。函数从集合到函数集的算术运算。形式化数学，17（1）：43-602009，doi:10.2478/v10037-009-0005-y·doi:10.2478/v10037-009-0005-y
[22] 阿图尔·科尔尼（Artur Korniłowicz）。关于某些函数的连续性。形式化数学，18（3）：175-1832010，doi:10.2478/v10037-010-0020-z·doi:10.2478/v10037-010-0020-z
[23] 阿图尔·科尔尼·奥维茨和亚桑奈·什达马。《En T.形式化数学中的区间和球的交集》，12（3）：301-3062004。
[24] 阿图尔·科尔尼·奥维茨和亚桑奈·什达马。平面上圆的一些性质。形式化数学，13（1）：117-1242005。
[25] 阿图尔·科尔尼·奥维茨（Artur Korniłowicz）、亚桑奈·希达马（Yasunari Shidama）和亚当·格拉博夫斯基（Adam Grabowski）。基本群体。形式化数学，12（3）：261-2682004。
[26] 秋叶久博和中村雅冢。欧氏拓扑空间中的角度和三角形。形式化数学，11（3）：281-2872003。
[27] Adam Naumowicz和Grzegorz Bancerek。乔丹曲线的同胚性。形式化数学，13（4）：477-4802005。
[28] 比塔·帕德卢斯卡（Beata Padlewska）。连接的空间。形式化数学，1（1）：239-2441990。
[29] Beata Padlewska和Agata Darmochwał。拓扑空间和连续函数。形式化数学，1（1）：223-2301990。
[30] 康拉德·拉兹科夫斯基（Konrad Raczkowski）和帕维·萨多夫斯基（Pawe Sadowski）。实函数连续性。形式化数学，1（4）：787-7911990。
[31] 康拉德·拉兹科夫斯基（Konrad Raczkowski）和帕维·萨多夫斯基（Pawe Sadowski）。实数子集的拓扑性质。形式化数学，1（4）：777-7801990。
[32] 马可·里卡迪（Marco Riccardi）和阿图尔·科尔尼（Artur Korniłowicz）。n\geq 2的n-球面的基本群。形式化数学，20（2）：97-1042012，doi:10.2478/v10037-012-0013-1·Zbl 1276.57004号 ·doi:10.2478/v10037-012-0013-1
[33] Piotr Rudnicki和Andrzej Trybulec。阿宾不动点定理。形式化数学，6（3）：335-3381997。
[34] 安德烈·特雷布利克（Andrzej Trybulec）。应用于函数的二进制操作。形式化数学，1（2）：329-3341990。
[35] 安德烈·特雷布利克（Andrzej Trybulec）。枚举集。形式化数学，1（1）：25-341990。
[36] 安德烈·特雷布利克（Andrzej Trybulec）。关于同伦类型的Borsuk定理。形式化数学，2（4）：535-5451991。
[37] Andrzej Trybulec和Czesław Bylinski。实数的一些性质。形式化数学，1（3）：445-4491990。
[38] MichałJ.Trybulec。整数。形式化数学，1（3）：501-5051990。
[39] Wojciech A.Trybulec。实线性空间中的向量。形式化数学，1（2）：291-2961990。
[40] Zinaida Trybulec公司。子集的属性。形式化数学，1（1）：67-711990。
[41] 埃德蒙·沃诺诺维奇。关系及其基本属性。形式化数学，1（1）：73-831990。
[42] 埃德蒙·沃诺诺维奇。集合上定义的关系。形式化数学，1（1）：181-1861990。
[43] 杨玉光和石达玛。三角函数和圆比的存在性。形式化数学，7（2）：255-2631998。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。