Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 20 (2012): Edition 2 (December 2012)
Accès libre
Fundamental Group of n-sphere for n ≥ 2
Marco Riccardi
Marco Riccardi
et
Artur Korniłowicz
Artur Korniłowicz
| 02 févr. 2013
Formalized Mathematics
Édition 20 (2012): Edition 2 (December 2012)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
02 févr. 2013
Pages:
97 - 104
DOI:
https://doi.org/10.2478/v10037-012-0013-1
This content is open access.
Triviality of fundamental groups of spheres of dimension greater than 1 is proven, [17]