Formalized Mathematics

ISSN 1426-2630University of Bialystok
ScopusJIFMatched via identifier

Journal overview

Journal identity
Titles
Formalized Mathematics
Formalized Mathematics SCIENDO
Key identifiers
ISSN
1426-2630
1898-9934
eISSN
1898-9934
NLM ID
Not available
Publisher / basic metadata
Publisher
University of Bialystok
Walter de Gruyter
Country
Not available
Language
English

Indexing & coverage

Current indexing summary
Scopus
Previously indexed — discontinued

Scopus's Sources record and Discontinued record both report this journal as no longer indexed.

Indexing history (3 facts)
Coverage
2025, 2006–2016
Final coverage year
2016
Record type
Discontinuation
Indexing services (MEDLINE, Embase)
Not available
Bibliographic inclusion (PubMed)
Not available
Full-text availability (PMC — not an indexing service)
Not available

Metrics

MetricYearValueQuartileRankSource
JIF20251.0Q213445JCR Impact Factor List 2025 — supplied dataset

Publication activity

Publication activity
Publication activity data not available

Subjects & categories

Subjects / categories
Subject area (SCImago)
Not available
MeSH (PubMed)
Not available
Coverage / history
Scopus:2025; 2006-2016