Topological manifolds

DOI10.2478/FORMA-2014-0019zbMATH Open1352.57030OpenAlexW4214825871MaRDI QIDQ502702FDOQ502702

Authors: 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

Recommendations

• Brouwer invariance of domain theorem
• A note on topological properties of non-Hausdorff manifolds
• Metrizable and 2-metrizable topological spaces
• Topological embeddings of topological manifolds into some Euclidean spaces
• scientific article; zbMATH DE number 32861

zbMATH Keywords

boundaryCartesian productinteriorlocally Euclidean spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Tietze extension theorem for \(n\)-dimensional spaces
• The definition of topological manifolds

Cited In (16)

• GEOMETRICAL VERSUS TOPOLOGICAL PROPERTIES OF MANIFOLDS
• Combining higher-order logic with set theory formalizations
• Topological types of Pfaffian manifolds
• Title not available (Why is that?)
• The definition of topological manifolds
• Title not available (Why is that?)
• Topological manifolds and vector bundles with applications to crystal physics
• Readable Formalization of Euler’s Partition Theorem in Mizar
• Language of topologically valid bounding manifolds
• ZERO-POINTED MANIFOLDS
• Bundle Theories for Topological Manifolds
• Topological spaces of smooth transformations of a Riemann manifold
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Semantics of Mizar as an Isabelle object logic
• Manifolds of continuous structures
• Introduction to Topological Manifolds

Uses Software

• Mizar

This page was built for publication: Topological manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q502702)