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 formalization of mathematics using computer programs to verify mathematical proofs, effectively bridging the gap between human-readable mathematical arguments and machine-checkable logic. ...
All volumes and issues in this journal
Open Access
|Dec 2024Open 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 frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects: