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 2025Open Access
|Dec 2025Open Access
|Dec 2025Open Access
|Dec 2025Journal details
Publication information
eISSN: 1898-9934
ISSN: 1426-2630
Publication frequency: 1 time per year
First year of publication: 2008
Available on reference-global.com: from vol 14
Publisher: University of Białystok
Language of publication: English
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: