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

Volume 29 (2021): Issue 4 (Dec 2021)

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue
Next issue

All volumes and issues in this journal

Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 2021)

10 articles
Open Access
|Jul 2022
Automatization of Ternary Boolean Algebras
Wojciech Kuśmierowski and  Adam Grabowski  
Open Access
|Jul 2022
Duality Notions in Real Projective Plane
Roland Coghetto  
Open Access
|Jul 2022
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Jul 2022
Relationship between the Riemann and Lebesgue Integrals
Noboru Endou  
Open Access
|Jul 2022
Improper Integral. Part I
Noboru Endou  
Open Access
|Jul 2022
Prime Representing Polynomial
Karol Pąk  
Open Access
|Jul 2022
Quadratic Extensions
Christoph Schwarzweller and  Agnieszka Rowińska-Schwarzweller  
Open Access
|Jul 2022
The 3-Fold Product Space of Real Normed Spaces and its Properties
Hiroyuki Okazaki and  Kazuhisa Nakasho  
Open Access
|Jul 2022
About Graph Sums
Sebastian Koch  
Open Access
|Jul 2022
Improper Integral. Part II
Noboru Endou  
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