Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

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

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

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed