Formalized Mathematics

查看最新文献

2463

WOS期刊分区历年影响因子历年发表同类期刊

影响因子：

ISSN：

print: 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)

期刊官网：

http://www.degruyter.com/view/j/forma

期刊介绍英文：

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.

发文信息

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

PubMed链接：

http://www.ncbi.nlm.nih.gov/nlmcatalog?term=1898-9934%5BISSN%5D

Formalized Mathematics - 最新文献

Conway Numbers – Formal Introduction

Pub Date : 2023-09-01 DOI: 10.2478/forma-2023-0018 Karol Pąk

Introduction to Algebraic Geometry

Pub Date : 2023-09-01 DOI: 10.2478/forma-2023-0007 Yasushige Watase

Isosceles 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，我们会认真核实处理。