[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] New Mizar articles

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] New Mizar articles
From: Adam Grabowski <adam@math.uwb.edu.pl>
Date: Sat, 29 Jun 2002 13:44:40 +0200 (CEST)

Yatsuka Nakamura submitted an article entitled:
      "General Fashoda Meet Theorem for Unit Circle"
        (MML identifier: JGRAPH_5)

Robert Milewski submitted an article entitled:
      "Properties of the Internal Approximation of Jordan's Curve"
        (MML identifier: JORDAN14)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:

 http://mizar.uwb.edu.pl/JFM/Preprints.html

-----
Library Committee of the Association of Mizar Users

Index(es):
- Chronological
- Thread