Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

Volume 20 (2012): Issue 4 (December 2012)

COVER HERUNTERLADEN
Vorherige Ausgabe
Nächste Ausgabe
10 Artikel
Uneingeschränkter Zugang | 02. Feb. 2013
Posterior Probability on Finite Set
Hiroyuki Okazaki
Hiroyuki Okazaki
  
Uneingeschränkter Zugang | 02. Feb. 2013
Basic Properties of Primitive Root and Order Function
Na Ma
Na Ma
 und 
Xiquan Liang
Xiquan Liang
  
Uneingeschränkter Zugang | 02. Feb. 2013
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Hideki Sakurai
Hideki Sakurai
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 02. Feb. 2013
Free ℤ-module
Yuichi Futa
Yuichi Futa
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 02. Feb. 2013
Cayley-Dickson Construction
Artur Korniłowicz
Artur Korniłowicz
  
Uneingeschränkter Zugang | 02. Feb. 2013
Contracting Mapping on Normed Linear Space
Keiichi Miyajima
Keiichi Miyajima
, 
Artur Korniłowicz
Artur Korniłowicz
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 02. Feb. 2013
Products in Categories without Uniqueness of cod and dom
Artur Korniłowicz
Artur Korniłowicz
  
Uneingeschränkter Zugang | 02. Feb. 2013
Program Algebra over an Algebra
Grzegorz Bancerek
Grzegorz Bancerek
  
Uneingeschränkter Zugang | 02. Feb. 2013
Isomorphisms of Direct Products of Finite Cyclic Groups
Kenichi Arai
Kenichi Arai
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 02. Feb. 2013
On L1 Space Formed by Complex-Valued Partial Functions
Yasushige Watase
Yasushige Watase
, 
Noboru Endou
Noboru Endou
 und 
Yasunari Shidama
Yasunari Shidama
  

Suche

Alle Bände und Hefte dieser Zeitschrift

eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines
Zeitschrift RSS Feed