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
Articles & issues
Documents
Previous issue
Formalized Mathematics
Next issue
All volumes and issues in this journal
Volume 33 (2025)
Issue 1 (September 2025)
Volume 32 (2024)
Issue 1 (August 2024)
Volume 31 (2023)
Issue 1 (September 2023)
Volume 30 (2022)
Issue 4 (December 2022)
Issue 3 (October 2022)
Issue 2 (July 2022)
Issue 1 (April 2022)
Volume 29 (2021)
Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 2021)
Volume 28 (2020)
Issue 4 (December 2020)
Issue 3 (October 2020)
Issue 2 (July 2020)
Issue 1 (April 2020)
Volume 27 (2019)
Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 2019)
Volume 26 (2018)
Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)
Volume 25 (2017)
Issue 4 (December 2017)
Issue 3 (October 2017)
Issue 2 (July 2017)
Issue 1 (March 2017)
Volume 24 (2016)
Issue 4 (December 2016)
Issue 3 (September 2016)
Issue 2 (June 2016)
Issue 1 (March 2016)
Volume 23 (2015)
Issue 4 (December 2015)
Issue 3 (September 2015)
Issue 2 (June 2015)
Issue 1 (March 2015)
Volume 22 (2014)
Issue 4 (December 2014)
Issue 3 (September 2014)
Issue 2 (June 2014) - Special Issue: 25 years of the Mizar Mathematical Library
Issue 1 (March 2014)
Volume 21 (2013)
Issue 4 (December 2013)
Issue 3 (October 2013)
Issue 2 (June 2013)
Issue 1 (January 2013)
Volume 20 (2012)
Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)
Volume 19 (2011)
Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)
Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)
Volume 18 (2010)
Issue 4 (December 2010)
Issue 3 (September 2010)
Issue 2 (June 2010)
Issue 1 (March 2010)
Volume 17 (2009)
Issue 4 (December 2009)
Issue 3 (September 2009)
Issue 2 (June 2009)
Issue 1 (March 2009)
Volume 16 (2008)
Issue 4 (December 2008)
Issue 3 (September 2008)
Issue 2 (June 2008)
Issue 1 (March 2008)
Volume 15 (2007)
Issue 4 (December 2007)
Issue 3 (September 2007)
Issue 2 (June 2007)
Issue 1 (March 2007)
Volume 14 (2006)
Issue 4 (December 2006)
Issue 3 (September 2006)
Issue 2 (June 2006)
Issue 1 (March 2006)
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
Formalization of Integral Linear Space
Yuichi Futa
,
Hiroyuki Okazaki
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
Riemann Integral of Functions from R into Real Normed Space
Keiichi Miyajima
,
Takahiro Kato
and
Yasunari Shidama
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
The Mycielskian of a Graph
Piotr Rudnicki
and
Lorna Stewart
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