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
http://mizar.org/). 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
- Volume 1, 2000
- Volume 2, 2002
- Volume 3, 2004
- Volume 4, 2005, "Special Issue on 30 Years of Mizar"
- Volume 5, Number 1, 2006
- Volume 5, Number 2, 2006
- Volume 6, 2007 "Special Issue on Jordan Curve Theorem"
- Volume 7, Number 1-2, 2008
- Volume 8, Number 1, 2010
- Volume 9, Number 1-2, 2014
Call for Papers
Editorial Board
Yatsuka Nakamura (Chairman)
Professor Emeritus, Shinshu University
Nagano, Japan
|
Yasunari Shidama
Professor, Shinshu University
Nagano, Japan
|
Makoto Tsukada
Professor, Toho University
Chiba, Japan
|
Artur Kornilowicz
Associate Professor, University of Bialystok
Bialystok, Poland
|
Correspondence
Mizar JAPAN
Shinshu University, Faculty of Engineering
Engineering Core Division
c/o Pauline N. Kawamoto
Nagano-ken Nagano-shi Wakasato 4-17-1
380-8553 JAPAN
Tel/FAX: +81-26-269-5591
pauline@cs.shinshu-u.ac.jp
|
|
|