Have a personal or library account? Click to login
Volume 19 (2011): Issue 1 (March 2011) Cover

Volume 19 (2011): Issue 1 (Jan 2011)

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

All volumes and issues in this journal

Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)

10 articles
Open Access
|Jul 2011
The Definition of Topological Manifolds
Marco Riccardi  
Open Access
|Jul 2011
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Takao Inoué,  Adam Naumowicz,  Noboru Endou and  Yasunari Shidama  
Open Access
|Jul 2011
Normal Subgroup of Product of Groups
Hiroyuki Okazaki,  Kenichi Arai and  Yasunari Shidama  
Open Access
|Jul 2011
Difference and Difference Quotient. Part IV
Xiquan Liang,  Ling Tang and  Xichun Jiang  
Open Access
|Jul 2011
Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki,  Noboru Endou and  Yasunari Shidama  
Open Access
|Jul 2011
Formalization of Integral Linear Space
Yuichi Futa,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Jul 2011
Some Properties of p-Groups and Commutative p-Groups
Xiquan Liang and  Dailu Li  
Open Access
|Jul 2011
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima,  Takahiro Kato and  Yasunari Shidama  
Open Access
|Jul 2011
More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki,  Noboru Endou and  Yasunari Shidama  
Open Access
|Jul 2011
The Mycielskian of a Graph
Piotr Rudnicki and  Lorna Stewart  
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