Have a personal or library account? Click to login
Volume 20 (2012): Issue 4 (December 2012) Cover

Volume 20 (2012): Issue 4 (Dec 2012)

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

All volumes and issues in this journal

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

10 articles
Open Access
|Feb 2013
Posterior Probability on Finite Set
Hiroyuki Okazaki  
Open Access
|Feb 2013
Basic Properties of Primitive Root and Order Function
Na Ma and  Xiquan Liang  
Open Access
|Feb 2013
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Hideki Sakurai,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Feb 2013
Free ℤ-module
Yuichi Futa,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Feb 2013
Cayley-Dickson Construction
Artur Korniłowicz  
Open Access
|Feb 2013
Contracting Mapping on Normed Linear Space
Keiichi Miyajima,  Artur Korniłowicz and  Yasunari Shidama  
Open Access
|Feb 2013
Products in Categories without Uniqueness of cod and dom
Artur Korniłowicz  
Open Access
|Feb 2013
Program Algebra over an Algebra
Grzegorz Bancerek  
Open Access
|Feb 2013
Isomorphisms of Direct Products of Finite Cyclic Groups
Kenichi Arai,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Feb 2013
On L1 Space Formed by Complex-Valued Partial Functions
Yasushige Watase,  Noboru Endou and  Yasunari Shidama  
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