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 24 (2016): Edition 2 (June 2016)
Accès libre
Cousin’s Lemma
Roland Coghetto
Roland Coghetto
| 08 déc. 2016
Formalized Mathematics
Édition 24 (2016): Edition 2 (June 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:
08 déc. 2016
Pages:
107 - 119
Reçu:
31 déc. 2015
DOI:
https://doi.org/10.1515/forma-2016-0009
Mots clés
Cousin’s lemma
,
Cousin’s theorem
,
nested intervals theorem
© 2016 Roland Coghetto, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
Roland Coghetto
Rue de la Brasserie 5, 7100 La Louvière, Belgium