Fundamental Group of n-sphere for n ≥ 2

DOI10.2478/V10037-012-0013-1zbMath1276.57004OpenAlexW1975362219MaRDI QIDQ2852146

Artur Korniłowicz, Marco Riccardi

Publication date: 8 October 2013

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

Full work available at URL: https://doi.org/10.2478/v10037-012-0013-1

Mathematics Subject Classification ID

Fundamental group, presentations, free differential calculus (57M05)

Related Items (2)

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics ⋮ The Borsuk-Ulam Theorem

Cites Work

• Semantics of MML Query - Ordering
• The Definition of Topological Manifolds
• Planes and Spheres as Topological Manifolds. Stereographic Projection
• Introduction to Topological Manifolds

This page was built for publication: Fundamental Group of n-sphere for n ≥ 2