Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 19 (2011): Zeszyt 1 (Marzec 2011)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
10 Artykułów
Otwarty dostęp | 18 lip 2011
The Definition of Topological Manifolds
Marco Riccardi

Marco Riccardi

Wyszukaj tego autora
Sciendo|Google Scholar
Riccardi, Marco
  
Otwarty dostęp | 18 lip 2011
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Takao Inoué

Takao Inoué

Wyszukaj tego autora
Sciendo|Google Scholar
Inoué, Takao
, 
Adam Naumowicz

Adam Naumowicz

Wyszukaj tego autora
Sciendo|Google Scholar
Naumowicz, Adam
, 
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 18 lip 2011
Normal Subgroup of Product of Groups
Hiroyuki Okazaki

Hiroyuki Okazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Kenichi Arai

Kenichi Arai

Wyszukaj tego autora
Sciendo|Google Scholar
Arai, Kenichi
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 18 lip 2011
Difference and Difference Quotient. Part IV
Xiquan Liang

Xiquan Liang

Wyszukaj tego autora
Sciendo|Google Scholar
Liang, Xiquan
, 
Ling Tang

Ling Tang

Wyszukaj tego autora
Sciendo|Google Scholar
Tang, Ling
 oraz 
Xichun Jiang

Xichun Jiang

Wyszukaj tego autora
Sciendo|Google Scholar
Jiang, Xichun
  
Otwarty dostęp | 18 lip 2011
Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki

Hiroyuki Okazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 18 lip 2011
Some Properties of p-Groups and Commutative p-Groups
Xiquan Liang

Xiquan Liang

Wyszukaj tego autora
Sciendo|Google Scholar
Liang, Xiquan
 oraz 
Dailu Li

Dailu Li

Wyszukaj tego autora
Sciendo|Google Scholar
Li, Dailu
  
Otwarty dostęp | 18 lip 2011
More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki

Hiroyuki Okazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Okazaki, Hiroyuki
, 
Noboru Endou

Noboru Endou

Wyszukaj tego autora
Sciendo|Google Scholar
Endou, Noboru
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 18 lip 2011
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima

Keiichi Miyajima

Wyszukaj tego autora
Sciendo|Google Scholar
Miyajima, Keiichi
, 
Takahiro Kato

Takahiro Kato

Wyszukaj tego autora
Sciendo|Google Scholar
Kato, Takahiro
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  
Otwarty dostęp | 18 lip 2011
The Mycielskian of a Graph
Piotr Rudnicki

Piotr Rudnicki

Wyszukaj tego autora
Sciendo|Google Scholar
Rudnicki, Piotr
 oraz 
Lorna Stewart

Lorna Stewart

Wyszukaj tego autora
Sciendo|Google Scholar
Stewart, Lorna
  
Otwarty dostęp | 18 lip 2011
Formalization of Integral Linear Space
Yuichi Futa

Yuichi Futa

Wyszukaj tego autora
Sciendo|Google Scholar
Futa, Yuichi
, 
Hiroyuki Okazaki

Hiroyuki Okazaki

Wyszukaj tego autora
Sciendo|Google Scholar
Okazaki, Hiroyuki
 oraz 
Yasunari Shidama

Yasunari Shidama

Wyszukaj tego autora
Sciendo|Google Scholar
Shidama, Yasunari
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma