Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 18 (2010): Issue 1 (March 2010)

Download Cover
Previous Issue
Next Issue
13 Articles
Open Access | Jan 05, 2011
Free Magmas
Marco Riccardi

Marco Riccardi

Search for this author on
Sciendo|Google Scholar
Riccardi, Marco
  
Open Access | Jan 05, 2011
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
Magdalena Jastrzębska

Magdalena Jastrzębska

Search for this author on
Sciendo|Google Scholar
Jastrzębska, Magdalena
  
Open Access | Jan 05, 2011
A Model of Mizar Concepts - Unification
Grzegorz Bancerek

Grzegorz Bancerek

Search for this author on
Sciendo|Google Scholar
Bancerek, Grzegorz
  
Open Access | Jan 05, 2011
Nilpotent Groups
Dailu Li

Dailu Li

Search for this author on
Sciendo|Google Scholar
Li, Dailu
, 
Xiquan Liang

Xiquan Liang

Search for this author on
Sciendo|Google Scholar
Liang, Xiquan
 and 
Yanhong Men

Yanhong Men

Search for this author on
Sciendo|Google Scholar
Men, Yanhong
  
Open Access | Jan 05, 2011
Affine Independence in Vector Spaces
Karol Pąk

Karol Pąk

Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
Open Access | Jan 05, 2011
Partial Differentiation of Real Ternary Functions
Takao Inoué

Takao Inoué

Search for this author on
Sciendo|Google Scholar
Inoué, Takao
, 
Bing Xie

Bing Xie

Search for this author on
Sciendo|Google Scholar
Xie, Bing
 and 
Xiquan Liang

Xiquan Liang

Search for this author on
Sciendo|Google Scholar
Liang, Xiquan
  
Open Access | Jan 05, 2011
Difference and Difference Quotient. Part III
Xiquan Liang

Xiquan Liang

Search for this author on
Sciendo|Google Scholar
Liang, Xiquan
 and 
Ling Tang

Ling Tang

Search for this author on
Sciendo|Google Scholar
Tang, Ling
  
Open Access | Jan 05, 2011
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
Xiquan Liang

Xiquan Liang

Search for this author on
Sciendo|Google Scholar
Liang, Xiquan
, 
Piqing Zhao

Piqing Zhao

Search for this author on
Sciendo|Google Scholar
Zhao, Piqing
 and 
Ou Bai

Ou Bai

Search for this author on
Sciendo|Google Scholar
Bai, Ou
  
Open Access | Jan 05, 2011
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Katuhiko Kanazashi

Katuhiko Kanazashi

Search for this author on
Sciendo|Google Scholar
Kanazashi, Katuhiko
, 
Noboru Endou

Noboru Endou

Search for this author on
Sciendo|Google Scholar
Endou, Noboru
 and 
Yasunari Shidama

Yasunari Shidama

Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Jan 05, 2011
Integrability Formulas. Part I
Bo Li

Bo Li

Search for this author on
Sciendo|Google Scholar
Li, Bo
 and 
Na Ma

Na Ma

Search for this author on
Sciendo|Google Scholar
Ma, Na
  
Open Access | Jan 05, 2011
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Kazuhisa Ishida

Kazuhisa Ishida

Search for this author on
Sciendo|Google Scholar
Ishida, Kazuhisa
 and 
Yasunari Shidama

Yasunari Shidama

Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Jan 05, 2011
Abstract Simplicial Complexes
Karol Pąk

Karol Pąk

Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
Open Access | Jan 05, 2011
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
Artur Korniłowicz

Artur Korniłowicz

Search for this author on
Sciendo|Google Scholar
Korniłowicz, Artur
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed