Formalized Mathematics's Cover Image
Accès libre

Formalized Mathematics

Édition 19 (2011): Edition 1 (Mars 2011)

Télécharger la couverture
L'édition précédente
La prochaine édition
10 Articles
Accès libre | 18 juil. 2011
The Definition of Topological Manifolds
Marco Riccardi

Marco Riccardi

Recherchez cet auteur sur
Sciendo|Google Scholar
Riccardi, Marco
  
Accès libre | 18 juil. 2011
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Takao Inoué

Takao Inoué

Recherchez cet auteur sur
Sciendo|Google Scholar
Inoué, Takao
, 
Adam Naumowicz

Adam Naumowicz

Recherchez cet auteur sur
Sciendo|Google Scholar
Naumowicz, Adam
, 
Noboru Endou

Noboru Endou

Recherchez cet auteur sur
Sciendo|Google Scholar
Endou, Noboru
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  
Accès libre | 18 juil. 2011
Normal Subgroup of Product of Groups
Hiroyuki Okazaki

Hiroyuki Okazaki

Recherchez cet auteur sur
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Kenichi Arai

Kenichi Arai

Recherchez cet auteur sur
Sciendo|Google Scholar
Arai, Kenichi
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  
Accès libre | 18 juil. 2011
Difference and Difference Quotient. Part IV
Xiquan Liang

Xiquan Liang

Recherchez cet auteur sur
Sciendo|Google Scholar
Liang, Xiquan
, 
Ling Tang

Ling Tang

Recherchez cet auteur sur
Sciendo|Google Scholar
Tang, Ling
 et 
Xichun Jiang

Xichun Jiang

Recherchez cet auteur sur
Sciendo|Google Scholar
Jiang, Xichun
  
Accès libre | 18 juil. 2011
Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki

Hiroyuki Okazaki

Recherchez cet auteur sur
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Noboru Endou

Noboru Endou

Recherchez cet auteur sur
Sciendo|Google Scholar
Endou, Noboru
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  
Accès libre | 18 juil. 2011
Some Properties of p-Groups and Commutative p-Groups
Xiquan Liang

Xiquan Liang

Recherchez cet auteur sur
Sciendo|Google Scholar
Liang, Xiquan
 et 
Dailu Li

Dailu Li

Recherchez cet auteur sur
Sciendo|Google Scholar
Li, Dailu
  
Accès libre | 18 juil. 2011
More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki

Hiroyuki Okazaki

Recherchez cet auteur sur
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Noboru Endou

Noboru Endou

Recherchez cet auteur sur
Sciendo|Google Scholar
Endou, Noboru
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  
Accès libre | 18 juil. 2011
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima

Keiichi Miyajima

Recherchez cet auteur sur
Sciendo|Google Scholar
Miyajima, Keiichi
, 
Takahiro Kato

Takahiro Kato

Recherchez cet auteur sur
Sciendo|Google Scholar
Kato, Takahiro
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  
Accès libre | 18 juil. 2011
The Mycielskian of a Graph
Piotr Rudnicki

Piotr Rudnicki

Recherchez cet auteur sur
Sciendo|Google Scholar
Rudnicki, Piotr
 et 
Lorna Stewart

Lorna Stewart

Recherchez cet auteur sur
Sciendo|Google Scholar
Stewart, Lorna
  
Accès libre | 18 juil. 2011
Formalization of Integral Linear Space
Yuichi Futa

Yuichi Futa

Recherchez cet auteur sur
Sciendo|Google Scholar
Futa, Yuichi
, 
Hiroyuki Okazaki

Hiroyuki Okazaki

Recherchez cet auteur sur
Sciendo|Google Scholar
Okazaki, Hiroyuki
 et 
Yasunari Shidama

Yasunari Shidama

Recherchez cet auteur sur
Sciendo|Google Scholar
Shidama, Yasunari
  

Chercher

Tous les volumes et éditions dans cette revue

Langue:
Anglais
Périodicité:
1 fois par an
Sujets de la revue:
Mathématiques, Mathématiques générales, Informatique, Informatique, autres
RSS Feed de la revue