REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:
Rozpocznij nowe wyszukiwanie
Dodaj filtr:

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


Rezultaty 1-10 z 24 (Czas wyszukiwania: 0.059 sekund).
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2024Formal Proof of Transcendence of the Number e. Part IWatase, Yasushige--
2024Ascoli-Arzel`a Theorem (Metric Space Version)Miyajima, Keiichi; Yamazaki, Hiroshi--
2024Separable Polynomials and Separable ExtensionsSchwarzweller, Christoph--
2024Higher-Order Differentiation and Inverse Function Theorem in Real Normed SpacesNakasho, Kazuhisa; Shidama, Yasunari--
2024Formalization of Trellises and Tolerance RelationsGrabowski, Adam; Turowski, Franciszek--
2024Some Standard Examples of Vector SpacesSchwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka--
2024Integral of Continuous Three Variable FunctionsEndou, Noboru; Shidama, Yasunari--
2024Fundamentals of Finitary ProofsHuuskonen, Taneli--
2024Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed SpacesNakasho, Kazuhisa; Shidama, Yasunari--
2024On the Properties of Curves and Parametrization-Independent Isoperimetric InequalityNakasho, Kazuhisa; Shidama, Yasunari--