Topological manifolds

DOI10.2478/FORMA-2014-0019MaRDI QIDQ502702zbMATH OpenOpenAlexFDO

Authors Karol Pąk

Publication date 6 January 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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

zbMATH Keywords

boundaryCartesian productinteriorlocally Euclidean spaces

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Semantics of MML query -- ordering
• The definition of topological manifolds
• Tietze extension theorem for \(n\)-dimensional spaces

Cited in

(16)

• Semantics of Mizar as an Isabelle object logic
• GEOMETRICAL VERSUS TOPOLOGICAL PROPERTIES OF MANIFOLDS
• Language of topologically valid bounding manifolds
• Manifolds of continuous structures
• The definition of topological manifolds
• ZERO-POINTED MANIFOLDS
• Combining higher-order logic with set theory formalizations
• scientific article; zbMATH DE number 6682913 (Why is no real title available?)
• Topological spaces of smooth transformations of a Riemann manifold
• Topological manifolds and vector bundles with applications to crystal physics
• Bundle Theories for Topological Manifolds
• Introduction to Topological Manifolds
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• scientific article; zbMATH DE number 66504 (Why is no real title available?)
• Readable formalization of Euler's partition theorem in Mizar
• Topological types of Pfaffian manifolds

Describes a project that uses

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)