Skip to content
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Servicios bibliotecarios
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
Journal Matcher
Blog
Contacto
Buscar
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 29 (2021): Edición 3 (Octubre 2021)
Acceso abierto
Real Vector Space and Related Notions
Kazuhisa Nakasho
Kazuhisa Nakasho
Yamaguchi University
Yamaguchi, Japan
Perfil de Orcid
Buscar este autor en
Sciendo
|
Google Scholar
Nakasho, Kazuhisa
,
Hiroyuki Okazaki
Hiroyuki Okazaki
Shinshu University
Nagano, Japan
Buscar este autor en
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
y
Yasunari Shidama
Yasunari Shidama
Shinshu University
Nagano, Japan
Buscar este autor en
Sciendo
|
Google Scholar
Shidama, Yasunari
30 dic 2021
Formalized Mathematics
Volumen 29 (2021): Edición 3 (Octubre 2021)
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
Descargar portada
Categoría del artículo:
Artikel
Publicado en línea:
30 dic 2021
Páginas:
117 - 127
Aceptado:
30 jun 2021
DOI:
https://doi.org/10.2478/forma-2021-0012
Palabras clave
15A03
,
46B15
,
68V20
© 2021 University of Białystok, published by Sciendo
CC-BY-SA License ver. 3.0 or later
Nakasho, Kazuhisa
Yamaguchi University
Yamaguchi, Japan
Okazaki, Hiroyuki
Shinshu University
Nagano, Japan
Shidama, Yasunari
Shinshu University
Nagano, Japan