Connexion
Register
Reset Password
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Connexion
S'inscrire
Réinitialiser le mot de passe
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 24 (2016): Edition 3 (September 2016)
Accès libre
Compactness in Metric Spaces
Kazuhisa Nakasho
Kazuhisa Nakasho
,
Keiko Narita
Keiko Narita
et
Yasunari Shidama
Yasunari Shidama
| 21 févr. 2017
Formalized Mathematics
Édition 24 (2016): Edition 3 (September 2016)
À 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:
21 févr. 2017
Pages:
167 - 172
Reçu:
30 juin 2016
DOI:
https://doi.org/10.1515/forma-2016-0013
Mots clés
metric spaces
,
normed linear spaces
,
compactness
© by Kazuhisa Nakasho
This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License