Mechanized Mathematics
and Its Applications

- A publication of Mizar JAPAN -

Mechanized Mathematics and Its Applications (ISSN 1345-8272) publishes papers which report the interpretation and/or application of a wide variety of mathematical concepts contained in articles verified by the Mizar proof-checking system (for information on Mizar, see The papers are meant to complement Mizar articles by providing expositions of the usefulness of the results, insights, broad developments, or specific applications of the propositions.

Table of Contents

Call for Papers

MMA 2009

Editorial Board

Yatsuka Nakamura (Chairman)
Professor, Shinshu University
Nagano, Japan
Andrzej Trybulec
Senior Lecturer, University of Bialystok
Bialystok, Poland
Yoshiko Kubo
Professor, Japan Women's University
Tokyo, Japan
Makoto Tsukada
Professor, Toho University
Chiba, Japan
Piotr Rudnicki
Professor, University of Alberta
Alberta, Canada


Shinshu University, Faculty of Engineering
Department of Information Engineering
c/o Pauline N. Kawamoto
Nagano-ken Nagano-shi Wakasato 4-17-1
380-8553 JAPAN
Tel/FAX: +81-26-269-5591

(Last updated: March 10, 2009)