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