The FORMALIZED MATHEMATICS is published by SCIENDO. The ISSN of this journal is 1898-9934. The FORMALIZED MATHEMATICS is ESCI indexed.
| Journal Title | FORMALIZED MATHEMATICS |
|---|---|
| Publisher | SCIENDO |
| P-ISSN | 1898-9934 |
| E-ISSN | 1898-9934 |
| Publisher Address | BOGUMILA ZUGA 32A, WARSAW, Poland, MAZOVIA, 01-811 |
| Language | English |
| Subject | Mathematics |
| Category | ESCI |
Please visit the official website of formalized mathematics. Read the instructions for authors and make your submission.