REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:


Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-5 z 5 (Czas wyszukiwania: 0.001 sekund).
  • poprzedni
  • 1
  • następny
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2021Real Vector Space and Related NotionsNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
2021Finite Dimensional Real Normed Spaces are Proper Metric SpacesNakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari--
2021The 3-Fold Product Space of Real Normed Spaces and its PropertiesOkazaki, Hiroyuki; Nakasho, Kazuhisa--
2022Formalization of Orthogonal Decomposition for Hilbert SpacesOkazaki, Hiroyuki--
2023On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of VectorsOkazaki, Hiroyuki--