Journal of Formalized Mathematics Preprints

Every Mizar article submitted to the Mizar Mathematical Library (MML) is reviewed by the Library Committee of the Association of Mizar Users. Accepted articles are automatically translated into English and typeset, and then kept for the period of one month as a preprint of the Journal of Formalized Mathematics. During this time, author of the article has an opportunity to revise and enhance the notation, to improve the summary or section titles, and to report errors in typesetting.

All changes and revisions are restricted to be of editorial nature. The original Mizar article must not be changed without the acceptance of the Library Committee.

After one month as a preprint, the article is moved to the current volume of the Journal of Formalized Mathematics.

Preprints

  1. Magnitude Relation Properties of Radix-$2^k$ SD Number
    by Masaaki Niimura and Yasushi Fuwa
    Received November 7, 2003
  2. High Speed Modulo Calculation Algorithm with Radix-$2^k$ SD Number
    by Masaaki Niimura and Yasushi Fuwa
    Received November 7, 2003
  3. Transitive Closure of Fuzzy Relations
    by Takashi Mitsuishi and Grzegorz Bancerek
    Received November 23, 2003
  4. Basic Properties of Rough Sets and Rough Membership Function
    by Adam Grabowski
    Received November 23, 2003
  5. Correctness of Non Overwriting Programs. Part I
    by Yatsuka Nakamura
    Received December 5, 2003
  6. A Tree of Execution of a Macroinstruction
    by Artur Kornilowicz
    Received December 10, 2003
  7. Banach Space of Bounded Linear Operators
    by Yasunari Shidama
    Received December 22, 2003
  8. Little Bezout Theorem (Factor Theorem)
    by Piotr Rudnicki
    Received December 30, 2003
  9. Primitive Roots of Unity and Cyclotomic Polynomials
    by Broderic Arneson and Piotr Rudnicki
    Received December 30, 2003
  10. Witt's Proof of the Wedderburn Theorem
    by Broderic Arneson, Matthias Baaz, and Piotr Rudnicki
    Received December 30, 2003
  11. Banach Space of Bounded Real Sequences
    by Yasumasa Suzuki
    Received January 6, 2004

[MML Identifier Index, Mizar home page]
January 6, 2004