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

Institute of Computer Science, University of BiałystokBiałystok, Poland
Search for this author on
Sciendo|Google Scholar
Kuśmierowski, Wojciech
 and 
Adam Grabowski

Adam Grabowski

Institute of Computer Science, University of BiałystokBiałystok, Poland
Search for this author on
Sciendo|Google Scholar
Grabowski, Adam
  
Open Access | Jul 09, 2022
Duality Notions in Real Projective Plane
Roland Coghetto

Roland Coghetto

cafr-MSA2P asblLa Louvière, Belgium
Search for this author on
Sciendo|Google Scholar
Coghetto, Roland
  
Open Access | Jul 09, 2022
Finite Dimensional Real Normed Spaces are Proper Metric Spaces
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Search for this author on
Sciendo|Google Scholar
Nakasho, Kazuhisa
, 
Hiroyuki Okazaki

Hiroyuki Okazaki

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Okazaki, Hiroyuki
 and 
Yasunari Shidama

Yasunari Shidama

Nagano, Japan
Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Jul 09, 2022
Relationship between the Riemann and Lebesgue Integrals
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu CollegeGifu, Japan
Search for this author on
Sciendo|Google Scholar
Endou, Noboru
  
Open Access | Jul 09, 2022
Improper Integral. Part I
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu CollegeGifu, Japan
Search for this author on
Sciendo|Google Scholar
Endou, Noboru
  
Open Access | Jul 09, 2022
Prime Representing Polynomial
Karol Pąk

Karol Pąk

Institute of Computer Science, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
Open Access | Jul 09, 2022
Quadratic Extensions
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Search for this author on
Sciendo|Google Scholar
Schwarzweller, Christoph
 and 
Agnieszka Rowińska-Schwarzweller

Agnieszka Rowińska-Schwarzweller

Sopot, Poland
Search for this author on
Sciendo|Google Scholar
Rowińska-Schwarzweller, Agnieszka
  
Open Access | Jul 09, 2022
The 3-Fold Product Space of Real Normed Spaces and its Properties
Hiroyuki Okazaki

Hiroyuki Okazaki

Shinshu UniversityNagano, Japan
Search for this author on
Sciendo|Google Scholar
Okazaki, Hiroyuki
 and 
Kazuhisa Nakasho

Kazuhisa Nakasho

Yamaguchi UniversityYamaguchi, Japan
Search for this author on
Sciendo|Google Scholar
Nakasho, Kazuhisa
  
Open Access | Jul 09, 2022
About Graph Sums
Sebastian Koch

Sebastian Koch

Johannes Gutenberg University MainzGermany
Search for this author on
Sciendo|Google Scholar
Koch, Sebastian
  
Open Access | Jul 09, 2022
Improper Integral. Part II
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu CollegeGifu, Japan
Search for this author on
Sciendo|Google Scholar
Endou, Noboru
  

Search

All Volumes and Issues in this Journal

Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed