W BIAŁYMSTOKU
Formalized Mathematics, 2014, Volume 22, Issue 2
: [10]
Strona glówna kolekcji
Zobacz statystyki
Special Issue: 25 years of the Mizar Mathematical Library
Spis treści/Content
- Grabowski, Adam / Shidama, Yasunari
Preface - Caminati, Marco B. / Korniłowicz, Artur
Pseudo-Canonical Formulae are Classical - Watase, Yasushige
Lagrange’s Four-Square Theorem - Schwarzweller, Christoph
Proth Numbers - Pąk, Karol
Bertrand’s Ballot Theorem - Bancerek, Grzegorz
Term Context - Grabowski, Adam
Cauchy Mean Theorem - Richter, William / Grabowski, Adam / Alama, Jesse
Tarski Geometry Axioms - Naumowicz, Adam
A Note on the Seven Bridges of Königsberg Problem - Pąk, Karol
Topological Manifolds
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2014 | Preface | Grabowski, Adam; Shidama, Yasunari | - | - |
| 2014 | Topological Manifolds | Pąk, Karol | - | - |
| 2014 | A Note on the Seven Bridges of Königsberg Problem | Naumowicz, Adam | - | - |
| 2014 | Tarski Geometry Axioms | Richter, William; Grabowski, Adam; Alama, Jesse | - | - |
| 2014 | Term Context | Bancerek, Grzegorz | - | - |
| 2014 | Bertrand’s Ballot Theorem | Pąk, Karol | - | - |
| 2014 | Cauchy Mean Theorem | Grabowski, Adam | - | - |
| 2014 | Proth Numbers | Schwarzweller, Christoph | - | - |
| 2014 | Lagrange’s Four-Square Theorem | Watase, Yasushige | - | - |
| 2014 | Pseudo-Canonical Formulae are Classical | Caminati, Marco B.; Korniłowicz, Artur | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10