Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Volume 16 (2008): Issue 1 (March 2008)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
12 Artykułów
Otwarty dostęp | 20 mar 2009
Difference and Difference Quotient. Part II
Bo Li
Bo Li
, 
Yanping Zhuang
Yanping Zhuang
 oraz 
Xiquan Liang
Xiquan Liang
  
Otwarty dostęp | 20 mar 2009
Euler's Polyhedron Formula
Jesse Alama
Jesse Alama
  
Otwarty dostęp | 20 mar 2009
Solutions of Linear Equations
Karol Pąk
Karol Pąk
  
Otwarty dostęp | 20 mar 2009
The Vector Space of Subsets of a Set Based on Symmetric Difference
Jesse Alama
Jesse Alama
  
Otwarty dostęp | 20 mar 2009
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II
Katsumi Wasaki
Katsumi Wasaki
  
Otwarty dostęp | 20 mar 2009
BCI-algebras with Condition (S) and their Properties
Tao Sun
Tao Sun
, 
Junjie Zhao
Junjie Zhao
 oraz 
Xiquan Liang
Xiquan Liang
  
Otwarty dostęp | 20 mar 2009
Regular Expression Quantifiers - at least m Occurrences
Michał Trybulec
Michał Trybulec
  
Otwarty dostęp | 20 mar 2009
Complete Spaces
Karol Pąk
Karol Pąk
  
Otwarty dostęp | 20 mar 2009
Uniform Boundedness Principle
Hideki Sakurai
Hideki Sakurai
, 
Hisayoshi Kunimune
Hisayoshi Kunimune
 oraz 
Yasunari Shidama
Yasunari Shidama
  
Otwarty dostęp | 20 mar 2009
Egoroff's Theorem
Noboru Endou
Noboru Endou
, 
Yasunari Shidama
Yasunari Shidama
 oraz 
Keiko Narita
Keiko Narita
  
Otwarty dostęp | 20 mar 2009
Gauss Lemma and Law of Quadratic Reciprocity
Li Yan
Li Yan
, 
Xiquan Liang
Xiquan Liang
 oraz 
Junjie Zhao
Junjie Zhao
  
Otwarty dostęp | 20 mar 2009
The First Mean Value Theorem for Integrals
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 oraz 
Yasunari Shidama
Yasunari Shidama
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
ISSN:
1426-2630
Język:
Angielski
Częstotliwość wydawania:
Volume Open
Dziedziny czasopisma:
Mathematics, General Mathematics, Computer Sciences, other
Kanał RSS czasopisma