Formalized Mathematics

Formalized Mathematics 由 Sciendo 出版，属中科院数学大类（2025 升级版2区）。按 OpenAlex 近年发文统计，该刊主要发表 Logic, programming, and type systems、Advanced Algebra and Logic、Mathematics and Applications 等主题的论文，这 3 个主题约占 28.3%，主导子领域为 Computational Theory and Mathematics、Artificial Intelligence。（根据 OpenAlex 主题统计与中科院分区数据生成）

该刊近年发文主要集中在：Logic, programming, and type systems（12.6%）、Advanced Algebra and Logic（8.3%）、Mathematics and Applications（7.4%）、Security and Verification in Computing（6.1%）、History and Theory of Mathematics（5.4%）、Logic, Reasoning, and Knowledge（4.6%）、Polynomial and algebraic computation（4.4%）、Formal Methods in Verification（4.1%）；所属学科：Computer Science、Mathematics；来源标注的研究方向：MATHEMATICS-。（领域画像由 OpenAlex 发文统计生成，占比为近似值，非期刊官方描述）

由 OpenAlex 主题分布与研究方向自动生成的领域画像，非期刊官方表述。

研究方向（LetPub）：MATHEMATICS

中科院期刊分区表

数据库收录

ESCILetPub

国际期刊预警名单：各版本均未列入LetPub

不同版本、大类与小类分别展示，不将不同评价口径合并为一个分区值；投稿与考核前请确认所在机构采用的版本。

影响力指标

h-index

15OpenAlex · 2026-10-01

i10-index

40OpenAlex · 2026-10-01

两年平均被引

0.63OpenAlex · 2026-10-01

Gold OA 文章占比

100%LetPub · 2026-09-13

发文规模

年文章数

20LetPub · 2026-09-13

不同来源的统计口径与观测时间不同，页面保留各来源原值；“出版商公布”为期刊官网自述数据。

平均审稿速度（社区反馈）

10 WeeksLetPub · 2026-09-13

评审方式

双盲同行评审LetPub

社区反馈来自投稿者样本，置信度 0.5，不代表期刊承诺；“出版商公布”的时间节点定义以官网为准。

费用以期刊官网为准；不同来源的观测时间可能不同，页面保留各来源原值，不做平均。

出版商

Sciendo

出版国家或地区

Poland

出版语言

English

ISSN

1898-9934

官方链接

• 期刊主页 ↗LetPub
• 作者指南 ↗LetPub
• Aims & Scope ↗LetPub
• 评审流程 ↗LetPub
• 编委会 ↗LetPub