1
Impact Factor
About the journal
A pioneering, proof-checked mathematical journal in the field since 1990. It publishes original articles on mechanically checked, formalized mathematics.The formalisation of mathematics using computer programs to verify mathematical proofs,...
View full aims & scopeAll volumes and issues in this journal
Open Access
|Dec 2024
Open Access
|Dec 2024Journal details
Indexing
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.
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication timeframe: 1 time per year
Published by: University of Bialystok
In partnership with: Paradigm Publishing Services
Related subjects: Mathematics, General mathematics, Computer sciences, Computer sciences, other