Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2013 | Submodule of free Z-module | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | The Linearity of Riemann Integral on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order | Yamazaki, Hiroshi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2013 | The Ck Space | Kanazashi, Katuhiko; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Formulation of Cell Petri Nets | Jitsukawa, Mitsuru; Kawamoto, Pauline N.; Shidama, Yasunari | - | - |
2013 | Double Sequences and Limits | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Constructing Binary Huffman Tree | Okazaki, Hiroyuki; Futa, Yuichi; Shidama, Yasunari | - | - |
2013 | Isometric Differentiable Functions on Real Normed Space | Futa, Yuichi; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Isomorphisms of Direct Products of Finite Commutative Groups | Okazaki, Hiroyuki; Yamazaki, Hiroshi; Shidama, Yasunari | - | - |
2013 | Gaussian Integers | Futa, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; 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