Have a personal or library account? Click to login
Volume 22 (2014): Issue 2 (June 2014) Cover

Volume 22 (2014): Issue 2 (Jun 2014)

Formalized Mathematics
Open Access
Journal detailsArticles & issues
Previous issueFormalized MathematicsNext issue

All volumes and issues in this journal

Issue 4 (December 2014)
Issue 3 (September 2014)
Issue 2 (June 2014) - Special Issue: 25 years of the Mizar Mathematical Library
Issue 1 (March 2014)

10 articles
Open Access
|Jun 2014
Preface
Adam Grabowski and  Yasunari Shidama  
Open Access
|Jun 2014
Pseudo-Canonical Formulae are Classical
Marco B. Caminati and  Artur Korniłowicz  
Open Access
|Jun 2014
Lagrange’s Four-Square Theorem
Yasushige Watase  
Open Access
|Jun 2014
Proth Numbers
Christoph Schwarzweller  
Open Access
|Jun 2014
Bertrand’s Ballot Theorem
Karol Pąk  
Open Access
|Jun 2014
Term Context
Grzegorz Bancerek  
Open Access
|Jun 2014
Cauchy Mean Theorem
Adam Grabowski  
Open Access
|Jun 2014
Tarski Geometry Axioms
William Richter,  Adam Grabowski and  Jesse Alama  
Open Access
|Jun 2014
A Note on the Seven Bridges of Königsberg Problem
Adam Naumowicz  
Open Access
|Jun 2014
Topological Manifolds
Karol Pąk  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed