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