Accès libre | 31 déc. 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Faculty of Computer Science, University of BiałystokPoland
Profil OrcidRecherchez cet auteur sur
Accès libre | 30 déc. 2022
The Divergence of the Sum of Prime Reciprocals
INFORMATIONS SUR LA REVUE
Formalized Mathematics is covered by the following services:
- Arianta
- ArnetMiner
- Baidu Scholar
- Cabell's Journalytics
- CiteSeerX
- CNKI Scholar (China National Knowledge Infrastructure)
- DBLP Computer Science Bibliography
- Dimensions
- EBSCO
- Electronic Journals Library
- ExLibris
- Google Scholar
- Index Copernicus - ICI Journals Master List
- Japan Science and Technology Agency (JST)
- J-Gate
- Jisc - Open Policy Finder
- JournalGuide
- JournalTOCs
- KESLI-NDSL (Korean National Discovery for Science Leaders)
- Naver Academic
- Naviga (Softweco)
- OpenAlex
- ProQuest
- ReadCube
- ScienceON/AccessON
- SCILIT
- Scite_
- Semantic Scholar
- TDNet
- The Polish Digital Mathematical Library (DML-PL)
- Ulrich's Periodicals Directory/ulrichsweb
- WanFang Data
- Web of Science - Emerging Sources Citation Index
- WorldCat (OCLC)
- WorldWideScience.org
- X-MOL
- zbMATH Open
Additionally, the journal is registered and indexed in the Crossref database.