Topological manifolds

DOI10.2478/FORMA-2014-0019zbMath1352.57030OpenAlexW4214825871MaRDI QIDQ502702

Karol Pąk

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0019

zbMATH Keywords

Cartesian productboundaryinteriorlocally Euclidean spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (4)

Readable Formalization of Euler’s Partition Theorem in Mizar ⋮ Combining higher-order logic with set theory formalizations ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ⋮ Semantics of Mizar as an Isabelle object logic

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Tietze extension theorem for \(n\)-dimensional spaces
• Semantics of MML Query - Ordering
• The Definition of Topological Manifolds

This page was built for publication: Topological manifolds