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
Journal Metrics
1
Impact Factor
0,6
5-Year Impact Factor
0,9
Journal Citation Indicator
20
MEIN Index
6
Google Scholar h5-index
7
Google Scholar h5-median
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: