Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Open Access
1
Impact Factor
Metrics
Open Access | Dec 31, 2024
Ascoli-Arzelà Theorem (Metric Space Version)
Keiichi Miyajima

Keiichi Miyajima

Ibaraki University, Faculty of Engineering HitachiIbaraki, Japan
Search for this author on
Sciendo|Google Scholar
Miyajima, Keiichi
 and 
Hiroshi Yamazaki

Hiroshi Yamazaki

Nagano Prefectural Institute of Technology NaganoJapan
Search for this author on
Sciendo|Google Scholar
Yamazaki, Hiroshi
  
Open Access | Dec 31, 2024
Universality of Measure Space
Noboru Endou

Noboru Endou

National Institute of Technology, Gifu College 2236-2 KamimakuwaGifu, Japan
Orcid profile
Search for this author on
Sciendo|Google Scholar
Endou, Noboru
 and 
Yasunari Shidama

Yasunari Shidama

Japan
Search for this author on
Sciendo|Google Scholar
Shidama, Yasunari
  
Open Access | Dec 31, 2024
Formalization of Orthogonal Complements of Normed Spaces
Hiroyuki Okazaki

Hiroyuki Okazaki

Shinshu UniversityJapan
Search for this author on
Sciendo|Google Scholar
Okazaki, Hiroyuki
  
Open Access | Dec 31, 2024
Some Standard Examples of Vector Spaces
Christoph Schwarzweller

Christoph Schwarzweller

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

Agnieszka Rowińska-Schwarzweller

Institute of Informatics, University of GdańskPoland
Search for this author on
Sciendo|Google Scholar
Rowińska-Schwarzweller, Agnieszka
  
Open Access | Dec 31, 2024
Elementary Number Theory Problems. Part XVI
Karol Pąk

Karol Pąk

Faculty of Computer Science, University of BiałystokPoland
Orcid profile
Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
Open Access | Dec 31, 2024
Finite Fields
Christoph Schwarzweller

Christoph Schwarzweller

Institute of Informatics, University of GdańskPoland
Orcid profile
Search for this author on
Sciendo|Google Scholar
Schwarzweller, Christoph
  
Journal Information
Download Cover
1
Impact Factor
0.6
Five Year Impact Factor
0.9
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median
eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other
Journal RSS Feed