Open Access | Dec 31, 2023
Conway Numbers – Formal Introduction
Karol Pąk
Faculty of Computer Science, University of BiałystokPoland
Orcid profileSearch for this author on
Open Access | Dec 31, 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Faculty of Computer Science, University of BiałystokPoland
Orcid profileSearch for this author on
Journal Information
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.