1. Home
  2. Journal
  3. FORMALIZED MATHEMATICS

FORMALIZED MATHEMATICS

eISSN: 1898-9934 pISSN: 1898-9934

Indexed in the following public directories

  • Web of Science

Journal Specifications

Overview
Publisher SCIENDO
Language English
Frequency Quarterly
General Details
Language English
Frequency Quarterly
Publication Start Year 1990
Publisher URL Visit website
Website URL Visit website

Planning to publish in FORMALIZED MATHEMATICS ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations

Looking for the right journals to submit your mansucript?

Upload your manuscript and get a submission readiness score and other journal recommendations.

Check my Paper

Scite analysis

Powered by scite_

533 articles received 863 citations see all

  • 1 Supporting
  • 857 Mentioning
  • 0 Contrasting

Editorial notices

  • 0 Retractions
  • 0 Withdrawals
  • 0 Corrections
  • 0 Errata
  • 0 Expression of Concern

FAQs

How long has FORMALIZED MATHEMATICS been actively publishing?

FORMALIZED MATHEMATICS has been in operation since 1990 till date.

What is the publishing frequency of FORMALIZED MATHEMATICS ?

FORMALIZED MATHEMATICS published with a Quarterly frequency.

What is the eISSN & pISSN for FORMALIZED MATHEMATICS ?

For FORMALIZED MATHEMATICS,eISSN is 1898-9934 and pISSN is1898-9934.

Who is the publisher of FORMALIZED MATHEMATICS ?

SCIENDO is the publisher of FORMALIZED MATHEMATICS.