Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-5 z 5 (Czas wyszukiwania: 0.002 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2021 | Real Vector Space and Related Notions | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | Finite Dimensional Real Normed Spaces are Proper Metric Spaces | Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2021 | The 3-Fold Product Space of Real Normed Spaces and its Properties | Okazaki, Hiroyuki; Nakasho, Kazuhisa | - | - |
2022 | Formalization of Orthogonal Decomposition for Hilbert Spaces | Okazaki, Hiroyuki | - | - |
2023 | On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors | Okazaki, Hiroyuki | - | - |
Odkryj
Temat