Topological manifolds
type: Item
instance of: scholarly article
title: Topological manifolds
zbMATH Open document ID: 1352.57030
author: Karol Pąk
published in: Formalized Mathematics
publication date: 2017-01-06T00:00:00Z
Mathematics Subject Classification ID: 57N15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6671107
zbMATH Keywords: locally Euclidean spaces
zbMATH Keywords: interior
zbMATH Keywords: boundary
zbMATH Keywords: Cartesian product
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2014-0019
OpenAlex ID: W4214825871
cites work: Semantics of MML query -- ordering
cites work: Tietze extension theorem for \(n\)-dimensional spaces
cites work: The definition of topological manifolds
cites work: Q5203581
DOI: 10.2478/FORMA-2014-0019
description: scientific article; zbMATH DE number 6671107