Skip to main content
Have a personal or library account? Click to login

Volume 30 (2022): Issue 3 (Oct 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)

8 articles
Open Access
|Dec 2022
On Implicit and Inverse Function Theorems on Euclidean Spaces
Kazuhisa Nakasho and  Yasunari Shidama  
Open Access
|Dec 2022
Prime Representing Polynomial with 10 Unknowns – Introduction
Karol Pąk  
Open Access
|Dec 2022
Artin’s Theorem Towards the Existence of Algebraic Closures
Christoph Schwarzweller  
Open Access
|Dec 2022
The Divergence of the Sum of Prime Reciprocals
Mario Carneiro  
Open Access
|Dec 2022
Ring of Endomorphisms and Modules over a Ring
Yasushige Watase  
Open Access
|Dec 2022
Elementary Number Theory Problems. Part IV
Artur Korniłowicz  
Open Access
|Dec 2022
Elementary Number Theory Problems. Part V
Artur Korniłowicz and  Adam Naumowicz  
Open Access
|Dec 2022
Elementary Number Theory Problems. Part VI
Adam Grabowski  
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:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics
Journal RSS Feed