Formalized Mathematics, 2012, Volume 20, Issue 2
: [9]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Riccardi, Marco / Korniłowicz, Artur
Fundamental Group of n-sphere for n ≥ 2 - Korniłowicz, Artur / Riccardi, Marco
The Borsuk-Ulam Theorem - Endou, Noboru / Okazaki, Hiroyuki / Shidama, Yasunari
Higher-Order Partial Differentiation - Okazaki, Hiroyuki / Shidama, Yasunari
Formalization of the Data Encryption Standard - Bancerek, Grzegorz
Semantics of MML Query - Shminke, Boris A.
Routh’s, Menelaus’ and Generalized Ceva’s Theorems - Rudnicki, Piotr / Stewart, Lorna
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph - Okazaki, Hiroyuki / Aoki, Yosiki / Shidama, Yasunari
Extended Euclidean Algorithm and CRT Algorithm - Schwarzweller, Christoph
Introduction to Rational Functions
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2012 | Extended Euclidean Algorithm and CRT Algorithm | Okazaki, Hiroyuki; Aoki, Yosiki; Shidama, Yasunari | - | - |
2012 | Introduction to Rational Functions | Schwarzweller, Christoph | - | - |
2012 | Routh’s, Menelaus’ and Generalized Ceva’s Theorems | Shminke, Boris A. | - | - |
2012 | Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph | Rudnicki, Piotr; Stewart, Lorna | - | - |
2012 | Semantics of MML Query | Bancerek, Grzegorz | - | - |
2012 | Higher-Order Partial Differentiation | Endou, Noboru; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | Formalization of the Data Encryption Standard | Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2012 | The Borsuk-Ulam Theorem | Korniłowicz, Artur; Riccardi, Marco | - | - |
2012 | Fundamental Group of n-sphere for n ≥ 2 | Riccardi, Marco; Korniłowicz, Artur | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 9 z 9