Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

Band 16 (2008): Heft 2 (Juni 2008)

COVER HERUNTERLADEN
Vorherige Ausgabe
Nächste Ausgabe
15 Artikel
Uneingeschränkter Zugang | 20. März 2009
Mizar Analysis of Algorithms: Algorithms over Integers
Grzegorz Bancerek

Grzegorz Bancerek

Suche nach diesem Autor auf
Sciendo|Google Scholar
Bancerek, Grzegorz
  
Uneingeschränkter Zugang | 20. März 2009
Heron's Formula and Ptolemy's Theorem
Marco Riccardi

Marco Riccardi

Suche nach diesem Autor auf
Sciendo|Google Scholar
Riccardi, Marco
  
Uneingeschränkter Zugang | 20. März 2009
Ramsey's Theorem
Marco Riccardi

Marco Riccardi

Suche nach diesem Autor auf
Sciendo|Google Scholar
Riccardi, Marco
  
Uneingeschränkter Zugang | 20. März 2009
Towards the Construction of a Model of Mizar Concepts
Grzegorz Bancerek

Grzegorz Bancerek

Suche nach diesem Autor auf
Sciendo|Google Scholar
Bancerek, Grzegorz
  
Uneingeschränkter Zugang | 20. März 2009
Ideals of BCI-algebras and their Properties
Chenglong Wu

Chenglong Wu

Suche nach diesem Autor auf
Sciendo|Google Scholar
Wu, Chenglong
 und 
Yuzhong Ding

Yuzhong Ding

Suche nach diesem Autor auf
Sciendo|Google Scholar
Ding, Yuzhong
  
Uneingeschränkter Zugang | 20. März 2009
Inner Products, Group, Ring of Quaternion Numbers
Fuguo Ge

Fuguo Ge

Suche nach diesem Autor auf
Sciendo|Google Scholar
Ge, Fuguo
  
Uneingeschränkter Zugang | 20. März 2009
Helly Property for Subtrees
Jessica Enright

Jessica Enright

Suche nach diesem Autor auf
Sciendo|Google Scholar
Enright, Jessica
 und 
Piotr Rudnicki

Piotr Rudnicki

Suche nach diesem Autor auf
Sciendo|Google Scholar
Rudnicki, Piotr
  
Uneingeschränkter Zugang | 20. März 2009
Invertibility of Matrices of Field Elements
Yatsuka Nakamura

Yatsuka Nakamura

Suche nach diesem Autor auf
Sciendo|Google Scholar
Nakamura, Yatsuka
, 
Kunio Oniumi

Kunio Oniumi

Suche nach diesem Autor auf
Sciendo|Google Scholar
Oniumi, Kunio
 und 
Wenpai Chang

Wenpai Chang

Suche nach diesem Autor auf
Sciendo|Google Scholar
Chang, Wenpai
  
Uneingeschränkter Zugang | 20. März 2009
The Lebesgue Monotone Convergence Theorem
Noboru Endou

Noboru Endou

Suche nach diesem Autor auf
Sciendo|Google Scholar
Endou, Noboru
, 
Keiko Narita

Keiko Narita

Suche nach diesem Autor auf
Sciendo|Google Scholar
Narita, Keiko
 und 
Yasunari Shidama

Yasunari Shidama

Suche nach diesem Autor auf
Sciendo|Google Scholar
Shidama, Yasunari
  
Uneingeschränkter Zugang | 20. März 2009
Several Higher Differentiation Formulas of Special Functions
Junjie Zhao

Junjie Zhao

Suche nach diesem Autor auf
Sciendo|Google Scholar
Zhao, Junjie
, 
Xiquan Liang

Xiquan Liang

Suche nach diesem Autor auf
Sciendo|Google Scholar
Liang, Xiquan
 und 
Li Yan

Li Yan

Suche nach diesem Autor auf
Sciendo|Google Scholar
Yan, Li
  
Uneingeschränkter Zugang | 20. März 2009
Inverse Trigonometric Functions Arcsec and Arccosec
Bing Xie

Bing Xie

Suche nach diesem Autor auf
Sciendo|Google Scholar
Xie, Bing
, 
Xiquan Liang

Xiquan Liang

Suche nach diesem Autor auf
Sciendo|Google Scholar
Liang, Xiquan
 und 
Fuguo Ge

Fuguo Ge

Suche nach diesem Autor auf
Sciendo|Google Scholar
Ge, Fuguo
  
Uneingeschränkter Zugang | 20. März 2009
Banach Algebra of Bounded Functionals
Yasunari Shidama

Yasunari Shidama

Suche nach diesem Autor auf
Sciendo|Google Scholar
Shidama, Yasunari
, 
Hikofumi Suzuki

Hikofumi Suzuki

Suche nach diesem Autor auf
Sciendo|Google Scholar
Suzuki, Hikofumi
 und 
Noboru Endou

Noboru Endou

Suche nach diesem Autor auf
Sciendo|Google Scholar
Endou, Noboru
  
Uneingeschränkter Zugang | 20. März 2009
Inverse Trigonometric Functions Arctan and Arccot
Xiquan Liang

Xiquan Liang

Suche nach diesem Autor auf
Sciendo|Google Scholar
Liang, Xiquan
 und 
Bing Xie

Bing Xie

Suche nach diesem Autor auf
Sciendo|Google Scholar
Xie, Bing
  
Uneingeschränkter Zugang | 20. März 2009
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Hiroyuki Okazaki

Hiroyuki Okazaki

Suche nach diesem Autor auf
Sciendo|Google Scholar
Okazaki, Hiroyuki
 und 
Yasunari Shidama

Yasunari Shidama

Suche nach diesem Autor auf
Sciendo|Google Scholar
Shidama, Yasunari
  
Uneingeschränkter Zugang | 20. März 2009
Convex Sets and Convex Combinations on Complex Linear Spaces
Hidenori Matsuzaki

Hidenori Matsuzaki

Suche nach diesem Autor auf
Sciendo|Google Scholar
Matsuzaki, Hidenori
, 
Noboru Endou

Noboru Endou

Suche nach diesem Autor auf
Sciendo|Google Scholar
Endou, Noboru
 und 
Yasunari Shidama

Yasunari Shidama

Suche nach diesem Autor auf
Sciendo|Google Scholar
Shidama, Yasunari
  

Suche

Alle Bände und Hefte dieser Zeitschrift

Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Mathematik, Mathematik, Allgemeines, Informatik, Informatik, andere
Zeitschrift RSS Feed