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

Volume 33 (2025): Issue 1 (Sep 2025)

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue

All volumes and issues in this journal

Issue 1 (September 2025)

20 articles
Open Access
|Sep 2025
Surreal Numbers: A Study of Square Roots
Karol Pąk  
Open Access
|Sep 2025
Surreal Dyadic and Real Numbers: A Formal Construction
Karol Pąk  
Open Access
|Sep 2025
Conway’s Normal Form in the Mizar System
Karol Pąk  
Open Access
|Dec 2025
Free Product of Groups
Sebastian Koch  
Open Access
|Dec 2025
Extensions of Languages in Polish Notation
Taneli Huuskonen  
Open Access
|Dec 2025
Semidirect Products of Groups
Alexander M. Nelson  
Open Access
|Dec 2025
Formalization of Wallis Infinite Product Formula for π and the Wallis Integral
Yasushige Watase  
Open Access
|Dec 2025
A Formal Proof of Stirling’s Formula
Yasushige Watase  
Open Access
|Dec 2025
Higher Order Partial Differentiable Functions
Kazuhisa Nakasho and  Yasunari Shidama  
Open Access
|Dec 2025
Measure for Product Space of Real Normed Spaces
Noboru Endou and  Yasunari Shidama  
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