[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

Volumen 17 (2009): Edición 2 (Junio 2009)

Descargar portada
Edición anterior
Próxima edición
18 Artículos
Acceso abierto | 14 jul 2009
Solution of Cubic and Quartic Equations
Marco Riccardi
Riccardi, Marco
  
Acceso abierto | 14 jul 2009
Collective Operations on Number-Membered Sets
Artur Korniłowicz
Korniłowicz, Artur
  
Acceso abierto | 14 jul 2009
Equivalence of Deterministic and Nondeterministic Epsilon Automata
Michał Trybulec
Trybulec, Michał
  
Acceso abierto | 14 jul 2009
The Perfect Number Theorem and Wilson's Theorem
Marco Riccardi
Riccardi, Marco
  
Acceso abierto | 14 jul 2009
Lebesgue's Convergence Theorem of Complex-Valued Function
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 14 jul 2009
Labelled State Transition Systems
Michał Trybulec
Trybulec, Michał
  
Acceso abierto | 14 jul 2009
Basic Properties of Even and Odd Functions
Bo Li
Li, Bo
 y 
Yanhong Men
Men, Yanhong
  
Acceso abierto | 14 jul 2009
Probability on Finite Set and Real-Valued Random Variables
Hiroyuki Okazaki
Okazaki, Hiroyuki
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 14 jul 2009
Properties of Primes and Multiplicative Group of a Field
Kenichi Arai
Arai, Kenichi
 y 
Hiroyuki Okazaki
Okazaki, Hiroyuki
  
Acceso abierto | 14 jul 2009
The Measurability of Complex-Valued Functional Sequences
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 14 jul 2009
Riemann Integral of Functions from R into Rn
Keiichi Miyajima
Miyajima, Keiichi
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 14 jul 2009
Kolmogorov's Zero-One Law
Agnes Doll
Doll, Agnes
  
Acceso abierto | 14 jul 2009
Some Operations on Quaternion Numbers
Bo Li
Li, Bo
, 
Xiquan Liang
Liang, Xiquan
, 
Pan Wang
Wang, Pan
 y 
Yanping Zhuang
Zhuang, Yanping
  
Acceso abierto | 14 jul 2009
Probability on Finite and Discrete Set and Uniform Distribution
Hiroyuki Okazaki
Okazaki, Hiroyuki
  
Acceso abierto | 14 jul 2009
Complex Function Differentiability
Chanapat Pacharapokin
Pacharapokin, Chanapat
, 
Hiroshi Yamazaki
Yamazaki, Hiroshi
, 
Yasunari Shidama
Shidama, Yasunari
 y 
Yatsuka Nakamura
Nakamura, Yatsuka
  
Acceso abierto | 14 jul 2009
The Cauchy-Riemann Differential Equations of Complex Functions
Hiroshi Yamazaki
Yamazaki, Hiroshi
, 
Yasunari Shidama
Shidama, Yasunari
, 
Yatsuka Nakamura
Nakamura, Yatsuka
 y 
Chanapat Pacharapokin
Pacharapokin, Chanapat
  
Acceso abierto | 14 jul 2009
Second-Order Partial Differentiation of Real Binary Functions
Bing Xie
Xie, Bing
, 
Xiquan Liang
Liang, Xiquan
 y 
Xiuzhuan Shen
Shen, Xiuzhuan
  
Acceso abierto | 14 jul 2009
Hopf Extension Theorem of Measure
Noboru Endou
Endou, Noboru
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 y 
Yasunari Shidama
Shidama, Yasunari
  

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