Volume 29 (2021): Issue 1 (Apr 2021)

Formalized Mathematics

Open Access

Journal detailsTable of contents

Previous issue Formalized Mathematics Next issue

All volumes and issues in this journal

Issue 4 (December 2021)

Issue 3 (October 2021)

Issue 2 (July 2021)

Issue 1 (April 2021)

6 articles

Open Access

|Aug 2021

Yasushige Watase

Open Access

|Aug 2021

Kazuhisa Nakasho and Yuichi Futa

Open Access

|Aug 2021

Sebastian Koch

Open Access

|Aug 2021

Christoph Schwarzweller and Agnieszka Rowińska-Schwarzweller

Open Access

|Aug 2021

Hiroshi Yamazaki, Keiichi Miyajima and Yasunari Shidama

Open Access

|Aug 2021

Artur Korniłowicz and Dariusz Surowik

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 29 (2021): Issue 1 (Apr 2021)

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)