Formalized Mathematics
Last updated ISSN 1426-2630
Formalized Mathematics is published by De Gruyter Open in computer science. It is open access. Its article processing charge is not published.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close Formalized Mathematics is — and show you journals like it.
What it publishes
Recent work in Formalized Mathematics concentrates on these topics, taken from its published record rather than from its own description:
- Logic, programming, and type systems
- Advanced Algebra and Logic
- Mathematics and Applications
- Security and Verification in Computing
- History and Theory of Mathematics
- Logic, Reasoning, and Knowledge
- Polynomial and algebraic computation
- Formal Methods in Verification
- Rough Sets and Fuzzy Logic
- Rings, Modules, and Algebras
Key facts
| Publisher | De Gruyter Open |
|---|---|
| ISSN | 1426-2630, 1898-9934 |
| Subject area | Computer Science |
| Access | Open access |
| Article processing charge | Not published |
| Indexed in | Scopus |
| Articles published | 577 |
| Publishing since | 2001 |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like Formalized Mathematics
Other established journals in computer science, if this one is not the right home for your paper: