Уважаемые авторы и читатели!
Научный журнал «Formalized Mathematics» (ISSN 1426-2630) включён в базу Web of Science (ESCI).
Издатель: De Gruyter Open (PL).
Основные тематики по данным OpenAlex: Logic, programming, and type systems, Advanced Algebra and Logic, Mathematics and Applications, Security and Verification in Computing, History and Theory of Mathematics.
Журнал публикуется в режиме открытого доступа.
Ниже приведены официальные ссылки и справочные сведения для подготовки рукописи и проверки актуальности журнала.