Have a personal or library account? Click to login
Volume 18 (2010): Issue 1 (March 2010) Cover

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

Formalized Mathematics
Open Access
Journal detailsArticles & issues
Previous issueFormalized MathematicsNext issue

All volumes and issues in this journal

Issue 4 (December 2010)
Issue 3 (September 2010)
Issue 2 (June 2010)
Issue 1 (March 2010)

13 articles
Open Access
|Jan 2011
Free Magmas
Marco Riccardi  
Open Access
|Jan 2011
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
Magdalena Jastrzębska  
Open Access
|Jan 2011
A Model of Mizar Concepts - Unification
Grzegorz Bancerek  
Open Access
|Jan 2011
Nilpotent Groups
Dailu Li,  Xiquan Liang and  Yanhong Men  
Open Access
|Jan 2011
Affine Independence in Vector Spaces
Karol Pąk  
Open Access
|Jan 2011
Partial Differentiation of Real Ternary Functions
Takao Inoué,  Bing Xie and  Xiquan Liang  
Open Access
|Jan 2011
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
Artur Korniłowicz  
Open Access
|Jan 2011
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
Xiquan Liang,  Piqing Zhao and  Ou Bai  
Open Access
|Jan 2011
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Katuhiko Kanazashi,  Noboru Endou and  Yasunari Shidama  
Open Access
|Jan 2011
Integrability Formulas. Part I
Bo Li and  Na Ma  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed