ISSN：1898-9934
E-ISSN：
H-index指数：
文章自引率：
影响因子：1
年发文量：21
研究类文章占比：100.00%
开源占比：
OA被引用占比：
Formalized Mathematics
国际简称：FORMALIZ MATH
出版周期：暂无数据
研究方向：MATHEMATICS
出版语言：English
创刊时间：暂无数据
是否预警：否
出版地区：Poland
是否 OA：开放
《Formalized Mathematics》(《形式化数学》)是一本由Sciendo出版的MATHEMATICS学术刊物，主要刊载MATHEMATICS相关领域研究成果与实践，旨在打造一种学术水平高、可读性强、具有全球影响力的学术期刊。本刊已入选SCIE来源期刊。2023年发布的影响因子为1。
Magazine introduction
形式化数学（Formalized Mathematics）JCR分区位于Q1。审稿速度一般为 10 Weeks ，且近两年没有被列入国际预警名单，您可以放心投稿。如果您需要投稿指导，可在线咨询我们的客服老师，我们将竭诚为您服务。
《形式化数学》是一本专注于数学形式化领域的学术期刊，它发表与计算机辅助数学证明相关的研究。该杂志的内容涉及使用形式化语言和工具来表达、验证和探索数学理论。《形式化数学》为数学家、逻辑学家、计算机科学家以及对数学形式化感兴趣的研究人员提供了一个交流最新研究成果的平台。
该情况的读者群体主要包括： 数学逻辑和形式化方法的研究者、在自动推理、定理证明器开发和形式化方法应用领域工作的专业人士、高等教育机构中教授和研究数学形式化的教师和学者、研究生和高级本科生，他们在数学、逻辑学和计算机科学的交叉领域进行研究和学习。该杂志通过发表高质量的研究文章，促进了数学形式化领域的学术交流和技术发展，对推动数学知识的精确性和可靠性具有重要意义。
Magazine introduction（2023-2024年最新版）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18% |
JCR：JCR没有设置大类，只分为176个具体学科，按当期（1年）的影响因子进行分区；JCR是按照“平均主义”思想，根据刊物IF的高至低平均划分4个区，每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构，1区只有5%的顶级期刊，2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少，杂志质量相对也高，基本都是本领域的顶级期刊。
Magazine introduction
影响因子历年变化趋势
引文指标和发文量历年变化趋势
自引数据历年变化趋势
影响因子：表示一种杂志的被引用频率，是国际上通用的期刊评价指标，它不仅是一种测度期刊有用性和显示度的指标，而且也是测度期刊的学术水平，乃至论文质量的重要指标。
Magazine introduction
我们不是杂志社。本站主要从事杂志订阅与期刊推荐服务，不是任何杂志官网。直投稿件请联系杂志社。
本站无论任务服务，事先跟客户都进行详细沟通确认，如果没有按期完成，由本站退还客户支付的费用。但客户单方面中止订单，是不能退款的。
正常情况能满足大部分的用户，建议你提前一点时间，如果客户特别需要加急，需要我们和杂志社沟通安排，如果确认可以会收取一定加急费用。
当然，我们会通过短信或电话主动沟通，汇报进展情况。您也可以拨打您的客服老师电话和我司设立的投诉电话。
虽然每天面对客户的需求千差万别,但我们只能保障尽我们的努力满足您的要求，为您提供帮助,如果您的某个要求没得到满足,我们首先说声抱歉，也请您不要失望，有问题还请继续提问,我们竭诚为您服务
随着现在各种网站层出不穷的诞生，骗子也越来越多，我们实体公司注册，实体办公，网站国家工信部备案，信息公开，可以查询，从创办初衷我们就是专注高质量的服务，客户优先，注重质量。我们的具有保密性，我们对合作过程中的客户信息安全制定严格的管理制度。
Magazine introduction
Magazine introduction
若用户需要出版服务，请联系出版商。