formalized mathematics

Rank: 2.52 /
Indexings
doaj
Short Name formalized mathematics
Abbreviated Name formalized mathematics
ISSN
Aim and Scope
URL
Author Instructions

Publications Per Year

Top 10 Most Clicked Articles

2016 Yuichi, Futa, Yasunari, Shidama,

Divisible ℤ-modules ,

24: 37-47
Clicks: 106

Certificate of Indexing

This is to certify that

formalized mathematics

ISSN not entered. Please submit at info [at] scimatic.org

is being indexed by Journament

Indexing started on: February 21, 2020
Certificate issued on: August 17, 2025
Verification link: https://journament.com/journal/20721

Authorized Signature