《Formalized Mathematics》是一本English學(xué)術(shù)期刊，由Sciendo出版商出版，該刊已被SCIE、ESCI數(shù)據(jù)庫(kù)收錄。

《Formalized Mathematics》雜志在JCR分區(qū)中屬于Q1，按JIF指標(biāo)學(xué)科分區(qū)中學(xué)科：MATHEMATICS為Q1，按JCI指標(biāo)學(xué)科分區(qū)中學(xué)科：MATHEMATICS為Q3，表明其在全球范圍內(nèi)具有較高的學(xué)術(shù)影響力。

投稿《Formalized Mathematics》雜志可以通過(guò)以下幾種方式了解稿件狀態(tài)：

1.通過(guò)在線(xiàn)投稿系統(tǒng)查詢(xún)：訪(fǎng)問(wèn)期刊投稿網(wǎng)站、登錄賬戶(hù)、查看稿件狀態(tài)。

2.通過(guò)電子郵件通知了解：在投稿過(guò)程中，編輯部會(huì)通過(guò)電子郵件發(fā)送通知，告知稿件的狀態(tài)更新。

3.通過(guò)電話(huà)聯(lián)系編輯部查詢(xún)：如果您不確定稿件狀態(tài)或需要進(jìn)一步信息，可以聯(lián)系編輯部。

4.參考平均審稿周期：根據(jù)《Formalized Mathematics》雜志的平均審稿速度預(yù)計(jì)為： 10 Weeks ，如果投稿已超過(guò)時(shí)間仍未收到反饋，建議主動(dòng)聯(lián)系雜志社。