Formalized Mathematics's Cover Image
Accès libre

Formalized Mathematics

Volume 22 (2014): Issue 3 (September 2014)

Télécharger la couverture
L'édition précédente
La prochaine édition
7 Articles
Accès libre | 31 mars 2014
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Kazuhisa Nakasho
Kazuhisa Nakasho
, 
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 et 
Yasunari Shidama
Yasunari Shidama
  
Accès libre | 31 mars 2014
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
Peter Jaeger
Peter Jaeger
  
Accès libre | 31 mars 2014
Some Remarkable Identities Involving Numbers
Rafał Ziobro
Rafał Ziobro
  
Accès libre | 31 mars 2014
Topological Properties of Real Normed Space
Kazuhisa Nakasho
Kazuhisa Nakasho
, 
Yuichi Futa
Yuichi Futa
 et 
Yasunari Shidama
Yasunari Shidama
  
Accès libre | 31 mars 2014
Algebraic Approach to Algorithmic Logic
Grzegorz Bancerek
Grzegorz Bancerek
  
Accès libre | 31 mars 2014
Formalization of Generalized Almost Distributive Lattices
Adam Grabowski
Adam Grabowski
  
Accès libre | 31 mars 2014
Difference of Function on Vector Space over F
Kenichi Arai
Kenichi Arai
, 
Ken Wakabayashi
Ken Wakabayashi
 et 
Hiroyuki Okazaki
Hiroyuki Okazaki
  

Chercher

Tous les volumes et éditions dans cette revue

eISSN:
1898-9934
ISSN:
1426-2630
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Mathematics, General Mathematics, Computer Sciences, other
RSS Feed de la revue