Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

Volumen 22 (2014): Edición 3 (Septiembre 2014)

Descargar portada
Edición anterior
Próxima edición
7 Artículos
Acceso abierto | 31 mar 2014
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Kazuhisa Nakasho
Nakasho, Kazuhisa
, 
Yuichi Futa
Futa, Yuichi
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 31 mar 2014
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
Peter Jaeger
Jaeger, Peter
  
Acceso abierto | 31 mar 2014
Some Remarkable Identities Involving Numbers
Rafał Ziobro
Ziobro, Rafał
  
Acceso abierto | 31 mar 2014
Topological Properties of Real Normed Space
Kazuhisa Nakasho
Nakasho, Kazuhisa
, 
Yuichi Futa
Futa, Yuichi
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 31 mar 2014
Algebraic Approach to Algorithmic Logic
Grzegorz Bancerek
Bancerek, Grzegorz
  
Acceso abierto | 31 mar 2014
Formalization of Generalized Almost Distributive Lattices
Adam Grabowski
Grabowski, Adam
  
Acceso abierto | 31 mar 2014
Difference of Function on Vector Space over F
Kenichi Arai
Arai, Kenichi
, 
Ken Wakabayashi
Wakabayashi, Ken
 y 
Hiroyuki Okazaki
Okazaki, Hiroyuki
  

Buscar

Todos los volúmenes y ediciones en esta revista

Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Matemáticas, Matemáticas generales, Informática, Informática, otros
RSS Feed de revista
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy