Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 24 (2016): Issue 4 (December 2016)
Volume 24 (2016): Issue 4 (Dec 2016)
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)
Issue 4 (December 2016)
Issue 3 (September 2016)
Issue 2 (June 2016)
Issue 1 (March 2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Load more
7 articles
Open Access
|
Feb 2017
Abstract
Homography in ℝℙ
Roland Coghetto
Open Access
|
Feb 2017
Abstract
The Basic Existence Theorem of Riemann-Stieltjes Integral
Kazuhisa Nakasho
,
Keiko Narita
and
Yasunari Shidama
Open Access
|
Feb 2017
Abstract
On Subnomials
Rafał Ziobro
Open Access
|
Feb 2017
Abstract
Leibniz Series for π
Karol Pąk
Open Access
|
Feb 2017
Abstract
The Axiomatization of Propositional Logic
Mariusz Giero
Open Access
|
Feb 2017
Abstract
Algebraic Numbers
Yasushige Watase
Open Access
|
Feb 2017
Abstract
Niven’s Theorem
Artur Korniłowicz
and
Adam Naumowicz
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