Login
Registrieren
Passwort zurücksetzen
Veröffentlichen & Verteilen
Verlagslösungen
Vertriebslösungen
Themen
Allgemein
Altertumswissenschaften
Architektur und Design
Bibliotheks- und Informationswissenschaft, Buchwissenschaft
Biologie
Chemie
Geowissenschaften
Geschichte
Industrielle Chemie
Informatik
Jüdische Studien
Kulturwissenschaften
Kunst
Linguistik und Semiotik
Literaturwissenschaft
Materialwissenschaft
Mathematik
Medizin
Musik
Pharmazie
Philosophie
Physik
Rechtswissenschaften
Sozialwissenschaften
Sport und Freizeit
Technik
Theologie und Religion
Wirtschaftswissenschaften
Veröffentlichungen
Zeitschriften
Bücher
Konferenzberichte
Verlage
Blog
Kontakt
Suche
EUR
USD
GBP
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Warenkorb
Home
Zeitschriften
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Uneingeschränkter Zugang
Metriken
Empfohlene
Artikel
Neueste
Artikel
Am häufigsten
Zitiert
Am meisten
Heruntergeladen
Bände
& Hefte
Empfohlene Artikel
Neueste Artikel
Am häufigsten Zitiert
Am meisten Heruntergeladen
Bände & Hefte
Uneingeschränkter Zugang | 08. Dez. 2016
Chebyshev Distance
Roland Coghetto
Roland Coghetto
Uneingeschränkter Zugang | 28. Juli 2018
Kleene Algebra of Partial Predicates
Artur Korniłowicz
Artur Korniłowicz
,
Ievgen Ivanov
Ievgen Ivanov
und
Mykola Nikitchenko
Mykola Nikitchenko
Uneingeschränkter Zugang | 09. Juni 2008
Partial Differentiation on Normed Linear Spaces
R
n
Noboru Endou
Noboru Endou
,
Yasunari Shidama
Yasunari Shidama
und
Keiichi Miyajima
Keiichi Miyajima
Uneingeschränkter Zugang | 19. Dez. 2017
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
und
Artur Korniłowicz
Artur Korniłowicz
Uneingeschränkter Zugang | 09. Juni 2008
Arrow's Impossibility Theorem
Freek Wiedijk
Freek Wiedijk
Uneingeschränkter Zugang | 09. Juni 2008
Several Differentiation Formulas of Special Functions. Part V
Peng Wang
Peng Wang
und
Bo Li
Bo Li
ZEITSCHRIFTENINFORMATIONEN
Teilen
COVER HERUNTERLADEN
Für Autoren
Für Autoren
Übersicht
Redaktionsleitung
Indexing
Metriken
Einreichen
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