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 | 01 cze 2013
N-Dimensional Binary Vector Spaces
Kenichi Arai
Kenichi Arai
oraz
Hiroyuki Okazaki
Hiroyuki Okazaki
Otwarty dostęp | 23 wrz 2017
Introduction to Stopping Time in Stochastic Finance Theory
Peter Jaeger
Peter Jaeger
Otwarty dostęp | 01 cze 2013
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Adam St. Arnaud
Adam St. Arnaud
oraz
Piotr Rudnicki
Piotr Rudnicki
Otwarty dostęp | 05 sty 2011
Affine Independence in Vector Spaces
Karol Pąk
Karol Pąk
Otwarty dostęp | 01 paź 2013
Prime Filters and Ideals in Distributive Lattices
Adam Grabowski
Adam Grabowski
Otwarty dostęp | 20 mar 2009
The Lebesgue Monotone Convergence Theorem
Noboru Endou
Noboru Endou
,
Keiko Narita
Keiko Narita
oraz
Yasunari Shidama
Yasunari Shidama
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