Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Open Access
1
Impact Factor
Metrics
Open Access | Dec 08, 2016
Chebyshev Distance
Roland Coghetto

Roland Coghetto

Search for this author on
Sciendo|Google Scholar
Coghetto, Roland
  
Open Access | Jul 28, 2018
Kleene Algebra of Partial Predicates
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Korniłowicz, Artur
, 
Ievgen Ivanov

Ievgen Ivanov

Taras Shevchenko National UniversityKyiv, Ukraine
Search for this author on
Sciendo|Google Scholar
Ivanov, Ievgen
 and 
Mykola Nikitchenko

Mykola Nikitchenko

Taras Shevchenko National UniversityKyiv, Ukraine
Search for this author on
Sciendo|Google Scholar
Nikitchenko, Mykola
  
Open Access | Dec 24, 2022
Definition of Centroid Method as Defuzzification
Takashi Mitsuishi

Takashi Mitsuishi

Faculty of Business and Informatics, Nagano UniversityJapan
Search for this author on
Sciendo|Google Scholar
Mitsuishi, Takashi
  
Open Access | Dec 31, 2014
The First Isomorphism Theorem and Other Properties of Rings
Artur Korniłowicz

Artur Korniłowicz

Search for this author on
Sciendo|Google Scholar
Korniłowicz, Artur
 and 
Christoph Schwarzweller

Christoph Schwarzweller

Search for this author on
Sciendo|Google Scholar
Schwarzweller, Christoph
  
Open Access | Dec 19, 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov

Ievgen Ivanov

Taras Shevchenko National UniversityKyiv, Ukraine
Search for this author on
Sciendo|Google Scholar
Ivanov, Ievgen
, 
Mykola Nikitchenko

Mykola Nikitchenko

Taras Shevchenko National UniversityKyiv, Ukraine
Search for this author on
Sciendo|Google Scholar
Nikitchenko, Mykola
, 
Andrii Kryvolap

Andrii Kryvolap

Taras Shevchenko National UniversityKyiv, Ukraine
Search for this author on
Sciendo|Google Scholar
Kryvolap, Andrii
 and 
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Search for this author on
Sciendo|Google Scholar
Korniłowicz, Artur
  
Open Access | Jun 09, 2008
Arrow's Impossibility Theorem
Freek Wiedijk

Freek Wiedijk

Search for this author on
Sciendo|Google Scholar
Wiedijk, Freek
  
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