查看最新文献
订阅
分享
3201
影响因子：
1
ISSN：
print: 1898-9934
on-line: 1898-9934
on-line: 1898-9934
研究领域：
MATHEMATICS
Gold OA文章占比：
100.00%
原创研究文献占比：
100.00%
SCI收录类型：
Emerging Sources Citation Index (ESCI) || Directory of Open Access Journals (DOAJ)
期刊介绍英文：
Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.
发文信息
中科院SCI期刊分区
2025年3月20日发布
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 2区 数学 | 2区 数学 MATHEMATICS | 否 | 否 |
WOS期刊分区
| 学科分类 |
|---|
Q1MATHEMATICS |
历年影响因子
| 2022年 | 0.3000 |
|---|---|
| 2023年 | 1.0000 |
历年发表
| 2012年 | 39 |
|---|---|
| 2013年 | 29 |
| 2014年 | 32 |
| 2015年 | 31 |
| 2016年 | 26 |
| 2017年 | 29 |
| 2018年 | 24 |
| 2019年 | 28 |
| 2020年 | 25 |
| 2021年 | 24 |
| 2022年 | 0 |
投稿信息
出版语言：
English
出版国家(地区)：
Poland
审稿时长：
10 weeks
出版商：
Sciendo
Formalized Mathematics - 最新文献
Introduction to Algebraic Geometry
Pub Date : 2023-09-01 DOI: 10.2478/forma-2023-0007 Yasushige WataseIsosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Pub Date : 2023-09-01 DOI: 10.2478/forma-2023-0006 Takashi Mitsuishi
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
