Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 19 (2011): Issue 1 (March 2011)
Volume 19 (2011): Issue 1 (Jan 2011)
Formalized Mathematics
Open Access
Download
Download
Journal details
Journal details
For authors
Table of contents
Documents
Previous issue
Formalized Mathematics
Next issue
All volumes and issues in this journal
Volume 33 (2025)
Volume 32 (2024)
Volume 31 (2023)
Volume 30 (2022)
Volume 29 (2021)
Volume 28 (2020)
Volume 27 (2019)
Volume 26 (2018)
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)
Load more
10 articles
Open Access
|
Jul 2011
Abstract
The Definition of Topological Manifolds
Marco Riccardi
Open Access
|
Jul 2011
Abstract
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Takao Inoué
,
Adam Naumowicz
,
Noboru Endou
and
Yasunari Shidama
Open Access
|
Jul 2011
Abstract
Normal Subgroup of Product of Groups
Hiroyuki Okazaki
,
Kenichi Arai
and
Yasunari Shidama
Open Access
|
Jul 2011
Abstract
Difference and Difference Quotient. Part IV
Xiquan Liang
,
Ling Tang
and
Xichun Jiang
Open Access
|
Jul 2011
Abstract
Cartesian Products of Family of Real Linear Spaces
Hiroyuki Okazaki
,
Noboru Endou
and
Yasunari Shidama
Open Access
|
Jul 2011
Abstract
Some Properties of p-Groups and Commutative p-Groups
Xiquan Liang
and
Dailu Li
Open Access
|
Jul 2011
Abstract
More on Continuous Functions on Normed Linear Spaces
Hiroyuki Okazaki
,
Noboru Endou
and
Yasunari Shidama
Open Access
|
Jul 2011
Abstract
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima
,
Takahiro Kato
and
Yasunari Shidama
Open Access
|
Jul 2011
Abstract
The Mycielskian of a Graph
Piotr Rudnicki
and
Lorna Stewart
Open Access
|
Jul 2011
Abstract
Formalization of Integral Linear Space
Yuichi Futa
,
Hiroyuki Okazaki
and
Yasunari Shidama
eISSN:
1898-9934
|
ISSN:
1426-2630
|
Language:
English
|
Publication frequency:
1 time per year
Published by:
University of Bialystok
In partnership with:
Paradigm Publishing Services
Related subjects:
Mathematics
,
General mathematics
,
Computer sciences
,
Computer sciences, other
Journal RSS Feed