Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 17 (2009): Issue 2 (June 2009)

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

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed