Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 29 (2021): Issue 4 (December 2021)
Volume 29 (2021): Issue 4 (Dec 2021)
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)
Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 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)
Load more
10 articles
Open Access
|
Jul 2022
Abstract
Automatization of Ternary Boolean Algebras
Wojciech Kuśmierowski
and
Adam Grabowski
Open Access
|
Jul 2022
Abstract
Duality Notions in Real Projective Plane
Roland Coghetto
Open Access
|
Jul 2022
Abstract
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho
,
Hiroyuki Okazaki
and
Yasunari Shidama
Open Access
|
Jul 2022
Abstract
Relationship between the Riemann and Lebesgue Integrals
Noboru Endou
Open Access
|
Jul 2022
Abstract
Improper Integral. Part I
Noboru Endou
Open Access
|
Jul 2022
Abstract
Prime Representing Polynomial
Karol Pąk
Open Access
|
Jul 2022
Abstract
Quadratic Extensions
Christoph Schwarzweller
and
Agnieszka Rowińska-Schwarzweller
Open Access
|
Jul 2022
Abstract
The 3-Fold Product Space of Real Normed Spaces and its Properties
Hiroyuki Okazaki
and
Kazuhisa Nakasho
Open Access
|
Jul 2022
Abstract
About Graph Sums
Sebastian Koch
Open Access
|
Jul 2022
Abstract
Improper Integral. Part II
Noboru Endou
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:
Computer sciences
,
Computer sciences, other
,
Mathematics
,
General mathematics
Journal RSS Feed