Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 30 (2022): Issue 4 (December 2022)
Volume 30 (2022): Issue 4 (Dec 2022)
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)
Issue 4 (December 2022)
Issue 3 (October 2022)
Issue 2 (July 2022)
Issue 1 (April 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)
Load more
4 articles
Open Access
|
Feb 2023
Abstract
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
Karol Pąk
Open Access
|
Feb 2023
Abstract
Prime Representing Polynomial with 10 Unknowns
Karol Pąk
Open Access
|
Feb 2023
Abstract
Existence and Uniqueness of Algebraic Closures
Christoph Schwarzweller
Open Access
|
Feb 2023
Abstract
Formalization of Orthogonal Decomposition for Hilbert Spaces
Hiroyuki Okazaki
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