Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 17 (2009): Edición 1 (March 2009)
Acceso abierto
The Real Vector Spaces of Finite Sequences are Finite Dimensional
Yatsuka Nakamura
Yatsuka Nakamura
,
Artur Korniłowicz
Artur Korniłowicz
,
Nagato Oya
Nagato Oya
y
Yasunari Shidama
Yasunari Shidama
| 20 mar 2009
Formalized Mathematics
Volumen 17 (2009): Edición 1 (March 2009)
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:
20 mar 2009
Páginas:
1 - 9
DOI:
https://doi.org/10.2478/v10037-009-0001-2
This content is open access.
Yatsuka Nakamura
Shinshu University Nagano, Japan
Artur Korniłowicz
Institute of Computer Science, University of Białystok, Sosnowa 64, 15-887 Białystok, Poland
Nagato Oya
Shinshu University Nagano, Japan
Yasunari Shidama
Shinshu University Nagano, Japan