Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 14 (2006): Issue 4 (December 2006)
Volume 14 (2006): Issue 4 (Jan 2006)
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)
Volume 18 (2010)
Volume 17 (2009)
Volume 16 (2008)
Volume 15 (2007)
Volume 14 (2006)
Issue 4 (December 2006)
Issue 3 (September 2006)
Issue 2 (June 2006)
Issue 1 (March 2006)
12 articles
Open Access
|
Jun 2008
Abstract
Baire's Category Theorem and Some Spaces Generated from Real Normed Space1
Noboru Endou
,
Yasunari Shidama
and
Katsumasa Okamura
Open Access
|
Jun 2008
Abstract
On the Representation of Natural Numbers in Positional Numeral Systems1
Adam Naumowicz
Open Access
|
Jun 2008
Abstract
The Catalan Numbers. Part II1
Karol Pąk
Open Access
|
Jun 2008
Abstract
Recognizing Chordal Graphs: Lex BFS and MCS1
Broderick Arneson
and
Piotr Rudnicki
Open Access
|
Jun 2008
Abstract
Integrability and the Integral of Partial Functions from R into R1
Noboru Endou
,
Yasunari Shidama
and
Masahiko Yamazaki
Open Access
|
Jun 2008
Abstract
Model Checking. Part I
Kazuhisa Ishida
Open Access
|
Jun 2008
Abstract
Multiplication of Polynomials using Discrete Fourier Transformation
Krzysztof Treyderowski
and
Christoph Schwarzweller
Open Access
|
Jun 2008
Abstract
Some Special Matrices of Real Elements and Their Properties
Xiquan Liang
,
Fuguo Ge
and
Xiaopeng Yue
Open Access
|
Jun 2008
Abstract
The Relevance of Measure and Probability, and Definition of Completeness of Probability
Bo Zhang
,
Hiroshi Yamazaki
and
Yatsuka Nakamura
Open Access
|
Jun 2008
Abstract
Integral of Real-Valued Measurable Function1
Yasunari Shidama
and
Noboru Endou
1
2
eISSN:
1898-9934
|
ISSN:
1426-2630
|
Language:
English
|
Publication frequency:
1 time per year
Published by:
University of Białystok, Department of Pedagogy and Psychology
In partnership with:
Paradigm Publishing Services
Related subjects:
Mathematics
,
General mathematics
,
Computer sciences
,
Computer sciences, other
Journal RSS Feed