Logowanie
Zarejestruj się
Zresetuj hasło
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Dziedziny
Architektura i projektowanie
Bibliotekoznawstwo i bibliologia
Biznes i ekonomia
Chemia
Chemia przemysłowa
Filozofia
Fizyka
Historia
Informatyka
Inżynieria
Inżynieria materiałowa
Językoznawstwo i semiotyka
Kulturoznawstwo
Literatura
Matematyka
Medycyna
Muzyka
Nauki farmaceutyczne
Nauki klasyczne i starożytne studia bliskowschodnie
Nauki o Ziemi
Nauki o organizmach żywych
Nauki społeczne
Prawo
Sport i rekreacja
Studia judaistyczne
Sztuka
Teologia i religia
Zagadnienia ogólne
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Blog
Kontakt
Wyszukiwanie
EUR
USD
GBP
Polski
English
Deutsch
Polski
Español
Français
Italiano
Koszyk
Home
Czasopisma
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Otwarty dostęp
Metryki
Wyróżnione
Artykuły
Najnowsze
Artykuły
Najczęściej
Cytowane
Najczęściej
Pobierane
Tomy
& Zeszyty
Wyróżnione Artykuły
Najnowsze Artykuły
Najczęściej Cytowane
Najczęściej Pobierane
Tomy & Zeszyty
Otwarty dostęp | 08 gru 2016
Chebyshev Distance
Roland Coghetto
Roland Coghetto
Otwarty dostęp | 28 lip 2018
Kleene Algebra of Partial Predicates
Artur Korniłowicz
Artur Korniłowicz
,
Ievgen Ivanov
Ievgen Ivanov
oraz
Mykola Nikitchenko
Mykola Nikitchenko
Otwarty dostęp | 09 cze 2008
Partial Differentiation on Normed Linear Spaces
R
n
Noboru Endou
Noboru Endou
,
Yasunari Shidama
Yasunari Shidama
oraz
Keiichi Miyajima
Keiichi Miyajima
Otwarty dostęp | 19 gru 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
oraz
Artur Korniłowicz
Artur Korniłowicz
Otwarty dostęp | 09 cze 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
Otwarty dostęp | 09 cze 2008
Several Differentiation Formulas of Special Functions. Part V
Peng Wang
Peng Wang
oraz
Bo Li
Bo Li
Informacje o czasopiśmie
Udostępnij
Pobierz okładkę
Dla autorów
Dla autorów
Opis
Rada redakcyjna
Indeksacja
Metryki
Przesyłanie manuskryptów
0.3
Impact Factor
0.2
Five Year Impact Factor
0.36
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median