Formalized Mathematics

Formalized Mathematics is covered by the following services:

• Arianta
• ArnetMiner
• Baidu Scholar
• Cabell's Journalytics
• CiteSeerX
• CNKI Scholar (China National Knowledge Infrastructure)
• DBLP Computer Science Bibliography
• Dimensions
• EBSCO
• Electronic Journals Library
• ExLibris
• Google Scholar
• Index Copernicus International
• Japan Science and Technology Agency (JST)
• J-Gate
• JournalGuide
• JournalTOCs
• KESLI-NDSL (Korean National Discovery for Science Leaders)
• MyScienceWork
• Naver Academic
• Naviga (Softweco)
• ReadCube
• ScienceON/AccessON
• SCILIT
• Scite_
• Semantic Scholar
• Sherpa/RoMEO
• TDNet
• The Polish Digital Mathematical Library (DML-PL)
• Ulrich's Periodicals Directory/ulrichsweb
• WanFang Data
• Web of Science - Emerging Sources Citation Index
• WorldCat (OCLC)
• WorldWideScience.org
• X-MOL
• zbMATH Open

Additionally, the journal is registered and indexed in the Crossref database.