Topological manifolds
From MaRDI portal
Publication:502702
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
Cites Work
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
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)