Skip to content
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Services de bibliothèques
Thèmes
Architecture et design
Arts
Business et économie
Chimie
Chimie industrielle
Droit
Géosciences
Histoire
Informatique
Ingénierie
Intérêt général
Linguistique et sémiotique
Littérature
Mathématiques
Musique
Médecine
Pharmacie
Philosophie
Physique
Sciences bibliothécaires et de l'information, études du livre
Sciences des matériaux
Sciences du vivant
Sciences sociales
Sport et loisirs
Théologie et religion
Études classiques et du Proche-Orient ancient
Études culturelles
Études juives
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Journal Matcher
Blog
Contact
Chercher
Français
English
Deutsch
Polski
Español
Français
Italiano
Panier
Home
Journaux
Formalized Mathematics
Édition 29 (2021): Edition 3 (Octobre 2021)
Accès libre
Real Vector Space and Related Notions
Kazuhisa Nakasho
Kazuhisa Nakasho
Yamaguchi University
Yamaguchi, Japan
Profil Orcid
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Nakasho, Kazuhisa
,
Hiroyuki Okazaki
Hiroyuki Okazaki
Shinshu University
Nagano, Japan
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Okazaki, Hiroyuki
et
Yasunari Shidama
Yasunari Shidama
Shinshu University
Nagano, Japan
Recherchez cet auteur sur
Sciendo
|
Google Scholar
Shidama, Yasunari
30 déc. 2021
Formalized Mathematics
Édition 29 (2021): Edition 3 (Octobre 2021)
À 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
Télécharger la couverture
Catégorie d'article:
Artikel
Publié en ligne:
30 déc. 2021
Pages:
117 - 127
Accepté:
30 juin 2021
DOI:
https://doi.org/10.2478/forma-2021-0012
Mots clés
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