Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

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

COVER HERUNTERLADEN
Vorherige Ausgabe
Nächste Ausgabe
10 Artikel
Uneingeschränkter Zugang | 18. Juli 2011
Normal Subgroup of Product of Groups
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Kenichi Arai
Kenichi Arai
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 18. Juli 2011
Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Noboru Endou
Noboru Endou
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 18. Juli 2011
The Mycielskian of a Graph
Piotr Rudnicki
Piotr Rudnicki
 und 
Lorna Stewart
Lorna Stewart
  
Uneingeschränkter Zugang | 18. Juli 2011
Some Properties of p-Groups and Commutative p-Groups
Xiquan Liang
Xiquan Liang
 und 
Dailu Li
Dailu Li
  
Uneingeschränkter Zugang | 18. Juli 2011
More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Noboru Endou
Noboru Endou
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 18. Juli 2011
Formalization of Integral Linear Space
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 18. Juli 2011
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Takao Inoué
Takao Inoué
, 
Adam Naumowicz
Adam Naumowicz
, 
Noboru Endou
Noboru Endou
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 18. Juli 2011
Difference and Difference Quotient. Part IV
Xiquan Liang
Xiquan Liang
, 
Ling Tang
Ling Tang
 und 
Xichun Jiang
Xichun Jiang
  
Uneingeschränkter Zugang | 18. Juli 2011
The Definition of Topological Manifolds
Marco Riccardi
Marco Riccardi
  
Uneingeschränkter Zugang | 18. Juli 2011
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima
Keiichi Miyajima
, 
Takahiro Kato
Takahiro Kato
 und 
Yasunari Shidama
Yasunari Shidama
  

Suche

Alle Bände und Hefte dieser Zeitschrift

eISSN:
1898-9934
ISSN:
1426-2630
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Mathematik, Allgemeines, Informatik, andere
Zeitschrift RSS Feed