Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Uneingeschränkter Zugang
1
Impact Factor
Metriken
Uneingeschränkter Zugang | 01. Juni 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai

Kenichi Arai

Suche nach diesem Autor auf
Sciendo|Google Scholar
Arai, Kenichi
 und 
Hiroyuki Okazaki

Hiroyuki Okazaki

Suche nach diesem Autor auf
Sciendo|Google Scholar
Okazaki, Hiroyuki
  
Uneingeschränkter Zugang | 31. Dez. 2023
Conway Numbers – Formal Introduction
Karol Pąk

Karol Pąk

Faculty of Computer Science, University of BiałystokPoland
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Pąk, Karol
  
Uneingeschränkter Zugang | 31. Dez. 2023
The Ring of Conway Numbers in Mizar
Karol Pąk

Karol Pąk

Faculty of Computer Science, University of BiałystokPoland
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Pąk, Karol
  
Uneingeschränkter Zugang | 09. Juni 2008
String Rewriting Systems
Michał Trybulec

Michał Trybulec

Suche nach diesem Autor auf
Sciendo|Google Scholar
Trybulec, Michał
  
Uneingeschränkter Zugang | 09. Jan. 2021
About Graph Unions and Intersections
Sebastian Koch

Sebastian Koch

Johannes Gutenberg UniversityMainz, Germany
Suche nach diesem Autor auf
Sciendo|Google Scholar
Koch, Sebastian
  
Uneingeschränkter Zugang | 05. Jan. 2011
Affine Independence in Vector Spaces
Karol Pąk

Karol Pąk

Suche nach diesem Autor auf
Sciendo|Google Scholar
Pąk, Karol
  
ZEITSCHRIFTENINFORMATIONEN
COVER HERUNTERLADEN
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
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Mathematik, Mathematik, Allgemeines, Informatik, Informatik, andere
Zeitschrift RSS Feed