Skip to main content
Have a personal or library account? Click to login

Volume 20 (2012): Issue 2 (Jun 2012)

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue
Next issue

All volumes and issues in this journal

Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)

9 articles
Open Access
|Feb 2013
Fundamental Group of n-sphere for n ≥ 2
 and    
Open Access
|Feb 2013
The Borsuk-Ulam Theorem
 and    
Open Access
|Feb 2013
Higher-Order Partial Differentiation
,   and    
Open Access
|Feb 2013
Formalization of the Data Encryption Standard
 and    
Open Access
|Feb 2013
Semantics of MML Query
  
Open Access
|Feb 2013
Routh’s, Menelaus’ and Generalized Ceva’s Theorems
  
Open Access
|Feb 2013
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph
 and    
Open Access
|Feb 2013
Extended Euclidean Algorithm and CRT Algorithm
,   and    
Open Access
|Feb 2013
Introduction to Rational Functions
  
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,
Logic and set theory,
Computer sciences,
Artificial intelligence
Journal RSS Feed