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 | 31. Dez. 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Uneingeschränkter Zugang | 31. Dez. 2023
Conway Numbers – Formal Introduction
Karol Pąk
Karol Pąk
Uneingeschränkter Zugang | 31. Dez. 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Adam Naumowicz
Uneingeschränkter Zugang | 31. Dez. 2023
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
und
Yasunari Shidama
Yasunari Shidama
Uneingeschränkter Zugang | 31. Dez. 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Karol Pąk
Uneingeschränkter Zugang | 31. Dez. 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Karol Pąk
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