[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

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

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

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed