Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

Volume 16 (2008): Issue 2 (June 2008)

Descargar portada
Edición anterior
Próxima edición
15 Artículos
Acceso abierto | 20 mar 2009
Convex Sets and Convex Combinations on Complex Linear Spaces
Hidenori Matsuzaki
Hidenori Matsuzaki
, 
Noboru Endou
Noboru Endou
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 20 mar 2009
Mizar Analysis of Algorithms: Algorithms over Integers
Grzegorz Bancerek
Grzegorz Bancerek
  
Acceso abierto | 20 mar 2009
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Hiroyuki Okazaki
Hiroyuki Okazaki
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 20 mar 2009
Helly Property for Subtrees
Jessica Enright
Jessica Enright
 y 
Piotr Rudnicki
Piotr Rudnicki
  
Acceso abierto | 20 mar 2009
Inverse Trigonometric Functions Arcsec and Arccosec
Bing Xie
Bing Xie
, 
Xiquan Liang
Xiquan Liang
 y 
Fuguo Ge
Fuguo Ge
  
Acceso abierto | 20 mar 2009
Heron's Formula and Ptolemy's Theorem
Marco Riccardi
Marco Riccardi
  
Acceso abierto | 20 mar 2009
Ramsey's Theorem
Marco Riccardi
Marco Riccardi
  
Acceso abierto | 20 mar 2009
Invertibility of Matrices of Field Elements
Yatsuka Nakamura
Yatsuka Nakamura
, 
Kunio Oniumi
Kunio Oniumi
 y 
Wenpai Chang
Wenpai Chang
  
Acceso abierto | 20 mar 2009
Ideals of BCI-algebras and their Properties
Chenglong Wu
Chenglong Wu
 y 
Yuzhong Ding
Yuzhong Ding
  
Acceso abierto | 20 mar 2009
Inverse Trigonometric Functions Arctan and Arccot
Xiquan Liang
Xiquan Liang
 y 
Bing Xie
Bing Xie
  
Acceso abierto | 20 mar 2009
Several Higher Differentiation Formulas of Special Functions
Junjie Zhao
Junjie Zhao
, 
Xiquan Liang
Xiquan Liang
 y 
Li Yan
Li Yan
  
Acceso abierto | 20 mar 2009
Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge
Fuguo Ge
  
Acceso abierto | 20 mar 2009
Banach Algebra of Bounded Functionals
Yasunari Shidama
Yasunari Shidama
, 
Hikofumi Suzuki
Hikofumi Suzuki
 y 
Noboru Endou
Noboru Endou
  
Acceso abierto | 20 mar 2009
The Lebesgue Monotone Convergence Theorem
Noboru Endou
Noboru Endou
, 
Keiko Narita
Keiko Narita
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 20 mar 2009
Towards the Construction of a Model of Mizar Concepts
Grzegorz Bancerek
Grzegorz Bancerek
  

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
ISSN:
1426-2630
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Mathematics, General Mathematics, Computer Sciences, other
RSS Feed de revista