期刊简介
Journal Title：Formalized Mathematics
Formal Mathematics is an academic journal dedicated to the field of mathematical formalization, publishing research related to computer-aided mathematical proofs. The content of this magazine involves the use of formal language and tools to express, validate, and explore mathematical theories. Formal Mathematics provides a platform for mathematicians, logicians, computer scientists, and researchers interested in mathematical formalization to exchange the latest research findings.
The readership of 'Formal Mathematics' mainly includes researchers in mathematical logic and formal methods, professionals working in the fields of automatic reasoning, theorem prover development, and formal method applications, teachers and scholars in higher education institutions who teach and study mathematical formalization, graduate students, and advanced undergraduate students who conduct research and learning in the intersection of mathematics, logic, and computer science. This magazine promotes academic exchange and technological development in the field of mathematical formalization by publishing high-quality research articles, which is of great significance in promoting the accuracy and reliability of mathematical knowledge.
中文简介
《形式化数学》是一本专注于数学形式化领域的学术期刊，它发表与计算机辅助数学证明相关的研究。该杂志的内容涉及使用形式化语言和工具来表达、验证和探索数学理论。《形式化数学》为数学家、逻辑学家、计算机科学家以及对数学形式化感兴趣的研究人员提供了一个交流最新研究成果的平台。
该情况的读者群体主要包括： 数学逻辑和形式化方法的研究者、在自动推理、定理证明器开发和形式化方法应用领域工作的专业人士、高等教育机构中教授和研究数学形式化的教师和学者、研究生和高级本科生，他们在数学、逻辑学和计算机科学的交叉领域进行研究和学习。该杂志通过发表高质量的研究文章，促进了数学形式化领域的学术交流和技术发展，对推动数学知识的精确性和可靠性具有重要意义。
期刊点评
Formalized Mathematics由Sciendo出版商出版，收稿方向涵盖MATHEMATICS全领域，平均审稿速度 10 Weeks ，影响因子指数1，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。
WOS分区（数据版本：2023-2024年最新版）
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18% |
名词解释：
WOS即Web of Science，是全球获取学术信息的重要数据库，Web of Science包括自然科学、社会科学、艺术与人文领域的信息，来自全世界近9,000种最负盛名的高影响力研究期刊及12,000多种学术会议多学科内容。给期刊分区时会按照某一个学科领域划分，根据这一学科所有按照影响因子数值降序排名，然后平均分成4等份，期刊影响因子值高的就会在高分区中，最后的划分结果分别是Q1，Q2，Q3，Q4，Q1代表质量最高。
其他数据
| 是否OA开放访问： | h-index： | 年文章数： |
| 开放 | -- | 21 |
| Gold OA文章占比： | 2021-2022最新影响因子（数据来源于搜索引擎）: | 开源占比（OA被引用占比）： |
| 100.00% | 1 | |
| 研究类文章占比：文章 ÷（文章 + 综述） | 期刊收录： | 中科院《国际期刊预警名单（试行）》名单： |
| 100.00% | SCIE | 否 |
历年IF值(影响因子)：
历年引文指标和发文量：
更多问题
免责声明
本站仅销售经国家新闻出版署批准的合法期刊，不是任何杂志官网，不涉及出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关，若期刊信息有任何问题，请联系在线客服，我们会认真核实处理。 若用户需要出版服务，请联系出版商。