Formalized Mathematics (original) (raw)

Skip to main content

Have a personal or library account? Click to login

Paradigmreference-global.com

PartnersContact

2. Journals
3. Formalized Mathematics
4. Volume 30 (2022): Issue 4 (December 2022)

Volume 30 (2022): Issue 4 (Dec 2022)

Open Access

Journal detailsArticles & issues

Formalized Mathematics

Previous issue

Next issue

All volumes and issues in this journal

Issue 4 (December 2022)

Issue 3 (October 2022)

Issue 2 (July 2022)

Issue 1 (April 2022)

4 articles

Open Access

|Feb 2023

Prime Representing Polynomial with 10 Unknowns – Introduction. Part II

[Karol Pąk](/search?commonSearchText="Pąk, Karol")

Open Access

|Feb 2023

Prime Representing Polynomial with 10 Unknowns

[Karol Pąk](/search?commonSearchText="Pąk, Karol")

Open Access

|Feb 2023

Existence and Uniqueness of Algebraic Closures

[Christoph Schwarzweller](/search?commonSearchText="Schwarzweller, Christoph")

Open Access

|Feb 2023

Formalization of Orthogonal Decomposition for Hilbert Spaces

[Hiroyuki Okazaki](/search?commonSearchText="Okazaki, Hiroyuki")

eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year

Published by: University of Białystok

In partnership with:

Paradigm Publishing Services

Related subjects:

Mathematics,

Logic and set theory,

Computer sciences,

Artificial intelligence

Journal RSS Feed