Formalized Mathematics
收藏杂志

Formalized Mathematics

形式化数学杂志

中科院分区:2区 JCR分区:Q3 预计审稿周期:10 Weeks

《Formalized Mathematics》是一本由Sciendo出版商出版的数学国际刊物,国际简称为FORMALIZ MATH,中文名称形式化数学。出版周期为。 《Formalized Mathematics》2026年影响因子为0.7,被收录于国际知名权威数据库SCIE。

ISSN:1898-9934
研究方向:MATHEMATICS
是否预警:否
出版地区:Poland
Gold OA文章占比:100.00%
语言:English
是否OA:未开放
出版商:Sciendo
影响因子:0.7
年发文量:20
杂志简介 中科院分区 JCR分区 相关杂志 期刊导航

Formalized Mathematics 杂志简介

《Formalized Mathematics》重点专注发布MATHEMATICS领域的新研究,旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。根据网友分享的投稿经验,平均审稿速度为10 Weeks。该杂志创刊至今,在MATHEMATICS领域,影响力非凡,对来稿文章质量要求很高,稿件投稿过审难度很大,刊登文章的学术水平和编辑质量在同类杂志中均名列前茅。如果你想在该杂志上发表论文,你可以向编辑部提交文章,但文章必须具有重要意义并代表该领域专业的发展。我们欢迎广大同领域的研究者提交投稿。

Formalized Mathematics 杂志中科院分区

中科院SCI分区数据
《新锐期刊分区表》(2026年3月发布)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
数学 2区 MATHEMATICS 数学 2区
期刊分区表(2025年3月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
数学 2区 MATHEMATICS 数学 2区
中科院分区趋势图
影响因子趋势图

中科院JCR分区:中科院JCR期刊分区(又称分区表、分区数据)是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果,是衡量学术期刊影响力的一个重要指标,一般而言,发表在1区和2区的SCI论文,通常被认为是该学科领域的比较重要的成果。

影响因子:是汤森路透(Thomson Reuters)出品的期刊引证报告(Journal Citation Reports,JCR)中的一项数据,现已成为国际上通用的期刊评价指标,不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

Formalized Mathematics 杂志JCR分区

Web of Science 数据库
2025-2026年最新版
按JCI指标学科分区 收录子集 分区 排名 百分位
学科:MATHEMATICS ESCI Q3 259 / 492

47.5

学科:MATHEMATICS ESCI Q2 153 / 492

69

2024-2025年最新版
按JCI指标学科分区 收录子集 分区 排名 百分位
学科:MATHEMATICS ESCI Q2 130 / 492

73.7

学科:MATHEMATICS ESCI Q1 105 / 496

78.93

2023-2024年最新版
按JCI指标学科分区 收录子集 分区 排名 百分位
学科:MATHEMATICS ESCI Q1 117 / 489

76.2

学科:MATHEMATICS ESCI Q3 249 / 489

49.18

SCI期刊分类导航

免责声明

若用户需要出版服务,请联系出版商。