Artur Korniłowicz  Mizar Articles
2016

Niven's Theorem,
Formalized Mathematics,
24(4):301308, 2016. (with Adam Naumowicz)

Some Algebraic Properties of Polynomial Rings,
Formalized Mathematics,
24(3):227237, 2016. (with Christoph Schwarzweller)
2015

Characteristic of Rings. Prime Fields,
Formalized Mathematics,
23(4):333349, 2015. (with Christoph Schwarzweller)
2014

The First Isomorphism Theorem and Other Properties of Rings,
Formalized Mathematics,
22(4):291301, 2014. (with Christoph Schwarzweller)

PseudoCanonical Formulae are Classical,
Formalized Mathematics,
22(2):99103, 2014. (with Marco B. Caminati)
2013

Coproducts in Categories without Uniqueness of cod and dom,
Formalized Mathematics,
21(4):235239, 2013. (with Maciej Golinski)

Commutativeness of Fundamental Groups of Topological Groups,
Formalized Mathematics,
21(2):127131, 2013.
2012

Products in Categories without Uniqueness of cod and dom,
Formalized Mathematics,
20(4):303307, 2012.

Contracting Mapping on Normed Linear Space,
Formalized Mathematics,
20(4):291301, 2012. (with Keiichi Miyajima and Yasunari Shidama)

CayleyDickson Construction,
Formalized Mathematics,
20(4):281290, 2012.

The BorsukUlam Theorem,
Formalized Mathematics,
20(2):105112, 2012. (with Marco Riccardi)

Fundamental Group of nsphere for n >= 2,
Formalized Mathematics,
20(2):97104, 2012. (with Marco Riccardi)

Riemann Integral of Functions from R into ndimensional Real Normed Space,
Formalized Mathematics,
20(1):7986, 2012. (with Keiichi Miyajima and Yasunari Shidama)

The Differentiable Functions from R into R^n ,
Formalized Mathematics,
20(1):6571, 2012. (with Keiko Narita and Yasunari Shidama)

Valuation Theory, Part I,
Formalized Mathematics,
20(1):714, 2012. (with Grzegorz Bancerek and Hidetsune Kobayashi)
2011

More on the Continuity of Real Functions,
Formalized Mathematics,
19(4):233239, 2011. (with Keiko Narita and Yasunari Shidama)

Cayley's Theorem,
Formalized Mathematics,
19(4):223225, 2011.

MazurUlam Theorem,
Formalized Mathematics,
19(3):127130, 2011.
2010

On the Continuity of Some Functions,
Formalized Mathematics,
18(3):175183, 2010.

Miscellaneous Facts about Open Functions and Continuous Functions,
Formalized Mathematics,
18(3):171174, 2010.

The Correspondence Between ndimensional Euclidean Space and the Product of n Real Lines,
Formalized Mathematics,
18(1):8185, 2010.
2009

Collective Operations on NumberMembered Sets,
Formalized Mathematics,
17(2):99115, 2009.

Arithmetic Operations on Functions from Sets into Functional Sets,
Formalized Mathematics,
17(1):4360, 2009.

The Real Vector Spaces of Finite Sequences Are Finite Dimensional,
Formalized Mathematics,
17(1):19, 2009. (with Yatsuka Nakamura, Nagato Oya and Yasunari Shidama)
2007

Basic Operations on Preordered Coherent Spaces,
Formalized Mathematics,
15(4):213230, 2007. (with Klaus E. Grue)
2006

Simple Continued Fractions and Their Convergents,
Formalized Mathematics,
14(3):7178, 2006. (with Bo Li and Yan Zhang)
2005

Quotient Rings,
Formalized Mathematics,
13(4):573576, 2005.

Jordan Curve Theorem,
Formalized Mathematics,
13(4):481491, 2005.

Tietze Extension Theorem,
Formalized Mathematics,
13(4):471475, 2005. (with Grzegorz Bancerek and Adam Naumowicz)

The Fashoda Meet Theorem for Continuous Mappings,
Formalized Mathematics,
13(4):467469, 2005. (with Yatsuka Nakamura and Andrzej Trybulec)

Brouwer Fixed Point Theorem for Disks on the Plane,
Formalized Mathematics,
13(2):333336, 2005. (with Yasunari Shidama)

The Fundamental Group of the Circle,
Formalized Mathematics,
13(2):325331, 2005.

Properties of Connected Subsets of the Real Line,
Formalized Mathematics,
13(2):315323, 2005.

On the Real Valued Functions,
Formalized Mathematics,
13(1):181187, 2005.

Some Properties of Circles on the Plane,
Formalized Mathematics,
13(1):117124, 2005. (with Yasunari Shidama)

Some Properties of Rectangles on the Plane,
Formalized Mathematics,
13(1):109115, 2005. (with Yasunari Shidama)

On Some Points of a Simple Closed Curve. Part II,
Formalized Mathematics,
13(1):8991, 2005. (with Adam Grabowski)

On Some Points of a Simple Closed Curve,
Formalized Mathematics,
13(1):8187, 2005.

Inverse Trigonometric Functions Arcsin and Arccos,
Formalized Mathematics,
13(1):7379, 2005. (with Yasunari Shidama)
2004

On the Fundamental Groups of Products of Topological Spaces,
Formalized Mathematics,
12(3):421425, 2004.

On the Isomorphism of Fundamental Groups,
Formalized Mathematics,
12(3):391396, 2004.

Intersections of Intervals and Balls in TOPREAL n,
Formalized Mathematics,
12(3):301306, 2004. (with Yasunari Shidama)

The Fundamental Group of Convex Subspaces of TOPREAL n,
Formalized Mathematics,
12(3):295299, 2004.

The Uniform Continuity of Functions on Normed Linear Spaces,
Formalized Mathematics,
12(3):277279, 2004. (with Takaya Nishiyama and Yasunari Shidama)

The Fundamental Group,
Formalized Mathematics,
12(3):261268, 2004. (with Yasunari Shidama and Adam Grabowski)

Algebraic Properties of Homotopies,
Formalized Mathematics,
12(3):251260, 2004. (with Adam Grabowski)

Fundamental Theorem of Arithmetic,
Formalized Mathematics,
12(2):179185, 2004. (with Piotr Rudnicki)

Recursive Definitions. Part II,
Formalized Mathematics,
12(2):167172, 2004.

Relocability for SCM over Ring,
Formalized Mathematics,
12(2):151157, 2004. (with Yasunari Shidama)

A Tree of Execution of a Macroinstruction,
Formalized Mathematics,
12(1):3337, 2004.
2003

SCMPDS Is Not Standard,
Formalized Mathematics,
11(4):421424, 2003. (with Yasunari Shidama)

Morphism Into Chains. Part I,
Formalized Mathematics,
11(2):189195, 2003.
2002

The Ordering of Points on a Curve, Part IV,
Formalized Mathematics,
10(3):173177, 2002.

The Ordering of Points on a Curve, Part III,
Formalized Mathematics,
10(3):169171, 2002.
2001

Yet Another Construction of Free Algebra,
Formalized Mathematics,
9(4):779785, 2001. (with Grzegorz Bancerek)

On the Instructions of SCM+FSA,
Formalized Mathematics,
9(4):673679, 2001.

Input and Output of Instructions,
Formalized Mathematics,
9(4):665671, 2001.

On the Instructions of SCM,
Formalized Mathematics,
9(4):659663, 2001.

Gauges and Cages. Part II,
Formalized Mathematics,
9(3):555558, 2001. (with Robert Milewski)

Some Properties of Cells and Gauges,
Formalized Mathematics,
9(3):545548, 2001. (with Andrzej Trybulec and Adam Grabowski)

Some Properties of Cells and Arcs,
Formalized Mathematics,
9(3):531535, 2001. (with Andrzej Trybulec, Robert Milewski and Adam Naumowicz)

Gauges and Cages. Part I,
Formalized Mathematics,
9(3):501509, 2001. (with Andrzej Trybulec, Robert Milewski and Adam Naumowicz)

The Properties of Instructions of SCM over Ring,
Formalized Mathematics,
9(2):317322, 2001.

On the Composition of Macro Instructions of Standard Computers,
Formalized Mathematics,
9(2):303316, 2001.

Standard Ordering of Instruction Locations,
Formalized Mathematics,
9(2):291301, 2001. (with Andrzej Trybulec and Piotr Rudnicki)

Meet Continuous Lattices Revisited,
Formalized Mathematics,
9(2):249254, 2001.

Injective Spaces. Part II,
Formalized Mathematics,
9(1):4147, 2001. (with Jarosław Gryko)

Properties of the External Approximation of Jordan's Curve,
Formalized Mathematics,
9(1):3134, 2001.

Some Properties of Isomorphism between Relational Structures.
On the Product of Topological Spaces,
Formalized Mathematics,
9(1):1318, 2001. (with Jarosław Gryko)
1999

Properties of Left, and Right Components,
Formalized Mathematics,
8(1):163168, 1999.

The Definition of Riemann Definite Integral and some Related
Lemmas,
Formalized Mathematics,
8(1):93102, 1999. (with Noboru Endou)

Homeomorphism between [:TOPREAL i,TOPREAL j:] and TOPREAL (i+j),
Formalized Mathematics,
8(1):7376, 1999.

Compactness of the Bounded Closed Subsets of TOPREAL 2,
Formalized Mathematics,
8(1):6168, 1999.
1998

The Basic Properties of \bf SCM over Ring,
Formalized Mathematics,
7(2):301305, 1998.

The Construction of \bf SCM over Ring,
Formalized Mathematics,
7(2):295300, 1998.

Introduction to MeetContinuous Topological Lattices,
Formalized Mathematics,
7(2):279283, 1998.

The Definition and Basic Properties of Topological Groups,
Formalized Mathematics,
7(2):217225, 1998.

The Product of the Families of the Groups,
Formalized Mathematics,
7(1):127134, 1998.

On the Characterization of Hausdorff Spaces,
Formalized Mathematics,
7(1):6368, 1998.

The Properties of Product of Relational Structures,
Formalized Mathematics,
7(1):4552, 1998.

The Composition of Functors and Transformations in Alternative Categories,
Formalized Mathematics,
7(1):17, 1998.
1997

On the Categories Without Uniqueness of cod and dom.
Some Properties of the Morphisms and the Functors,
Formalized Mathematics,
6(4):475481, 1997.

Convergence and the Limit of Complex Sequences. Serieses,
Formalized Mathematics,
6(3):403410, 1997. (with Yasunari Shidama)

Birkhoff Theorem for Many Sorted Algebras,
Formalized Mathematics,
6(3):389395, 1997.

Equations in Many Sorted Algebras,
Formalized Mathematics,
6(3):363369, 1997.

On the Baire Category Theorem,
Formalized Mathematics,
6(2):321327, 1997.

On the Topological Properties of MeetContinuous Lattices,
Formalized Mathematics,
6(2):269277, 1997.

MeetContinuous Lattices,
Formalized Mathematics,
6(1):159167, 1997.

Definitions and Properties of the Join and Meet of Subsets,
Formalized Mathematics,
6(1):153158, 1997.

Cartesian Products of Relations and Relational Structures,
Formalized Mathematics,
6(1):145152, 1997.

On the Trivial Many Sorted Algebras and Many Sorted Congruences,
Formalized Mathematics,
6(1):915, 1997.
1996

On the Closure Operator and the Closure System of Many Sorted Sets,
Formalized Mathematics,
5(4):543551, 1996.

On the Many Sorted Closure Operator and the Many Sorted Closure System,
Formalized Mathematics,
5(4):529536, 1996.

Certain Facts about Families of Subsets of Many Sorted Sets,
Formalized Mathematics,
5(3):451456, 1996.

Some Basic Properties of Many Sorted Sets,
Formalized Mathematics,
5(3):395399, 1996.

Definitions and Basic Properties of Boolean and Union of Many Sorted Sets,
Formalized Mathematics,
5(2):279281, 1996.

Extensions of Mappings on Generator Set,
Formalized Mathematics,
5(2):269272, 1996.

On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra,
Formalized Mathematics,
5(2):221226, 1996.

On the Group of Inner Automorphisms,
Formalized Mathematics,
5(1):4345, 1996.
January 1, 2017  arturk@math.uwb.edu.pl