Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2013 | Random Variables and Product of Probability Spaces | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Riemann Integral of Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Differential Equations on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Differentiation in Normed Spaces | Endou, Noboru; Shidama, Yasunari | - | - |
Odkryj
Temat
- 2 formalization of Riemann integral
- 1 algebraic integers
- 1 formalization of basic metric space
- 1 formalization of differential equ...
- 1 formalization of Fréchet derivative
- 1 formalization of Gaussian integers
- 1 formalization of Huffman coding tree
- 1 formalization of the commutative ...
- 1 free Z-module
- 1 Fréchet differentiability
- następny >
Posiada pliki pozycji
- 14 true