Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 19 (2011): Issue 2 (June 2011)

Download Cover
Previous Issue
Next Issue
9 Articles
Open Access | Jul 18, 2011
Linear Transformations of Euclidean Topological Spaces
Karol Pąk
Pąk, Karol
  
Open Access | Jul 18, 2011
Partial Differentiation, Differentiation and Continuity 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
Sorting by Exchanging
Grzegorz Bancerek
Bancerek, Grzegorz
  
Open Access | Jul 18, 2011
Veblen Hierarchy
Grzegorz Bancerek
Bancerek, Grzegorz
  
Open Access | Jul 18, 2011
Banach Algebra of Bounded Complex-Valued Functionals
Katuhiko Kanazashi
Kanazashi, Katuhiko
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Jul 18, 2011
Conway's Games and Some of their Basic Properties
Robin Nittka
Nittka, Robin
  
Open Access | Jul 18, 2011
Differentiable Functions into Real Normed Spaces
Hiroyuki Okazaki
Okazaki, Hiroyuki
, 
Noboru Endou
Endou, Noboru
, 
Keiko Narita
Narita, Keiko
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Jul 18, 2011
Linear Transformations of Euclidean Topological Spaces. Part II
Karol Pąk
Pąk, Karol
  
Open Access | Jul 18, 2011
The Axiomatization of Propositional Linear Time Temporal Logic
Mariusz Giero
Giero, Mariusz
  

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