Have a personal or library account? Click to login
Formalized Mathematics Cover

Formalized Mathematics

(a computer assisted approach)

Publisher:University of Bialystok
Open Access
1
Impact Factor
Journal detailsArticles & issues
Submit article

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 & scope

Editor-in-chief

Prof. Cezary Kaliszyk
The University of Melbourne, Australia
View full editorial board

All volumes and issues in this journal

Open Access
|Dec 2024
Ascoli-Arzelà Theorem (Metric Space Version)
Open Access
|Dec 2024
Universality of Measure Space
Open Access
|Dec 2024
Some Standard Examples of Vector Spaces
Open Access
|Dec 2024
Finite Fields
Open Access
|Dec 2024
Elementary Number Theory Problems. Part XVI
Open Access
|Dec 2024
Formalization of Orthogonal Complements of Normed Spaces

Journal 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 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
Journal RSS Feed