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
Call for Papers
(Last updated: May 31, 2004)