Formalized Mathematics, 2013, Volume 21, Issue 3
: [7]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Endou, Noboru / Okazaki, Hiroyuki / Shidama, Yasunari
Double Sequences and Limits - Arai, Kenichi / Okazaki, Hiroyuki
Formalization of the Advanced Encryption Standard. Part I - Narita, Keiko / Endou, Noboru / Shidama, Yasunari
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space - Riccardi, Marco
Object-Free Definition of Categories - Yamazaki, Hiroshi / Okazaki, Hiroyuki / Nakasho, Kazuhisa / Shidama, Yasunari
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order - Grabowski, Adam
Prime Filters and Ideals in Distributive Lattices - Niewiadomska, Eliza / Grabowski, Adam
Introduction to Formal Preference Spaces
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2013 | Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order | Yamazaki, Hiroshi; Okazaki, Hiroyuki; Nakasho, Kazuhisa; Shidama, Yasunari | - | - |
2013 | Prime Filters and Ideals in Distributive Lattices | Grabowski, Adam | - | - |
2013 | Introduction to Formal Preference Spaces | Niewiadomska, Eliza; Grabowski, Adam | - | - |
2013 | The Linearity of Riemann Integral on Functions from R into Real Banach Space | Narita, Keiko; Endou, Noboru; Shidama, Yasunari | - | - |
2013 | Double Sequences and Limits | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2013 | Object-Free Definition of Categories | Riccardi, Marco | - | - |
2013 | Formalization of the Advanced Encryption Standard. Part I | Arai, Kenichi; Okazaki, Hiroyuki | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 7 z 7
Odkryj
Temat
- 1 Advanced Encryption Standard (AES...
- 1 correspondence between different ...
- 1 cryptology
- 1 distributive lattices
- 1 formalization of basic metric space
- 1 formalization of Riemann integral
- 1 formalization of the commutative ...
- 1 limits of double sequences
- 1 Mizar formalization
- 1 object-free category
- następny >
Data wydania
- 7 2013
Posiada pliki pozycji
- 7 true