Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 20 (2012): Issue 1 (January 2012)
Volume 20 (2012): Issue 1 (Jan 2012)
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)
Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)
Volume 19 (2011)
Load more
12 articles
Open Access
|
Sep 2012
Abstract
Planes and Spheres as Topological Manifolds. Stereographic Projection
Marco Riccardi
Open Access
|
Sep 2012
Abstract
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Keiichi Miyajima
,
Artur Korniłowicz
and
Yasunari Shidama
Open Access
|
Sep 2012
Abstract
Functional Space C(ω), C0(ω)
Katuhiko Kanazashi
,
Hiroyuki Okazaki
and
Yasunari Shidama
Open Access
|
Sep 2012
Abstract
Valuation Theory. Part I
Grzegorz Bancerek
,
Hidetsune Kobayashi
and
Artur Korniłowicz
Open Access
|
Sep 2012
Abstract
The Rotation Group
Karol Pąk
Open Access
|
Sep 2012
Abstract
Z-modules
Yuichi Futa
,
Hiroyuki Okazaki
and
Yasunari Shidama
Open Access
|
Sep 2012
Abstract
Operations of Points on Elliptic Curve in Projective Coordinates
Yuichi Futa
,
Hiroyuki Okazaki
,
Daichi Mizushima
and
Yasunari Shidama
Open Access
|
Sep 2012
Abstract
Some Basic Properties of Some Special Matrices. Part III
Xiquan Liang
and
Tao Wang
Open Access
|
Sep 2012
Abstract
Morphology for Image Processing. Part I
Hiroshi Yamazaki
,
Czesław Byliński
and
Katsumi Wasaki
Open Access
|
Sep 2012
Abstract
The Differentiable Functions from R into Rn
Keiko Narita
,
Artur Korniłowicz
and
Yasunari Shidama
1
2
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