Login
Register
Reset Password
Publish & Distribute
Publishing Solutions
Distribution Solutions
Subjects
Architecture and Design
Arts
Business and Economics
Chemistry
Classical and Ancient Near Eastern Studies
Computer Sciences
Cultural Studies
Engineering
General Interest
Geosciences
History
Industrial Chemistry
Jewish Studies
Law
Library and Information Science, Book Studies
Life Sciences
Linguistics and Semiotics
Literary Studies
Materials Sciences
Mathematics
Medicine
Music
Pharmacy
Philosophy
Physics
Social Sciences
Sports and Recreation
Theology and Religion
Publications
Journals
Books
Proceedings
Publishers
Blog
Contact
Search
EUR
USD
GBP
English
English
Deutsch
Polski
Español
Français
Italiano
Cart
Home
Journals
Formalized Mathematics
Formalized Mathematics
(a computer assisted approach)
Open Access
Metrics
Featured
Articles
Newest
Articles
Top
Cited
Most
Downloaded
Volumes
& Issues
Featured Articles
Newest Articles
Top Cited
Most Downloaded
Volumes & Issues
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Open Access | Dec 31, 2023
Conway Numbers – Formal Introduction
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Adam Naumowicz
Open Access | Dec 31, 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
and
Yasunari Shidama
Yasunari Shidama
Journal Information
Share
Download Cover
For Authors
For Authors
Aim & Scope
Editorial Board
Indexing
Metrics
How to Submit
0.3
Impact Factor
0.2
Five Year Impact Factor
0.36
JCI
20
MNiSW
6
Google Scholar h5-index
7
Google Scholar h5-median