Volume 30 (2022): Issue 1 (Apr 2022)

Formalized Mathematics

Open Access

Journal detailsTable of contents

Previous issue Formalized Mathematics Next issue

All volumes and issues in this journal

Issue 4 (December 2022)

Issue 3 (October 2022)

Issue 2 (July 2022)

Issue 1 (April 2022)

6 articles

Open Access

|Dec 2022

Takao Inoué

and Riku Hanaoka

Open Access

|Dec 2022

Keiichi Miyajima and Hiroshi Yamazaki

Open Access

|Dec 2022

Christoph Schwarzweller and Sara Burgoa

Open Access

|Dec 2022

Noboru Endou

Open Access

|Dec 2022

Roland Coghetto

Open Access

|Dec 2022

Kazuhisa Nakasho

and Yuichi Futa

eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year

Published by: University of Bialystok

In partnership with: Paradigm Publishing Services

Journal RSS Feed

Volume 30 (2022): Issue 1 (Apr 2022)

All volumes and issues in this journal

Volume 33 (2025)

Volume 32 (2024)

Volume 31 (2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)