Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Open Access
1
Impact Factor
Metrics
Open Access | Jun 01, 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai

Kenichi Arai

Search for this author on
Sciendo|Google Scholar
Arai, Kenichi
 and 
Hiroyuki Okazaki

Hiroyuki Okazaki

Search for this author on
Sciendo|Google Scholar
Okazaki, Hiroyuki
  
Open Access | Dec 31, 2023
Conway Numbers – Formal Introduction
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, 2023
The Ring of Conway Numbers in Mizar
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 | Jun 09, 2008
String Rewriting Systems
Michał Trybulec

Michał Trybulec

Search for this author on
Sciendo|Google Scholar
Trybulec, Michał
  
Open Access | Jan 09, 2021
About Graph Unions and Intersections
Sebastian Koch

Sebastian Koch

Johannes Gutenberg UniversityMainz, Germany
Search for this author on
Sciendo|Google Scholar
Koch, Sebastian
  
Open Access | Jan 05, 2011
Affine Independence in Vector Spaces
Karol Pąk

Karol Pąk

Search for this author on
Sciendo|Google Scholar
Pąk, Karol
  
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