Formalized Mathematics's Cover Image

Formalized Mathematics

(a computer assisted approach)
Otwarty dostęp
1
Impact Factor
Metryki
Otwarty dostęp | 31 gru 2023
Tarski Geometry Axioms. Part V – Half-planes and Planes
Roland Coghetto

Roland Coghetto

cafr-MSA2P asbl Rue de la Brasserie 5 7100 La LouvièreBelgium
Wyszukaj tego autora
Sciendo|Google Scholar
Coghetto, Roland
 oraz 
Adam Grabowski

Adam Grabowski

Faculty of Computer Science, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Grabowski, Adam
  
Otwarty dostęp | 31 gru 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz

Adam Naumowicz

Faculty of Computer Science, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Naumowicz, Adam
  
Otwarty dostęp | 31 gru 2023
The Ring of Conway Numbers in Mizar
Karol Pąk

Karol Pąk

Faculty of Computer Science, University of BiałystokPoland
Profil Orcid
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
Otwarty dostęp | 30 gru 2022
The Divergence of the Sum of Prime Reciprocals
Mario Carneiro

Mario Carneiro

Carnegie Mellon UniversityPittsburgh PA, USA
Profil Orcid
Wyszukaj tego autora
Sciendo|Google Scholar
Carneiro, Mario
  
Otwarty dostęp | 20 lip 2019
Formalization of the MRDP Theorem in the Mizar System
Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
Otwarty dostęp | 20 lip 2019
Natural Addition of Ordinals
Sebastian Koch

Sebastian Koch

Johannes Gutenberg UniversityMainz, Germany
Wyszukaj tego autora
Sciendo|Google Scholar
Koch, Sebastian
  
Informacje o czasopiśmie
Pobierz okładkę
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
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma