Mechanized Mathematics and Its Applications

Submissions accepted for:
Volume 6, Number 1
November 2007


Preface to the special edition

1. On the Formalization of Linear Operators (Endou, Shidama)
* PDF format
* DVI format

2. The Fashoda Meet Theorem and Its Variants (Kotowicz)
* PDF format
* DVI format

3. The Urysohn Lemma (Bialas, Nakamura)
* PDF format
* DVI format

4. A Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem (Kornilowicz)
* PDF format

5. Formalization of the Tietze Extension Theorem in Mizar (Naumowicz)
* PDF format
* DVI format

6. Towards a Coherent Repository of Knowledge (Grabowski)
* PDF format
* DVI format

7. Some Special Sequences of Points on a Plane (Giero, Matuszewski)
* PDF format


Last updated:
November 2007