Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21460| Tytuł: | Dimension of Real Unitary Space |
| Autorzy: | Endou, Noboru Mitsuishi, Takashi Shidama, Yasunari |
| Data wydania: | 2003 |
| Data dodania: | 9-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 11, Issue 1, Pages 23-28 |
| Abstrakt: | In this article we describe the dimension of real unitary space. Most of theorems are restricted from real linear space. In the last section, we introduce affine subset of real unitary space. |
| Afiliacja: | Noboru Endou - Gifu National College of Technology Takashi Mitsuishi - Miyagi University Yasunari Shidama - Shinshu University Nagano |
| URI: | http://hdl.handle.net/11320/21460 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2003 University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2003, Volume 11, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Dimension_of_Real_Unitary_Space.pdf | 65,49 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
