Home›Search›FORMALIZED MATHEMATICS

FORMALIZED MATHEMATICS

PARADIGM PUBLISHING SERVICES-DE GRUYTER BRILL SP ZOO · PL · Est. 2001

ISSN1898-9934eISSN1898-9934

✓ WOS ESCI

/ 100

High Risk

Score Breakdown

✓ WoS ESCI+10

Total10

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View on Clarivate Master Journal List ↗

H-Index

Total Works

575

Total Citations

1,994

2yr Mean Citedness

0.61

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal focuses on the formalization of mathematical theorems and problems using proof assistants, primarily the Mizar system. Articles present formal proofs for concepts in areas such as number theory, abstract algebra (including Galois theory and group theory), analysis (calculus, integration, and properties of functions), and topology. The scope includes the development of foundational mathematical libraries and tools for automated theorem proving.

AI-summarised from recent articles · verify on the publisher page

General Information

Country / RegionPL

Primary LanguageEnglish

1st Year Published2001

StatusActive (last: 2025)

Total Publications575

Publisher OrgDe Gruyter Open

OA Since2005

Submission Info

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

4/12 · 33%

✅

Do you know the journal / publisher?

PARADIGM PUBLISHING SERVICES-DE GRUYTER BRILL SP ZOO

❌

Does the journal have a website?

No URL

✅

Is the ISSN verified?

1898-9934 / 1898-9934

❌

Indexed in a trusted database?

N/A

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Subject Classification

Web of Science Categories

Mathematics

Research Topics (OpenAlex)

Logic, programming, and type systemsAdvanced Algebra and LogicMathematics and ApplicationsSecurity and Verification in ComputingHistory and Theory of MathematicsLogic, Reasoning, and KnowledgePolynomial and algebraic computationFormal Methods in VerificationRough Sets and Fuzzy LogicRings, Modules, and Algebras