Artur Korniłowicz -- Mizar Articles

  1. On the Group of Inner Automorphisms , Formalized Mathematics , 5(1):43--45, 1996.
  2. On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra , Formalized Mathematics , 5(2):221--226, 1996.
  3. Extensions of Mappings on Generator Set , Formalized Mathematics , 5(2):269--272, 1996.
  4. Definitions and Basic Properties of Boolean and Union of Many Sorted Sets , Formalized Mathematics , 5(2):279--281, 1996.
  5. Some Basic Properties of Many Sorted Sets , Formalized Mathematics , 5(3):395--399, 1996.
  6. Certain Facts about Families of Subsets of Many Sorted Sets , Formalized Mathematics , 5(3):451--456, 1996.
  7. On the Many Sorted Closure Operator and the Many Sorted Closure System , Formalized Mathematics , 5(4):529--536, 1996.
  8. On the Closure Operator and the Closure System of Many Sorted Sets , Formalized Mathematics , 5(4):543--551, 1996.
  9. On the Trivial Many Sorted Algebras and Many Sorted Congruences , Formalized Mathematics , 6(1):9--15, 1997.
  10. Cartesian Products of Relations and Relational Structures , Formalized Mathematics , 6(1):145--152, 1997.
  11. Definitions and Properties of the Join and Meet of Subsets , Formalized Mathematics , 6(1):153--158, 1997.
  12. Meet-Continuous Lattices , Formalized Mathematics , 6(1):159--167, 1997.
  13. On the Topological Properties of Meet-Continuous Lattices , Formalized Mathematics , 6(2):269--277, 1997.
  14. On the Baire Category Theorem , Formalized Mathematics , 6(2):321--327, 1997.
  15. Equations in Many Sorted Algebras , Formalized Mathematics , 6(3):363--369, 1997.
  16. Birkhoff Theorem for Many Sorted Algebras , Formalized Mathematics , 6(3):389--395, 1997.
  17. Convergence and the Limit of Complex Sequences. Serieses , Formalized Mathematics , 6(3):403--410, 1997. (with Yasunari Shidama)
  18. On the Categories Without Uniqueness of {\bf cod} and {\bf dom}. Some Properties of the Morphisms and the Functors , Formalized Mathematics , 6(4):475--481, 1997.
  19. The Composition of Functors and Transformations in Alternative Categories , Formalized Mathematics , 7(1):1--7, 1998.
  20. The Properties of Product of Relational Structures , Formalized Mathematics , 7(1):45--52, 1998.
  21. On the Characterization of Hausdorff Spaces , Formalized Mathematics , 7(1):63--68, 1998.
  22. The Product of the Families of the Groups , Formalized Mathematics , 7(1):127--134, 1998.
  23. The Definition and Basic Properties of Topological Groups , Formalized Mathematics , 7(2):217--225, 1998.
  24. Introduction to Meet-Continuous Topological Lattices , Formalized Mathematics , 7(2):279--283, 1998.
  25. The Construction of \bf SCM over Ring , Formalized Mathematics , 7(2):295--300, 1998.
  26. The Basic Properties of \bf SCM over Ring , Formalized Mathematics , 7(2):301--305, 1998.
  27. Compactness of the Bounded Closed Subsets of TOP-REAL 2 , Formalized Mathematics , 8(1):61--68, 1999.
  28. Homeomorphism between [:TOP-REAL i,TOP-REAL j:] and TOP-REAL (i+j) , Formalized Mathematics , 8(1):73--76, 1999.
  29. The Definition of Riemann Definite Integral and some Related Lemmas , Formalized Mathematics , 8(1):93--102, 1999. (with Noboru Endou)
  30. Properties of Left-, and Right Components , Formalized Mathematics , 8(1):163--168, 1999.
  31. Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces , Formalized Mathematics , 9(1):13--18, 2001. (with Jarosław Gryko)
  32. Properties of the External Approximation of Jordan's Curve , Formalized Mathematics , 9(1):31--34, 2001.
  33. Injective Spaces. Part II , Formalized Mathematics , 9(1):41--47, 2001. (with Jarosław Gryko)
  34. Meet Continuous Lattices Revisited , Formalized Mathematics , 9(2):249--254, 2001.
  35. Standard Ordering of Instruction Locations , Formalized Mathematics , 9(2):291--301, 2001. (with Andrzej Trybulec and Piotr Rudnicki)
  36. On the Composition of Macro Instructions of Standard Computers , Formalized Mathematics , 9(2):303--316, 2001.
  37. The Properties of Instructions of { \bf SCM } over Ring , Formalized Mathematics , 9(2):317--322, 2001.
  38. Gauges and Cages. Part I , Formalized Mathematics , 9(3):501--509, 2001. (with Andrzej Trybulec, Robert Milewski and Adam Naumowicz)
  39. Some Properties of Cells and Arcs , Formalized Mathematics , 9(3):531--535, 2001. (with Andrzej Trybulec, Robert Milewski and Adam Naumowicz)
  40. Some Properties of Cells and Gauges , Formalized Mathematics , 9(3):545--548, 2001. (with Andrzej Trybulec and Adam Grabowski)
  41. Gauges and Cages. Part II , Formalized Mathematics , 9(3):555--558, 2001. (with Robert Milewski)
  42. On the Instructions of { \bf SCM } , Formalized Mathematics , 9(4):659--663, 2001.
  43. Input and Output of Instructions , Formalized Mathematics , 9(4):665--671, 2001.
  44. On the Instructions of { \bf SCM+FSA } , Formalized Mathematics , 9(4):673--679, 2001.
  45. Yet Another Construction of Free Algebra , Formalized Mathematics , 9(4):779--785, 2001. (with Grzegorz Bancerek)
  46. The Ordering of Points on a Curve, Part III , Formalized Mathematics , 10(3):169--171, 2002.
  47. The Ordering of Points on a Curve, Part IV , Formalized Mathematics , 10(3):173--176, 2002.
  48. Morphism Into Chains. Part I , Formalized Mathematics , 11(2):189--195, 2003.
  49. SCMPDS Is Not Standard , Formalized Mathematics , 11(4):421--424, 2003. (with Yasunari Shidama)
  50. A Tree of Execution of a Macroinstruction , Formalized Mathematics , 12(1):33--37, 2004.
  51. Relocability for { \bf SCM } over Ring , Formalized Mathematics , 12(2):151--157, 2004. (with Yasunari Shidama)
  52. Recursive Definitions. {P}art {II} , Formalized Mathematics , 12(2):167--172, 2004.
  53. Fundamental Theorem of Arithmetic , Formalized Mathematics , 12(2):179--185, 2004. (with Piotr Rudnicki)
  54. Algebraic Properties of Homotopies , Formalized Mathematics , 12(3):251--260, 2004. (with Adam Grabowski)
  55. The Fundamental Group , Formalized Mathematics , 12(3):261--268, 2004. (with Yasunari Shidama and Adam Grabowski)
  56. The Uniform Continuity of Functions on Normed Linear Spaces , Formalized Mathematics , 12(3):277--279, 2004. (with Takaya Nishiyama and Yasunari Shidama)
  57. The Fundamental Group of Convex Subspaces of TOP-REAL n , Formalized Mathematics , 12(3):295--299, 2004.
  58. Intersections of Intervals and Balls in TOP-REAL n , Formalized Mathematics , 12(3):301--306, 2004. (with Yasunari Shidama)
  59. On the Isomorphism of Fundamental Groups , Formalized Mathematics , 12(3):391--396, 2004.
  60. On the Fundamental Groups of Products of Topological Spaces , Formalized Mathematics , 12(3):421--425, 2004.
  61. Inverse Trigonometric Functions Arcsin and Arccos , Formalized Mathematics , 13(1):73--79, 2005. (with Yasunari Shidama)
  62. On Some Points of a Simple Closed Curve , Formalized Mathematics , 13(1):81--87, 2005.
  63. On Some Points of a Simple Closed Curve. {P}art {II} , Formalized Mathematics , 13(1):89--91, 2005. (with Adam Grabowski)
  64. Some Properties of Rectangles on the Plane , Formalized Mathematics , 13(1):109--115, 2005. (with Yasunari Shidama)
  65. Some Properties of Circles on the Plane , Formalized Mathematics , 13(1):117--124, 2005. (with Yasunari Shidama)
  66. On the Real Valued Functions , Formalized Mathematics , 13(1):181--187, 2005.
  67. Properties of Connected Subsets of the Real Line , Formalized Mathematics , 13(2):315--323, 2005.
  68. The Fundamental Group of the Circle , Formalized Mathematics , 13(2):325--331, 2005.
  69. Brouwer Fixed Point Theorem for Disks on the Plane , Formalized Mathematics , 13(2):333--336, 2005. (with Yasunari Shidama)
  70. The Fashoda Meet Theorem for Continuous Mappings , Formalized Mathematics , 13(4):467--469, 2005. (with Yatsuka Nakamura and Andrzej Trybulec)
  71. Tietze Extension Theorem , Formalized Mathematics , 13(4):471--475, 2005. (with Grzegorz Bancerek and Adam Naumowicz)
  72. Jordan Curve Theorem , Formalized Mathematics , 13(4):481--491, 2005.
  73. Quotient Rings , Formalized Mathematics , 13(4):573--576, 2005.
  74. Simple Continued Fractions and Their Convergents , Formalized Mathematics , 14(3):71--78, 2006. (with Bo Li and Yan Zhang)

December 31, 2006 --- arturk@math.uwb.edu.pl