Mizar Articles Stored in Mizar Mathematical Library which is I am the author or coauthor:

- Some Basic Properties of Sets, Form.Math. 1(1), 1990,
- Functions and Their Basic Properties, Form.Math. 1(1), 1990,
- Functions from a Set to a Set, Form.Math. 1(1), 1990,
- Graphs of Functions, Form.Math. 1(1), 1990,
- Binary Operations, Form.Math. 1(1), 1990,
- Basic Functions and Operations on Functions, Form.Math. 1(1) 1990,
- Partial Functions, Form.Math. 1(2) 1990,
- Introduction to Categories and Functors, Form.Math. 1(2), 1990,
- Some Properties of Real Numbers, Form.Math. 1(3) 1990, (with Andrzej Trybulec),
- Variables in Formulae of the First Order Language, Form.Math. 1(3), 1990, (with Grzegorz Bancerek),
- The Complex Numbers, Form.Math. 1(3), 1990,
- The Modification of a Function by a Function and the Iteration of the Composition of a Function, Form.Math. 1(3), 1990,
- Finite Sequences and Tuples of Elements of a Non-empty Sets, Form.Math. 1(3), 1990,
- Binary Operations Applied to Finite Sequences, Form.Math. 1(4), 1990,
- Semigroup operations on finite subsets, Form.Math. 1(4), 1990,
- The Sum and Product of Finite Sequences of Real Numbers, Form.Math. 1(4), 1990,
- A Classical First Order Language, Form.Math. 1(4), 1990,
- Subcategories and Products of Categories, Form.Math. 1(4), 1990,
- Complex Spaces, Form.Math. 2(1), 1991, (with Andrzej Trybulec),
- Opposite Categories and Contravariant Functors, Form.Math. 2(3), 1991,
- Category Ens, Form.Math. 2(4), 1991,
- Products and Coproducts in Categories, Form.Math. 2(5), 1991,
- Cartesian Categories Form.Math. 3(2), 1992,
- Extremal Properties of Vertices on Special Polygons I (with Yatsuka Nakamura) Form.Math. 5(1), 1996,
- Some Properties of Restrictions of Finite Sequences Form.Math. 5(2), 1993,
- Special Polygons Form.Math. 5(2), 1993, (with Yatsuka Nakamura)
- The correspondence between monotonic many sorted signatures and well-founded graphs (with Piotr Rudnicki)
- The correspondence between monotonic many sorted signatures and well founded graphs. Part II (with Piotr Rudnicki)

10 October, 1999 --
bylinski@math.uwb.edu.pl |
[My Home Page] |