Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

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

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
7 Artykułów
Otwarty dostęp | 31 mar 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
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 31 mar 2014
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
Peter Jaeger
Peter Jaeger
  
Otwarty dostęp | 31 mar 2014
Some Remarkable Identities Involving Numbers
Rafał Ziobro
Rafał Ziobro
  
Otwarty dostęp | 31 mar 2014
Topological Properties of Real Normed Space
Kazuhisa Nakasho
Kazuhisa Nakasho
, 
Yuichi Futa
Yuichi Futa
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 31 mar 2014
Algebraic Approach to Algorithmic Logic
Grzegorz Bancerek
Grzegorz Bancerek
  
Otwarty dostęp | 31 mar 2014
Formalization of Generalized Almost Distributive Lattices
Adam Grabowski
Adam Grabowski
  
Otwarty dostęp | 31 mar 2014
Difference of Function on Vector Space over F
Kenichi Arai
Kenichi Arai
, 
Ken Wakabayashi
Ken Wakabayashi
 oraz 
Hiroyuki Okazaki
Hiroyuki Okazaki
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Computer Sciences, other, Mathematics, General Mathematics
Kanał RSS czasopisma