Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
Carrito
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Home
Revistas
Formalized Mathematics
Volumen 24 (2016): Edición 3 (September 2016)
Acceso abierto
Compactness in Metric Spaces
Kazuhisa Nakasho
Kazuhisa Nakasho
,
Keiko Narita
Keiko Narita
y
Yasunari Shidama
Yasunari Shidama
| 21 feb 2017
Formalized Mathematics
Volumen 24 (2016): Edición 3 (September 2016)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
21 feb 2017
Páginas:
167 - 172
Recibido:
30 jun 2016
DOI:
https://doi.org/10.1515/forma-2016-0013
Palabras clave
metric spaces
,
normed linear spaces
,
compactness
© by Kazuhisa Nakasho
This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License