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