Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 22 (2014): Issue 1 (March 2014)
Volume 22 (2014): Issue 1 (Mar 2014)
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)
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)
Volume 20 (2012)
Volume 19 (2011)
Load more
10 articles
Open Access
|
Mar 2014
Abstract
Definition of Flat Poset and Existence Theorems for Recursive Call
Kazuhisa Ishida
,
Yasunari Shidama
and
Adam Grabowski
Open Access
|
Mar 2014
Abstract
Tietze Extension Theorem for n-dimensional Spaces
Karol Pąk
Open Access
|
Mar 2014
Abstract
Brouwer Invariance of Domain Theorem
Karol Pąk
Open Access
|
Mar 2014
Abstract
The Formalization of Decision-Free Petri Net
Pratima K. Shah
,
Pauline N. Kawamoto
and
Mariusz Giero
Open Access
|
Mar 2014
Abstract
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Grzegorz Bancerek
Open Access
|
Mar 2014
Abstract
Double Series and Sums
Noboru Endou
Open Access
|
Mar 2014
Abstract
Dual Spaces and Hahn-Banach Theorem
Keiko Narita
,
Noboru Endou
and
Yasunari Shidama
Open Access
|
Mar 2014
Abstract
Semiring of Sets
Roland Coghetto
Open Access
|
Mar 2014
Abstract
Semiring of Sets: Examples
Roland Coghetto
Open Access
|
Mar 2014
Abstract
Topological Interpretation of Rough Sets
Adam Grabowski
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