Tietze Extension Theorem

被引：0
|
作者：
Kornilowicz, Artur [1 ]
Bancerek, Grzegorz [2 ]
Naumowicz, Adam [3 ]
机构：
[1] Univ Bialystok, Inst Comp Sci, Sosnowa 64, PL-15887 Bialystok, Poland
[2] Bialystok Tech Univ, Dept Theoret Comp Sci, Bialystok, Poland
[3] Univ Bialystok, Inst Comp Sci, PL-15267 Bialystok, Poland
来源：
FORMALIZED MATHEMATICS | 2005年 / 13卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper we formalize the Tietze extension theorem using as a basis the proof presented at the PlanetMath web server(1).
引用
收藏
页码：471 / 475
页数：5
相关论文
共 50 条
12345