Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 27 (2019): Issue 2 (July 2019)
Volume 27 (2019): Issue 2 (Jul 2019)
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)
Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 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
11 articles
Open Access
|
Jul 2019
Abstract
On Roots of Polynomials over F[X]/ 〈p〉
Christoph Schwarzweller
Open Access
|
Jul 2019
Abstract
Isomorphisms from the Space of Multilinear Operators
Kazuhisa Nakasho
Open Access
|
Jul 2019
Abstract
Invertible Operators on Banach Spaces
Kazuhisa Nakasho
Open Access
|
Jul 2019
Abstract
Implicit Function Theorem. Part II
Kazuhisa Nakasho
and
Yasunari Shidama
Open Access
|
Jul 2019
Abstract
On Monomorphisms and Subfields
Christoph Schwarzweller
Open Access
|
Jul 2019
Abstract
Natural Addition of Ordinals
Sebastian Koch
Open Access
|
Jul 2019
Abstract
About Supergraphs. Part III
Sebastian Koch
Open Access
|
Jul 2019
Abstract
Partial Correctness of a Factorial Algorithm
Adrian Jaszczak
and
Artur Korniłowicz
Open Access
|
Jul 2019
Abstract
Partial Correctness of a Power Algorithm
Adrian Jaszczak
Open Access
|
Jul 2019
Abstract
Diophantine Sets. Part II
Karol Pąk
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