Index of MML Identifiers

version izar/verifier

[A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ]

A

ABCMIZ_0, miz file
On semilattice structure of {M}izar types by Grzegorz Bancerek
ABCMIZ_1, miz file
Towards the construction of a model of Mizar concepts by Grzegorz Bancerek
ABIAN, miz file
Abian's Fixed Point Theorem by Piotr Rudnicki and Andrzej Trybulec
ABSVALUE, miz file
Some Properties of Functions Modul and Signum by Jan Popio{\l}ek
AFF_1, miz file
Parallelity and Lines in Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
AFF_2, miz file
Classical Configurations in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
AFF_3, miz file
Affine Localizations of Desargues Axiom by Eugeniusz Kusak, Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
AFF_4, miz file
Planes in Affine Spaces by Wojciech Leo\'nczuk, Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
AFINSQ_1, miz file
Zero Based Finite Sequences by Tetsuya Tsunetou , Grzegorz Bancerek and Yatsuka Nakamura
AFINSQ_2, miz file
Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences
AFPROJ, miz file
A Projective Closure and Projective Horizon of an Affine Space by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
AFVECT0, miz file
Directed Geometrical Bundles and Their Analytical Representation by Grzegorz Lewandowski, Krzysztof Pra\.zmowski and Bo\.zena Lewandowska
AFVECT01, miz file
One-Dimensional Congruence of Segments, Basic Facts and Midpoint Relation by Barbara Konstanta, Urszula Kowieska, Grzegorz Lewandowski and
ALG_1, miz file
Homomorphisms of algebras. Quotient Universal Algebra by Ma{\l}gorzata Korolkiewicz
ALGSEQ_1, miz file
Construction of Finite Sequences over Ring and Left-, Right-, and Bi-Modules over a Ring
ALGSPEC1, miz file
Technical Preliminaries to Algebraic Specifications by Grzegorz Bancerek
ALGSTR_0, miz file
Basic Algebraic Structures by Library Committee
ALGSTR_1, miz file
From Loops to Abelian Multiplicative Groups with Zero by Micha{\l} Muzalewski and Wojciech Skaba
ALGSTR_2, miz file
From Double Loops to Fields by Wojciech Skaba and Micha{\l} Muzalewski
ALGSTR_3, miz file
Ternary Fields by Micha{\l} Muzalewski and Wojciech Skaba
ALI2, miz file
Fix Point Theorem for Compact Spaces by Alicia de la Cruz
ALTCAT_1, miz file
Categories without Uniqueness of { \bf cod } and { \bf dom } by Andrzej Trybulec
ALTCAT_2, miz file
Examples of Category Structures.Subcategories by Andrzej Trybulec
ALTCAT_3, miz file
Basic properties of objects and morphisms. In categories without uniqueness of { \bf cod } and { \bf dom }
ALTCAT_4, miz file
On the Categories Without Uniqueness of { \bf cod } and { \bf dom } . Some Properties of the Morphisms and the Functors
AMI_1, miz file
A Mathematical Model of CPU by Yatsuka Nakamura and Andrzej Trybulec
AMI_2, miz file
On a Mathematical Model of Programs by Yatsuka Nakamura and Andrzej Trybulec
AMI_3, miz file
Some Remarks on Simple Concrete Model of Computer by Andrzej Trybulec and Yatsuka Nakamura
AMI_4, miz file
Euclide Algorithm by Andrzej Trybulec and Yatsuka Nakamura
AMI_5, miz file
On the Decomposition of the States of SCM by Yasushi Tanaka
AMI_6, miz file
On the Instructions of { \bf SCM } by Artur Korni{\l}owicz
AMI_7, miz file
Input and Output of Instructions by Artur Korni{\l}owicz
AMISTD_1, miz file
Standard Ordering of Instruction Locations by Andrzej Trybulec , Piotr Rudnicki and Artur Korni{\l}owicz
AMISTD_2, miz file
On the Composition of Macro Instructions of Standard Computers by Artur Korni{\l}owicz
AMISTD_3, miz file
A Tree of Execution of a Macroinstruction by Artur Korni{\l}owicz
ANALMETR, miz file
Analytical Metric Affine Spaces and Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
ANALOAF, miz file
Analytical Ordered Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
ANALORT, miz file
Oriented Metric-Affine Plane - Part I by Jaroslaw Zajkowski
ANPROJ_1, miz file
A Construction of Analytical Projective Space by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski
ANPROJ_2, miz file
Projective Spaces by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski
AOFA_000, miz file
Mizar Analysis of Algorithms: Preliminaries by Grzegorz Bancerek
AOFA_I00, miz file
Mizar Analysis of Algorithms: Algorithms over Integers by Grzegorz Bancerek
ARITHM, miz file
Field Properties of Complex Numbers - Requirements by Library Committee
ARMSTRNG, miz file
Armstrong's Axioms by William W. Armstrong , Yatsuka Nakamura and Piotr Rudnicki
ARROW, miz file
Arrow's Impossibility Theorem by Freek Wiedijk
ARYTM_0, miz file
Introduction to Arithmetics by Andrzej Trybulec
ARYTM_1, miz file
Non negative real numbers. Part II by Andrzej Trybulec
ARYTM_2, miz file
Non negative real numbers. Part I by Andrzej Trybulec
ARYTM_3, miz file
Arithmetic of Non Negative Rational Numbers by Grzegorz Bancerek
ASYMPT_0, miz file
Asymptotic notation. Part I: Theory by Richard Krueger , Piotr Rudnicki and Paul Shelley
ASYMPT_1, miz file
Asymptotic notation. Part II: Examples and Problems by Richard Krueger, Piotr Rudnicki and Paul Shelley
AUTALG_1, miz file
On the Group of Automorphisms of Universal Algebra & Many Sorted Algebra
AUTGROUP, miz file
On the Group of Inner Automorphisms by Artur Korni{\l}owicz
AXIOMS, miz file
Strong arithmetic of real numbers by Andrzej Trybulec

B

BAGORDER, miz file
On Ordering of Bags by Gilbert Lee and Piotr Rudnicki
BCIALG_1, miz file
Several Classes of {BCI}-algebras and Their Properties by Yuzhong Ding
BCIALG_2, miz file
Congruences and Quotient Algebras of {BCI}-algebras by Yuzhong Ding and Zhiyong Pang
BCIALG_3, miz file
Several Classes of {BCK}-algebras and Their Properties by Tao Sun , Dahai Hu and Xiquan Liang
BCIALG_4, miz file
BCI-Algebras with Condition (S) and Their Properties by Tao Sun , Junjie Zhao and Xiquan Liang
BCIALG_5, miz file
General Theory of Quasi-Commutative BCI-algebras by Tao Sun , Weibo Pan , Chenglong Wu and Xiquan Liang
BCIALG_6, miz file
{BCI}-Homomorphisms by Yuzhong Ding , Fuguo Ge and Chenglong Wu
BCIIDEAL, miz file
Ideals of BCI-Algebras and Their Properties by Chenglong Wu and Yuzhong Ding
BHSP_1, miz file
Introduction to Banach and Hilbert spaces - Part I by Jan Popio{\l}ek
BHSP_2, miz file
Introduction to Banach and Hilbert spaces - Part II by Jan Popio{\l}ek
BHSP_3, miz file
Introduction to Banach and Hilbert spaces - Part III by Jan Popio{\l}ek
BHSP_4, miz file
Series in Banach and Hilbert Spaces by El\.zbieta Kraszewska and Jan Popio{\l}ek
BHSP_5, miz file
Bessel's Inequality by Hiroshi Yamazaki , Yasunari Shidama and Yatsuka Nakamura
BHSP_6, miz file
On Some Properties of Real {H}ilbert Space, {I} by Hiroshi Yamazaki , Yasumasa Suzuki , Takao Inou\'e and Yasunari Shidama
BHSP_7, miz file
On Some Properties of Real {H}ilbert Space, {II} by Hiroshi Yamazaki , Yasumasa Suzuki , Takao Inou\'e and Yasunari Shidama
BILINEAR, miz file
Bilinear Functionals in Vector Spaces by Jaros{\l}aw Kotowicz
BINARI_2, miz file
Binary Arithmetics. Addition and Subtraction of Integers by Yasuho Mizuhara and Takaya Nishiyama
BINARI_3, miz file
Binary Arithmetics. Binary Sequences by Robert Milewski
BINARI_4, miz file
A Representation of Integers by Binary Arithmetics and Addition of Integers
BINARI_5, miz file
On the Calculus of Binary Arithmetics by Shunichi Kobayashi
BINARITH, miz file
Binary Arithmetics. Addition by Takaya Nishiyama and Yasuho Mizuhara
BINOM, miz file
The Binomial Theorem for Algebraic Structures by Christoph Schwarzweller
BINOP_1, miz file
Binary Operations by Czes{\l}aw Byli\'nski
BINOP_2, miz file
Binary Operations on Numbers by Library Committee
BINTREE1, miz file
On Defining Functions on Binary Trees by Grzegorz Bancerek and Piotr Rudnicki
BINTREE2, miz file
Full Trees by Robert Milewski
BIRKHOFF, miz file
Birkhoff Theorem for Many Sorted Algebras by Artur Korni{\l}owicz
BOOLE, miz file
Boolean Properties of Sets - Requirements by Library Committee
BOOLEALG, miz file
Boolean Properties of Lattices by Agnieszka Julia Marasik
BOOLMARK, miz file
Basic Concepts for Petri Nets with Boolean Markings. Boolean Markings and the Firability/Firing of Transitions
BORSUK_1, miz file
A Borsuk Theorem on Homotopy Types by Andrzej Trybulec
BORSUK_2, miz file
Introduction to Homotopy Theory by Adam Grabowski
BORSUK_3, miz file
Properties of the Product of Compact Topological Spaces by Adam Grabowski
BORSUK_4, miz file
On the Decompositions of Intervals and Simple Closed Curves by Adam Grabowski
BORSUK_5, miz file
On the Subcontinua of a Real Line by Adam Grabowski
BORSUK_6, miz file
Algebraic Properties of Homotopies by Adam Grabowski and Artur Korni{\l}owicz
BROUWER, miz file
Brouwer Fixed Point Theorem for Disks on the Plane by Artur Korni{\l}owicz and Yasunari Shidama
BSPACE, miz file
The Vector Space of Subsets of a Set Based on Disjoint Union by Jesse Alama
BVFUNC10, miz file
Propositional Calculus for Boolean Valued Functions, VI by Shunichi Kobayashi
BVFUNC11, miz file
Predicate Calculus for Boolean Valued Functions, III by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC13, miz file
Predicate Calculus for Boolean Valued Functions, V by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC14, miz file
Predicate Calculus for Boolean Valued Functions, { VI } by Shunichi Kobayashi
BVFUNC25, miz file
Propositional Calculus for Boolean Valued Functions, {VII } by Shunichi Kobayashi
BVFUNC26, miz file
Propositional Calculus for Boolean Valued Functions, {VIII} by Shunichi Kobayashi
BVFUNC_1, miz file
A Theory of Boolean Valued Functions and Partitions by Shunichi Kobayashi and Kui Jia
BVFUNC_2, miz file
A Theory of Boolean Valued Functions and Quantifiers with Respect to Partitions
BVFUNC_3, miz file
Predicate Calculus for Boolean Valued Functions, { I } by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC_4, miz file
Predicate Calculus for Boolean Valued Functions, II by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC_5, miz file
Propositional Calculus for Boolean Valued Functions, I by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC_6, miz file
Propositional Calculus for Boolean Valued Functions, II by Shunichi Kobayashi and Yatsuka Nakamura
BVFUNC_7, miz file
Propositional Calculus For Boolean Valued Functions, III by Shunichi Kobayashi
BVFUNC_8, miz file
Propositional Calculus For Boolean Valued Functions, IV by Shunichi Kobayashi
BVFUNC_9, miz file
Propositional Calculus for Boolean Valued Functions, { V } by Shunichi Kobayashi

C

C0SP1, miz file
Banach Algebra of Bounded Functionals by Yasunari Shidama , Hikofumi Suzuki and Noboru Endou
CALCUL_1, miz file
A Sequent Calculus for First-Order Logic by Patrick Braselmann and Peter Koepke
CALCUL_2, miz file
Consequences of the Sequent Calculus by Patrick Braselmann and Peter Koepke
CANTOR_1, miz file
The Cantor Set by Alexander Yu. Shibakov and Andrzej Trybulec
CARD_1, miz file
Cardinal Numbers by Grzegorz Bancerek
CARD_2, miz file
Cardinal Arithmetics by Grzegorz Bancerek
CARD_3, miz file
K\"onig's Theorem by Grzegorz Bancerek
CARD_4, miz file
Countable Sets and Hessenberg's Theorem by Grzegorz Bancerek
CARD_5, miz file
On Powers of Cardinals by Grzegorz Bancerek
CARD_FIL, miz file
Basic facts about inaccessible and measurable cardinals by Josef Urban
CARD_FIN, miz file
Cardinal Numbers and Finite Sets by Karol P\c{a}k
CARD_LAR, miz file
Mahlo and inaccessible cardinals by Josef Urban
CAT_1, miz file
Introduction to Categories and Functors by Czes{\l}aw Byli\'nski
CAT_2, miz file
Subcategories and Products of Categories by Czes{\l}aw Byli\'nski
CAT_3, miz file
Products and Coproducts in Categories by Czes{\l}aw Byli\'nski
CAT_4, miz file
Cartesian Categories by Czes{\l}aw Byli\'nski
CAT_5, miz file
Categorial Categories and Slice Categories by Grzegorz Bancerek
CATALAN1, miz file
Catalan Numbers by Dorota Cz\c{e}stochowska and Adam Grabowski
CATALAN2, miz file
The {C}atalan Numbers. {P}art {II} by Karol P\c{a}k
CATALG_1, miz file
Algebra of Morphisms by Grzegorz Bancerek
CFCONT_1, miz file
Property of Complex Sequence and Continuity of Complex Function by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama
CFDIFF_1, miz file
Complex Function Differentiability by Chanapat Pacharapokin , Hiroshi Yamazaki , Yasunari Shidama and Yatsuka
CFUNCDOM, miz file
Complex Valued Function's Space by Noboru Endou
CFUNCT_1, miz file
Property of Complex Functions by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama
CHAIN_1, miz file
Chains on a Grating in Euclidean Space by Freek Wiedijk
CHORD, miz file
Chordal Graphs by Broderick Arneson and Piotr Rudnicki
CIRCCMB2, miz file
Combining of Multi Cell Circuits by Grzegorz Bancerek , Shin'nosuke Yamaguchi and Yasunari Shidama
CIRCCMB3, miz file
Preliminaries to Automatic Generation of Mizar Documentation for Circuits by Grzegorz Bancerek and Adam Naumowicz
CIRCCOMB, miz file
Combining of Circuits by Yatsuka Nakamura and Grzegorz Bancerek
CIRCLED1, miz file
Circled Sets, Circled Hull, and Circled Family by Fahui Zhai , Jianbing Cao and Xiquan Liang
CIRCTRM1, miz file
Circuit Generated by Terms and Circuit Calculating Terms by Grzegorz Bancerek
CIRCUIT1, miz file
Introduction to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamo
CIRCUIT2, miz file
Introduction to Circuits, II by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamo
CLASSES1, miz file
Tarski's Classes and Ranks by Grzegorz Bancerek
CLASSES2, miz file
Universal Classes by Bogdan Nowak and Grzegorz Bancerek
CLOPBAN1, miz file
Complex {B}anach Space of Bounded Linear Operators by Noboru Endou
CLOPBAN2, miz file
Banach Algebra of Bounded Complex Linear Operators by Noboru Endou
CLOPBAN3, miz file
Series on Complex {B}anach Algebra by Noboru Endou
CLOPBAN4, miz file
Exponential Function on Complex {B}anach Algebra by Noboru Endou
CLOSURE1, miz file
On the Many Sorted Closure Operator and the Many Sorted Closure System
CLOSURE2, miz file
On the Closure Operator and the Closure System of Many Sorted Sets by Artur Korni{\l}owicz
CLOSURE3, miz file
Algebraic Operation on Subsets of Many Sorted Sets by Agnieszka Julia Marasik
CLVECT_1, miz file
Complex Linear Space and Complex Normed Space by Noboru Endou
CLVECT_2, miz file
Convergent Sequences in Complex Unitary Space by Noboru Endou
CLVECT_3, miz file
Cauchy Sequence of Complex Unitary Space by Yasumasa Suzuki and Noboru Endou
COH_SP, miz file
Coherent Space by Jaros{\l}aw Kotowicz and Konrad Raczkowski
COHSP_1, miz file
Continuous, Stable, and Linear Maps of Coherence Spaces by Grzegorz Bancerek
COLLSP, miz file
The Collinearity Structure by Wojciech Skaba
COMBGRAS, miz file
Combinatorial {G}rassmannians by Andrzej Owsiejczuk
COMMACAT, miz file
Comma Category by Grzegorz Bancerek and Agata Darmochwa\l
COMPACT1, miz file
Alexandroff One Point Compactification by Czeslaw Bylinski
COMPL_SP, miz file
Complete Spaces by Karol P\c{a}k
COMPLEX1, miz file
The Complex Numbers by Czes{\l}aw Byli\'nski
COMPLEX2, miz file
Inner Products and Angles of Complex Numbers by Wenpai Chang, Yatsuka Nakamura and Piotr Rudnicki
COMPLFLD, miz file
The Field of Complex Numbers by Anna Justyna Milewska
COMPLSP1, miz file
Complex Spaces by Czes{\l}aw Byli\'nski and Andrzej Trybulec
COMPLSP2, miz file
The Inner Product and Conjugate of Finite Sequences of Complex Numbers by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura
COMPTRIG, miz file
Trigonometric Form of Complex Numbers by Robert Milewski
COMPTS_1, miz file
Compact Spaces by Agata Darmochwa{\l}
COMPUT_1, miz file
The set of primitive recursive functions by Grzegorz Bancerek and Piotr Rudnicki
COMSEQ_1, miz file
Complex Sequences by Agnieszka Banachowicz and Anna Winnicka
COMSEQ_2, miz file
Conjugate Sequences, Bounded Complex Sequences and Convergent Complex Sequences
COMSEQ_3, miz file
Convergence and the Limit of Complex Sequences. Series by Yasunari Shidama and Artur Korni{\l}owicz
CONAFFM, miz file
Metric-Affine Configurations in Metric Affine Planes - Part I by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski
CONLAT_1, miz file
Introduction to Concept Lattices by Christoph Schwarzweller
CONLAT_2, miz file
A Characterization of Concept Lattices; Dual Concept Lattices by Christoph Schwarzweller
CONMETR, miz file
Metric-Affine Configurations in Metric Affine Planes - Part II by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski
CONMETR1, miz file
Shear Theorems and Their Role in Affine Geometry by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski
CONNSP_1, miz file
Connected Spaces by Beata Padlewska
CONNSP_2, miz file
Locally Connected Spaces by Beata Padlewska
CONNSP_3, miz file
Components and Unions of Components by Yatsuka Nakamura and Andrzej Trybulec
CONVEX1, miz file
Convex Sets and Convex Combinations by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
CONVEX2, miz file
Some Properties for Convex Combinations by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama
CONVEX3, miz file
Convex Hull, Set of Convex Combinations and Convex Cone by Noboru Endou and Yasunari Shidama
CONVEX4, miz file
Convex Sets and Convex Combinations on Complex Linear Spaces by Hidenori Matsuzaki , Noboru Endou and Yasunari Shidama
CONVFUN1, miz file
Definition of Convex Function and {J}ensen's Inequality by Grigory E. Ivanov
CQC_LANG, miz file
A Classical First Order Language by Czes{\l}aw Byli\'nski
CQC_SIM1, miz file
Similarity of Formulae by Agata Darmochwa{\l} and Andrzej Trybulec
CQC_THE1, miz file
A First-Order Predicate Calculus. Axiomatics, the Consequence Operation and a Concept of Proof
CQC_THE2, miz file
Calculus of Quantifiers. Deduction Theorem by Agata Darmochwa\l
CQC_THE3, miz file
Logical Equivalence of Formulae by Oleg Okhotnikov
CSSPACE, miz file
Complex Linear Space of Complex Sequences by Noboru Endou
CSSPACE2, miz file
Hilbert Space of Complex Sequences by Noboru Endou
CSSPACE3, miz file
Banach Space of Absolute Summable Complex Sequences by Noboru Endou
CSSPACE4, miz file
Complex Banach Space of Bounded Complex Sequences by Noboru Endou

D

DECOMP_1, miz file
On the Decomposition of the Continuity by Marian Przemski
DICKSON, miz file
Dickson's lemma by Gilbert Lee and Piotr Rudnicki
DIFF_1, miz file
Difference and Difference Quotient by Bo Li , Yan Zhang and Xiquan Liang
DIFF_2, miz file
Difference and Difference Quotient -- Part {II} by Bo Li , Yanping Zhuang and Xiquan Liang
DIRAF, miz file
Ordered Affine Spaces Defined in Terms of Directed Parallelity - part I by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
DIRORT, miz file
Oriented Metric-Affine Plane - Part II by Jaros{\l}aw Zajkowski
DOMAIN_1, miz file
Domains and Their Cartesian Products by Andrzej Trybulec
DTCONSTR, miz file
On Defining Functions on Trees by Grzegorz Bancerek and Piotr Rudnicki
DYNKIN, miz file
Dynkin's Lemma in Measure Theory by Franz Merkl

E

E_SIEC, miz file
Definitions of Petri Net - Part II by Waldemar Korczy\'nski
ENDALG, miz file
On the Monoid of Endomorphisms of Universal Algebra \& Many Sorted Algebra
ENS_1, miz file
Category Ens by Czes{\l}aw Byli\'nski
ENTROPY1, miz file
Definition and Some Properties of Information Entropy by Bo Zhang and Yatsuka Nakamura
ENUMSET1, miz file
Enumerated Sets by Andrzej Trybulec
EQREL_1, miz file
Equivalence Relations and Classes of Abstraction by Konrad Raczkowski and Pawe{\l} Sadowski
EQUATION, miz file
Equations in Many Sorted Algebras by Artur Korni{\l}owicz
EUCLID, miz file
The Euclidean Space by Agata Darmochwa{\l}
EUCLID_2, miz file
The Inner Product of Finite Sequences and of Points of $n$-dimensional Topological Space
EUCLID_3, miz file
Angle and Triangle in {E}uclidian Topological Space by Akihiro Kubo and Yatsuka Nakamura
EUCLID_4, miz file
Lines in $n$-Dimensional Euclidean Spaces by Akihiro Kubo
EUCLID_5, miz file
Cross Products and Tripple Vector Products in 3-dimensional Euclidian Space by Kanchun, Hiroshi Yamazaki and Yatsuka Nakamura
EUCLID_6, miz file
Heron's Formula and Ptolemy's Theorem by Marco Riccardi
EUCLID_7, miz file
The Real Vector Spaces of Finite Sequences Are Finite Dimensional by Yatsuka Nakamura , Artur Korni{\l}owicz , Nagato Oya and Yasunari Shidam
EUCLIDLP, miz file
Lines on Planes in $n$-Dimensional Euclidean Spaces by Akihiro Kubo
EUCLMETR, miz file
Fundamental Types of Metric Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
EULER_1, miz file
Euler's Function by Yoshinori Fujisawa and Yasushi Fuwa
EULER_2, miz file
Euler's {T}heorem and Small {F}ermat's Theorem by Yoshinori Fujisawa , Yasushi Fuwa and Hidetaka Shimizu
EXTENS_1, miz file
Extensions of Mappings on Generator Set by Artur Korni{\l}owicz
EXTREAL1, miz file
Basic Properties of Extended Real Numbers by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
EXTREAL2, miz file
Some Properties of Extended Real Numbers Operations: absolute value, min and max

F

FACIRC_1, miz file
Full Adder Circuit. Part { I } by Grzegorz Bancerek and Yatsuka Nakamura
FACIRC_2, miz file
Full Adder Circuit. Part { II } by Grzegorz Bancerek , Shin'nosuke Yamaguchi and Katsumi Wasaki
FCONT_1, miz file
Real Function Continuity by Konrad Raczkowski and Pawe{\l} Sadowski
FCONT_2, miz file
Real Function Uniform Continuity by Jaros{\l}aw Kotowicz and Konrad Raczkowski
FCONT_3, miz file
Monotonic and Continuous Real Function by Jaros{\l}aw Kotowicz
FDIFF_1, miz file
Real Function Differentiability by Konrad Raczkowski and Pawe{\l} Sadowski
FDIFF_10, miz file
Several Differentiation Formulas of Special Functions -- Part {V} by Bo Li and Pan Wang
FDIFF_11, miz file
Several Differentiation Formulas of Special Functions -- Part {VII} by Fuguo Ge and Bing Xie
FDIFF_2, miz file
Real Function Differentiability - Part II by Jaros{\l}aw Kotowicz and Konrad Raczkowski
FDIFF_3, miz file
Real Function One-Side Differantiability by Ewa Burakowska and Beata Madras
FDIFF_4, miz file
Several Differentiable Formulas of Special Functions by Yan Zhang and Xiquan Liang
FDIFF_5, miz file
Some Differentiable Formulas of Special Functions by Jianbing Cao , Fahui Zhai and Xiquan Liang
FDIFF_6, miz file
Several Differentiable Formulas of Special Functions -- Part {II} by Yan Zhang , Bo Li and Xiquan Liang
FDIFF_7, miz file
Several Differentiation Formulas of Special Functions -- Part {III} by Bo Li , Yan Zhang and Xiquan Liang
FDIFF_8, miz file
Several Differentiation Formulas of Special Functions -- Part {IV} by Bo Li and Peng Wang
FDIFF_9, miz file
Several Differentiation Formulas of Special Functions -- Part {V} by Peng Wang and Bo Li
FF_SIEC, miz file
Definitions of Petri Net - Part I by Waldemar Korczy\'nski
FIB_FUSC, miz file
Two Programs for {\bf SCM}. Part II - Proofs by Grzegorz Bancerek and Piotr Rudnicki
FIB_NUM, miz file
Fibonacci Numbers by Robert M. Solovay
FIB_NUM2, miz file
Some Properties of {F}ibonacci Numbers by Magdalena Jastrz\c{e}bska and Adam Grabowski
FIB_NUM3, miz file
Lucas Numbers and Generalized {F}ibonacci Numbers by Piotr Wojtecki and Adam Grabowski
FILEREC1, miz file
A Theory of Sequential Files by Hirofumi Fukura and Yatsuka Nakamura
FILTER_0, miz file
Filters - Part I. Implicative Lattices by Grzegorz Bancerek
FILTER_1, miz file
Filters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices
FILTER_2, miz file
Ideals by Grzegorz Bancerek
FIN_TOPO, miz file
Finite Topological Spaces. Finite Topology Concepts and Neighbourhoods by Hiroshi Imura and Masayoshi Eguchi
FINSEQ_1, miz file
Segments of Natural Numbers and Finite Sequences by Grzegorz Bancerek and Krzysztof Hryniewiecki
FINSEQ_2, miz file
Finite Sequences and Tuples of Elements of a Non-empty Sets by Czes{\l}aw Byli\'nski
FINSEQ_3, miz file
Non-contiguous Substrings and One-to-one Finite Sequences by Wojciech A. Trybulec
FINSEQ_4, miz file
Pigeon Hole Principle by Wojciech A. Trybulec
FINSEQ_5, miz file
Some Properties of Restrictions of Finite Sequences by Czes\law Byli\'nski
FINSEQ_6, miz file
On the Decomposition of Finite Sequences by Andrzej Trybulec
FINSEQ_7, miz file
On Replace Function and Swap Function for Finite Sequences by Hiroshi Yamazaki , Yoshinori Fujisawa and Yatsuka Nakamura
FINSEQ_8, miz file
Concatenation of Finite Sequences Reducing Overlapping Part and an Argument of Separators of Sequential Files
FINSEQOP, miz file
Binary Operations Applied to Finite Sequences by Czes{\l}aw Byli\'nski
FINSET_1, miz file
Finite Sets by Agata Darmochwa\l
FINSOP_1, miz file
Binary Operations on Finite Sequences by Wojciech A. Trybulec
FINSUB_1, miz file
Boolean Domains by Andrzej Trybulec and Agata Darmochwa\l
FINTOPO2, miz file
Formal topological spaces by Gang Liu , Yasushi Fuwa and Masayoshi Eguchi
FINTOPO3, miz file
Some Set Series in Finite Topological Spaces. {F}undamental Concepts for Image Processing
FINTOPO4, miz file
Continuous Mappings between Finite and One-Dimensional Finite Topological Spaces
FINTOPO5, miz file
Homeomorphism between Finite Topological Spaces, Two-Dimensional Lattice Spaces and a Fixed Point Theorem
FINTOPO6, miz file
Connectedness and Continuous Sequences in Finite Topological Spaces by Yatsuka Nakamura
FLANG_1, miz file
Formal Languages -- Concatenation and Closure by Micha{\l} Trybulec
FLANG_2, miz file
Regular Expression Quantifiers -- $m$ to $n$ Occurrences by Micha{\l} Trybulec
FLANG_3, miz file
Regular Expression Quantifiers -- at least $m$ Occurrences by Micha{\l} Trybulec
FRAENKEL, miz file
Function Domains and Fr{\ae}nkel Operator by Andrzej Trybulec
FRECHET, miz file
First-countable, Sequential, and { F } rechet Spaces by Bart{\l}omiej Skorulski
FRECHET2, miz file
The Sequential Closure Operator In Sequential and Frechet Spaces by Bart{\l}omiej Skorulski
FREEALG, miz file
Free Universal Algebra Construction by Beata Perkowska
FSCIRC_1, miz file
Full Subtracter Circuit. Part { I } by Katsumi Wasaki and Noboru Endou
FSCIRC_2, miz file
Full Subtracter Circuit. Part {II} by Shin'nosuke Yamaguchi , Grzegorz Bancerek and Katsumi Wasaki
FSM_1, miz file
Minimization of finite state machines by Miroslava Kaloper and Piotr Rudnicki
FSM_2, miz file
On state machines of calculating type by Hisayoshi Kunimune , Grzegorz Bancerek and Yatsuka Nakamura
FTACELL1, miz file
Stability of the 4-2 Binary Addition Circuit Cells. Part {I} by Katsumi Wasaki
FUNCOP_1, miz file
Binary Operations Applied to Functions by Andrzej Trybulec
FUNCSDOM, miz file
Real Functions Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
FUNCT_1, miz file
Functions and Their Basic Properties by Czes{\l}aw Byli\'nski
FUNCT_2, miz file
Functions from a Set to a Set by Czes{\l}aw Byli\'nski
FUNCT_3, miz file
Basic Functions and Operations on Functions by Czes{\l}aw Byli\'nski
FUNCT_4, miz file
The Modification of a Function by a Function and the Iteration of the Composition of a Function
FUNCT_5, miz file
Curried and Uncurried Functions by Grzegorz Bancerek
FUNCT_6, miz file
Cartesian Product of Functions by Grzegorz Bancerek
FUNCT_7, miz file
Miscellaneous Facts about Functions by Grzegorz Bancerek and Andrzej Trybulec
FUNCTOR0, miz file
Functors for Alternative Categories by Andrzej Trybulec
FUNCTOR1, miz file
Basic Properties of Functor Structures by Claus Zinn and Wolfgang Jaksch
FUNCTOR2, miz file
Category of Functors between Alternative Categories by Robert Nieszczerzewski
FUNCTOR3, miz file
The Composition of Functors and Transformations in Alternative Categories
FUZZY_1, miz file
Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation
FUZZY_2, miz file
Basic Properties of Fuzzy Set Operation and Membership Function by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama
FUZZY_4, miz file
Properties of Fuzzy Relation by Noboru Endou , Takashi Mitsuishi and Keiji Ohkubo
FVSUM_1, miz file
Sum and Product of Finite Sequences of Elements of a Field by Katarzyna Zawadzka

G

GATE_1, miz file
Logic Gates and Logical Equivalence of Adders by Yatsuka Nakamura
GATE_2, miz file
Correctness of Binary Counter Circuits by Yuguang Yang , Wasaki Katsumi , Yasushi Fuwa and Yatsuka Nakamura
GATE_3, miz file
Correctness of Johnson Counter Circuits by Yuguang Yang , Wasaki Katsumi , Yasushi Fuwa and Yatsuka Nakamura
GATE_4, miz file
Correctness of a Cyclic Redundancy Check Code Generator by Yuguang Yang , Katsumi Wasaki , Yasushi Fuwa and Yatsuka Nakamura
GATE_5, miz file
Correctness of the High Speed Array Multiplier Circuits by Hiroshi Yamazaki and Katsumi Wasaki
GCD_1, miz file
The correctness of the Generic Algorithms of Brown and Henrici concerning Addition and Multiplication in Fraction Fields
GENEALG1, miz file
Basic Properties of Genetic Algorithm by Akihiko Uchibori and Noboru Endou
GEOMTRAP, miz file
A Construction of Analytical Ordered Trapezium Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
GFACIRC1, miz file
Generalized Full Adder Circuits (GFAs). {P}art {I} by Shin'nosuke Yamaguchi , Katsumi Wasaki and Nobuhiro Shimoi
GFACIRC2, miz file
Stability of n-bit Generalized Full Adder Circuits (GFAs). Part {II} by Katsumi Wasaki
GLIB_000, miz file
Alternative Graph Structures by Gilbert Lee and Piotr Rudnicki
GLIB_001, miz file
Walks in a Graph by Gilbert Lee
GLIB_002, miz file
Trees: Connected, Acyclic Graphs by Gilbert Lee
GLIB_003, miz file
Weighted and Labeled Graphs by Gilbert Lee
GLIB_004, miz file
Proof of Dijkstra's Shortest Path Algorithm & Prim's Minimum Spanning Tree Algorithm
GLIB_005, miz file
Proof of Ford/Fulkerson's Maximum Network Flow Algorithm by Gilbert Lee
GOBOARD1, miz file
Introduction to Go-Board - Part I. Basic Notations by Jaros{\l}aw Kotowicz and Yatsuka Nakamura
GOBOARD2, miz file
Introduction to Go-Board - Part II. Go-Board Determined by Finite Sequence of point from ${\calE}^2_{\rm T}$
GOBOARD3, miz file
Properties of Go-Board - Part III by Jaros{\l}aw Kotowicz and Yatsuka Nakamura
GOBOARD4, miz file
Go-Board Theorem by Jaros{\l}aw Kotowicz and Yatsuka Nakamura
GOBOARD5, miz file
Decomposing a Go Board into Cells by Yatsuka Nakamura and Andrzej Trybulec
GOBOARD6, miz file
On the Geometry of a Go-board by Andrzej Trybulec
GOBOARD7, miz file
On the Go Board of a Standard Special Circular Sequence by Andrzej Trybulec
GOBOARD8, miz file
More on Segments on a Go Board by Andrzej Trybulec
GOBOARD9, miz file
Left and Right Component of the Complement of a Special Closed Curve by Andrzej Trybulec
GOBRD10, miz file
Adjacency Concept for Pairs of Natural Numbers by Yatsuka Nakamura and Andrzej Trybulec
GOBRD11, miz file
Some Topological Properties of Cells in $R^2$ by Yatsuka Nakamura and Andrzej Trybulec
GOBRD12, miz file
The First Part of Jordan's Theorem for Special Polygons by Yatsuka Nakamura and Andrzej Trybulec
GOBRD13, miz file
Some Properties of Cells on Go Board by Czes{\l}aw Byli\'nski
GOBRD14, miz file
Properties of Left-, and Right Components by Artur Korni{\l}owicz
GOEDELCP, miz file
G{\"o}del's Completeness Theorem by Patrick Braselmann and Peter Koepke
GR_CY_1, miz file
Cyclic Groups and Some of Their Properties - Part I by Dariusz Surowik
GR_CY_2, miz file
Isomorphisms of Cyclic Groups. Some Properties of Cyclic Groups by Dariusz Surowik
GRAPH_1, miz file
Graphs by Krzysztof Hryniewiecki
GRAPH_2, miz file
Vertex sequences induced by chains by Yatsuka Nakamura and Piotr Rudnicki
GRAPH_3, miz file
Euler circuits and paths by Yatsuka Nakamura and Piotr Rudnicki
GRAPH_4, miz file
Oriented Simple Chains Included in Oriented Chains by Yatsuka Nakamura and Piotr Rudnicki
GRAPH_5, miz file
The Underlying Principle of {D}ijkstra's Shortest Path Algorithm by Jingchao Chen and Yatsuka Nakamura
GRAPHSP, miz file
Dijkstra's Shortest Path Algorithm by Jing-Chao Chen
GRCAT_1, miz file
Categories of Groups by Michal Muzalewski
GRFUNC_1, miz file
Graphs of Functions by Czes{\l}aw Byli\'nski
GROEB_1, miz file
Characterization and Existence of {G}r\"obner Bases by Christoph Schwarzweller
GROEB_2, miz file
Construction of {G}r\"obner bases. S-Polynomials and Standard Representations
GROEB_3, miz file
Construction of {G}r\"obner Bases: Avoiding S-Polynomials -- Buchberger's First Criterium
GROUP_1, miz file
Groups by Wojciech A. Trybulec
GROUP_10, miz file
The Sylow Theorems by Marco Riccardi
GROUP_2, miz file
Subgroup and Cosets of Subgroups. Lagrange theorem by Wojciech A. Trybulec
GROUP_3, miz file
Classes of Conjugation. Normal Subgroups by Wojciech A. Trybulec
GROUP_4, miz file
Lattice of Subgroups of a Group. Frattini Subgroup by Wojciech A. Trybulec
GROUP_5, miz file
Commutator and Center of a Group by Wojciech A. Trybulec
GROUP_6, miz file
Homomorphisms and Isomorphisms of Groups. Quotient Group by Wojciech A. Trybulec and Micha{\l} J. Trybulec
GROUP_7, miz file
The Product of the Families of the Groups by Artur Korni{\l}owicz
GROUP_8, miz file
Properties of Groups by Gijs Geleijnse and Grzegorz Bancerek
GROUP_9, miz file
The {J}ordan-H\"older Theorem by Marco Riccardi
GRSOLV_1, miz file
Solvable Groups by Katarzyna Zawadzka

H

HAHNBAN, miz file
Hahn Banach Theorem by Bogdan Nowak and Andrzej Trybulec
HAHNBAN1, miz file
Hahn Banach Theorem in the Vector Space over the Field of Complex Numbers
HALLMAR1, miz file
The {H}all {M}arriage {T}heorem by Ewa Romanowicz and Adam Grabowski
HAUSDORF, miz file
On the {H}ausdorff Distance Between Compact Subsets by Adam Grabowski
HEINE, miz file
Heine--Borel's Covering Theorem by Agata Darmochwa{\l} and Yatsuka Nakamura
HELLY, miz file
Helly property for subtrees by Jessica Enright and Piotr Rudnicki
HENMODEL, miz file
Equivalences of Inconsistency and {H}enkin Models by Patrick Braselmann and Peter Koepke
HERMITAN, miz file
Hermitan Functionals. {C}anonical Construction of Scalar Product in Quotient Vector Space
HESSENBE, miz file
Hessenberg Theorem by Eugeniusz Kusak and Wojciech Leo\'nczuk
HEYTING1, miz file
Algebra of Normal Forms Is a Heyting Algebra by Andrzej Trybulec
HEYTING2, miz file
Lattice of Substitutions Is a Heyting Algebra by Adam Grabowski
HEYTING3, miz file
The Incompleteness of the Lattice of Substitutions by Adam Grabowski
HFDIFF_1, miz file
Several Higher Differentiation Formulas of Special Functions by Junjie Zhao , Xiquan Liang and Li Yan
HIDDEN, miz file
Built-in Concepts by Andrzej Trybulec
HILBASIS, miz file
Hilbert Basis Theorem by Jonathan Backer and Piotr Rudnicki
HILBERT1, miz file
Hilbert Positive Propositional Calculus by Adam Grabowski
HILBERT2, miz file
Defining by structural induction in the positive propositional language by Andrzej Trybulec
HILBERT3, miz file
The canonical formulae by Andrzej Trybulec
HOLDER_1, miz file
H\"older's Inequality and {M}inkowski's Inequality by Yasumasa Suzuki
HOMOTHET, miz file
Homotheties and Shears in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
HURWITZ, miz file
Schur's Theorem on the Stability of Networks by Agnieszka Rowi\'nska-Schwarzweller and Christoph Schwarzweller

I

IDEA_1, miz file
Algebraic group on Fixed-length bit integer and its adaptation to {IDEA} Cryptography
IDEAL_1, miz file
Ring Ideals by Jonathan Backer , Piotr Rudnicki and Christoph Schwarzweller
INCPROJ, miz file
Incidence Projective Spaces by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski
INCSP_1, miz file
Axioms of Incidence by Wojciech A. Trybulec
INDEX_1, miz file
Indexed Category by Grzegorz Bancerek
INSTALG1, miz file
Institution of Many-sorted Algebras, Part { I } : Signature Reduct of an Algebra
INT_1, miz file
Integers by Micha{\l} J. Trybulec
INT_2, miz file
The Divisibility of Integers and Integer Relatively Primes by Rafa{\l} Kwiatek and Grzegorz Zwara
INT_3, miz file
The Ring of Integers, Euclidean Rings and Modulo Integers by Christoph Schwarzweller
INT_4, miz file
Linear Congruence Relation and Complete Residue Systems by Xiquan Liang , Li Yan and Junjie Zhao
INT_5, miz file
Gauss Lemma and Law of Quadratic Reciprocity by Li Yan , Xiquan Liang and Junjie Zhao
INT_6, miz file
Modular Integer Arithmetic by Christoph Schwarzweller
INT_7, miz file
Uniqueness of factoring an integer and multiplicative group $Z/pZ^{*}$ by Hiroyuki Okazaki and Yasunari Shidama
INTEGR10, miz file
Extended {R}iemann Integral of Functions of Real Variable and One-sided {L}aplace Transform
INTEGR11, miz file
Several Integrability Formulas of Special Functions -- Part {II} by Bo Li , Yanping Zhuang , Yanhong Men and Xiquan Liang
INTEGRA1, miz file
The Definition of Riemann Definite Integral and some Related Lemmas by Noboru Endou and Artur Korni{\l}owicz
INTEGRA2, miz file
Scalar Multiple of Riemann Definite Integral by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
INTEGRA3, miz file
Darboux's Theorem by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
INTEGRA4, miz file
Integrability of Bounded Total Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
INTEGRA5, miz file
Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
INTEGRA6, miz file
Integrability and the Integral of Partial Functions from $\Bbb R$ into $\Bbb R$
INTEGRA7, miz file
Riemann Indefinite Integral of Functions of Real Variable by Yasunari Shidama , Noboru Endou , Katsumi Wasaki and Katuhiko Kanazashi
INTEGRA8, miz file
Several Integrability Formulas of Special Functions by Cuiying Peng , Fuguo Ge and Xiquan Liang
INTEGRA9, miz file
Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions
INTPRO_1, miz file
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator, Part I
IRRAT_1, miz file
Irrationality of e by Freek Wiedijk
ISOCAT_1, miz file
Isomorphisms of Categories by Andrzej Trybulec
ISOCAT_2, miz file
Some Isomorphisms Between Functor Categories by Andrzej Trybulec
ISOMICHI, miz file
The Properties of Supercondensed Sets, Subcondensed Sets and Condensed Sets by Magdalena Jastrz\c{e}bska and Adam Grabowski

J

JCT_MISC, miz file
Miscellaneous { I } by Andrzej Trybulec
JGRAPH_1, miz file
Graph Theoretical Properties of Arcs in the Plane and Fashoda Meet Theorem
JGRAPH_2, miz file
On Outside Fashoda Meet Theorem by Yatsuka Nakamura
JGRAPH_3, miz file
On the Simple Closed Curve Property of the Circle and the Fashoda Meet Theorem for It
JGRAPH_4, miz file
Fan Homeomorphisms in the Plane by Yatsuka Nakamura
JGRAPH_5, miz file
General {F}ashoda {M}eet {T}heorem for Unit Circle by Yatsuka Nakamura
JGRAPH_6, miz file
General {F}ashoda Meet Theorem for Unit Circle and Square by Yatsuka Nakamura
JGRAPH_7, miz file
Fashoda Meet Theorem for Rectangles by Yatsuka Nakamura and Andrzej Trybulec
JGRAPH_8, miz file
The {F}ashoda Meet Theorem for Continuous Mappings by Yatsuka Nakamura , Andrzej Trybulec and Artur Korni{\l}owicz
JORDAN, miz file
Jordan's Curve Theorem by Artur Korni{\l}owicz
JORDAN1, miz file
The Jordan's Property for Certain Subsets of the Plane by Yatsuka Nakamura and Jaros{\l}aw Kotowicz
JORDAN10, miz file
Properties of the External Approximation of Jordan's Curve by Artur Korni{\l}owicz
JORDAN11, miz file
Preparing the Internal Approximations of Simple Closed Curves by Andrzej Trybulec
JORDAN12, miz file
On the General Position of Special Polygons by Mariusz Giero
JORDAN13, miz file
Introducing Spans by Andrzej Trybulec
JORDAN14, miz file
Properties of the Internal Approximation of {J}ordan's Curve by Robert Milewski
JORDAN15, miz file
Properties of the Upper and Lower Sequence on the Cage by Robert Milewski
JORDAN16, miz file
On the Decomposition of a Simple Closed Curve into Two Arcs by Andrzej Trybulec and Yatsuka Nakamura
JORDAN17, miz file
The Ordering of Points on a Curve, Part {III} by Artur Korni{\l}owicz
JORDAN18, miz file
The Ordering of Points on a Curve, Part {IV} by Artur Korni{\l}owicz
JORDAN19, miz file
On the Upper and Lower Approximations of the Curve by Robert Milewski
JORDAN1A, miz file
Gauges and Cages by Artur Korni{\l}owicz, Robert Milewski, Adam Naumowicz and
JORDAN1B, miz file
Some Properties of Cells and Arcs by Robert Milewski , Andrzej Trybulec , Artur Korni{\l}owicz
JORDAN1C, miz file
Some Properties of Cells and Gauges by Adam Grabowski , Artur Korni{\l}owicz and Andrzej Trybulec
JORDAN1D, miz file
Gauges and Cages. { P } art { II } by Artur Korni{\l}owicz and Robert Milewski
JORDAN1E, miz file
Upper and Lower Sequence of a Cage by Robert Milewski
JORDAN1F, miz file
Some Remarks on Finite Sequences on Go-boards by Adam Naumowicz
JORDAN1G, miz file
Upper and Lower Sequence on the Cage. Part II by Robert Milewski
JORDAN1H, miz file
More on External Approximation of a Continuum by Andrzej Trybulec
JORDAN1I, miz file
Some Remarks on Clockwise Oriented Sequences on Go-boards by Adam Naumowicz and Robert Milewski
JORDAN1J, miz file
Upper and Lower Sequence on the Cage, Upper and Lower Arcs by Robert Milewski
JORDAN1K, miz file
On the Minimal Distance Between Set in {E}uclidean Space by Andrzej Trybulec
JORDAN20, miz file
Behaviour of an Arc Crossing a Line by Yatsuka Nakamura
JORDAN21, miz file
On Some Points of a Simple Closed Curve by Artur Korni{\l}owicz
JORDAN22, miz file
On Some Points of a Simple Closed Curve. {P}art {II} by Artur Korni{\l}owicz and Adam Grabowski
JORDAN23, miz file
Subsequences of Almost, Weakly and Poorly One-to-one Finite Sequences by Robert Milewski
JORDAN24, miz file
Homeomorphisms of {J}ordan Curves by Adam Naumowicz and Grzegorz Bancerek
JORDAN2B, miz file
Projections in n-Dimensional Euclidean Space to Each Coordinates by Roman Matuszewski and Yatsuka Nakamura
JORDAN2C, miz file
Bounded Domains and Unbounded Domains by Yatsuka Nakamura , Andrzej Trybulec and Czeslaw Bylinski
JORDAN3, miz file
Reconstructions of Special Sequences by Yatsuka Nakamura and Roman Matuszewski
JORDAN4, miz file
Subsequences of Standard Special Circular Sequences in $ { \cal E } ^2_ { \rm T } $
JORDAN5A, miz file
Some Properties of Real Maps by Adam Grabowski and Yatsuka Nakamura
JORDAN5B, miz file
The Ordering of Points on a Curve, Part { I } by Adam Grabowski and Yatsuka Nakamura
JORDAN5C, miz file
The Ordering of Points on a Curve, Part { II } by Adam Grabowski and Yatsuka Nakamura
JORDAN5D, miz file
Bounding Boxes for Special Sequences in ${\calE}^2$ by Yatsuka Nakamura and Adam Grabowski
JORDAN6, miz file
A Decomposition of Simple Closed Curves and an Order of Their Points by Yatsuka Nakamura and Andrzej Trybulec
JORDAN7, miz file
On a Dividing Function of the Simple Closed Curve into Segments by Yatsuka Nakamura
JORDAN8, miz file
Gauges by Czes\law Byli\'nski
JORDAN9, miz file
Cages, external approximation of Jordan's curve by Czes{\l}aw Byli\'nski and Mariusz \.Zynel
JORDAN_A, miz file
On the Segmentation of a Simple Closed Curve by Andrzej Trybulec

K

KNASTER, miz file
Fix-points in complete lattices by Piotr Rudnicki and Andrzej Trybulec
KOLMOG01, miz file
Kolmogorov's Zero-one Law by Agnes Doll
KURATO_1, miz file
On the {K}uratowski Closure-Complement Problem by Lilla Krystyna Bagi\'nska and Adam Grabowski
KURATO_2, miz file
On the {K}uratowski Limit Operators by Adam Grabowski

L

L_HOSPIT, miz file
The de l'Hospital Theorem by Ma{\l}gorzata Korolkiewicz
LANG1, miz file
Context-Free Grammar - Part 1 by Patricia L. Carlson and Grzegorz Bancerek
LAPLACE, miz file
Laplace Expansion by Karol P\c{a}k and Andrzej Trybulec
LATSUBGR, miz file
On the Lattice of Subgroups of a Group by Janusz Ganczarski
LATSUM_1, miz file
The Operation of Addition of Relational Structures by Katarzyna Romanowicz and Adam Grabowski
LATTICE2, miz file
Finite Join and Finite Meet, and Dual Lattices by Andrzej Trybulec
LATTICE3, miz file
Complete Lattices by Grzegorz Bancerek
LATTICE4, miz file
Homomorphisms of Lattices \\ Finite Join and Finite Meet by Jolanta Kamie\'nska and Jaros\l aw Stanis\l aw Walijewski
LATTICE5, miz file
J\'onsson Theorem by Jaros{\l}aw Gryko
LATTICE6, miz file
Noetherian Lattices by Christoph Schwarzweller
LATTICE7, miz file
Representation Theorem For Finite Distributive Lattices by Marek Dudzicz
LATTICE8, miz file
J\'onsson Theorem about Representation of Modular Lattices by Mariusz {\L}api\'nski
LATTICES, miz file
Introduction to Lattice Theory by Stanis{\l}aw \.Zukowski
LEXBFS, miz file
Recognizing Chordal Graphs: Lex BFS and MCS by Broderick Arneson and Piotr Rudnicki
LFUZZY_0, miz file
Lattice of Fuzzy Sets by Takashi Mitsuishi and Grzegorz Bancerek
LFUZZY_1, miz file
Transitive Closure of Fuzzy Relations by Takashi Mitsuishi and Grzegorz Bancerek
LIMFUNC1, miz file
The Limit of a Real Function at Infinity. Halflines. Real Sequence Divergent to Infinity
LIMFUNC2, miz file
One-Side Limits of a Real Function at a Point by Jaros{\l}aw Kotowicz
LIMFUNC3, miz file
The Limit of a Real Function at a Point by Jaros{\l}aw Kotowicz
LIMFUNC4, miz file
The Limit of a Composition of Real Functions by Jaros{\l}aw Kotowicz
LMOD_5, miz file
Linear Independence in Left Module over Domain by Micha{\l} Muzalewski and Wojciech Skaba
LMOD_6, miz file
Submodules by Micha{\l} Muzalewski
LMOD_7, miz file
Domains of Submodules, Join and Meet of Finite Sequences of Submodules and Quotient Modules
LOPBAN_1, miz file
Banach Space of Bounded Linear Operators by Yasunari Shidama
LOPBAN_2, miz file
The {B}anach Algebra of Bounded Linear Operators by Yasunari Shidama
LOPBAN_3, miz file
The Series on {B}anach Algebra by Yasunari Shidama
LOPBAN_4, miz file
The Exponential Function on {B}anach Algebra by Yasunari Shidama
LOPBAN_5, miz file
Uniform Boundedness Principle by Hideki Sakurai , Hisayoshi Kunimune and Yasunari Shidama
LOPBAN_6, miz file
Open Mapping Theorem by Hideki Sakurai , Hisayoshi Kunimune and Yasunari Shidama
LOPCLSET, miz file
Representation Theorem for Boolean Algebras by Jaros{\l}aw Stanis{\l}aw Walijewski
LP_SPACE, miz file
The Banach Space $l^p$ by Yasumasa Suzuki
LPSPACE1, miz file
On $L^1$ Space Formed by Real-valued Partial Functions by Yasushige Watase , Noboru Endou and Yasunari Shidama
LUKASI_1, miz file
Propositional Calculus by Grzegorz Bancerek, Agata Darmochwa\l and Andrzej Trybulec

M

MARGREL1, miz file
Many-Argument Relations by Edmund Woronowicz
MATHMORP, miz file
Preliminaries to Mathematical Morphology and Its Properties by Yuzhong Ding and Xiquan Liang
MATRIX10, miz file
Some Special Matrices of Real Elements and Their Properties by Xiquan Liang , Fuguo Ge and Xiaopeng Yue
MATRIX11, miz file
Basic Properties of Determinants of Square Matrices over a Field by Karol P\c{a}k
MATRIX12, miz file
Some Properties of Line and Column Operations on Matrices by Xiquan Liang , Tao Sun and Dahai Hu
MATRIX13, miz file
Basic Properties of the Rank of Matrices over a Field by Karol P\c{a}k
MATRIX14, miz file
Invertibility of Matrices of Field Elements by Yatsuka Nakamura , Kunio Oniumi and Wenpai Chang
MATRIX15, miz file
Solutions of Linear Equations by Karol P\c{a}k
MATRIX16, miz file
Basic Properties of Circulant Matrices and Anti-circular Matrices by Xiaopeng Yue and Xiquan Liang
MATRIX_1, miz file
Matrices. Abelian Group of Matrices by Katarzyna Jankowska
MATRIX_2, miz file
Transpose Matrices and Groups of Permutations by Katarzyna Jankowska
MATRIX_3, miz file
The Product of Matrices of Elements of a Field and Determinants by Katarzyna Zawadzka
MATRIX_4, miz file
Calculation of Matrices of Field Elements. Part {I} by Yatsuka Nakamura and Hiroshi Yamazaki
MATRIX_5, miz file
A Theory of Matrices of Complex Elements by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura
MATRIX_6, miz file
Some Properties Of Some Special Matrices by Xiaopeng Yue , Xiquan Liang and Zhongpin Sun
MATRIX_7, miz file
Determinant of Some Matrices of Field Elements by Yatsuka Nakamura
MATRIX_8, miz file
Some Properties Of Some Special Matrices, Part {II} by Xiaopeng Yue , Dahai Hu , Xiquan Liang and Zhongpin Sun
MATRIX_9, miz file
On the Permanent of a Matrix by Ewa Romanowicz and Adam Grabowski
MATRIXC1, miz file
The Inner Product and Conjugate of Matrix of Complex Numbers by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura
MATRIXJ1, miz file
Block Diagonal Matrices by Karol P\c{a}k
MATRIXJ2, miz file
Jordan Matrix Decomposition by Karol P\c{a}k
MATRIXR1, miz file
A Theory of Matrices of Real Elements by Yatsuka Nakamura , Nobuyuki Tamura and Wenpai Chang
MATRIXR2, miz file
Determinant and Inverse of Matrices of Real Elements by Nobuyuki Tamura and Yatsuka Nakamura
MATRLIN, miz file
Associated Matrix of Linear Map by Robert Milewski
MATRLIN2, miz file
Linear Map of Matrices by Karol P\c{a}k
MATROID0, miz file
Introduction to Matroids by Grzegorz Bancerek and Yasunari Shidama
MATRPROB, miz file
The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements
MBOOLEAN, miz file
Definitions and Basic Properties of Boolean & Union of Many Sorted Sets
MCART_1, miz file
Tuples, Projections and Cartesian Products by Andrzej Trybulec
MCART_2, miz file
N-Tuples and Cartesian Products for n=5 by Micha{\l} Muzalewski and Wojciech Skaba
MCART_3, miz file
Tuples and Cartesian Products for n=6 by Michal Muzalewski and Wojciech Skaba
MEASURE1, miz file
The $\sigma$-additive Measure Theory by J\'ozef Bia{\l}as
MEASURE2, miz file
Several Properties of the $\sigma$-additive Measure. Discrete categories by J\'ozef Bia{\l}as
MEASURE3, miz file
Completeness of the $\sigma$-Additive Measure. Measure Theory by J\'ozef Bia{\l}as
MEASURE4, miz file
Properties of Caratheodor's Measure by J\'ozef Bia{\l}as
MEASURE5, miz file
Properties of the Intervals of Real Numbers by J\'ozef Bia{\l}as
MEASURE6, miz file
Some Properties of the Intervals by J\'ozef Bia\las
MEASURE7, miz file
The One-Dimensional Lebesgue Measure As an Example of a Formalization in the Mizar Language of the Classical Definition
MEMBER_1, miz file
Collective Operations on Number-Membered Sets by Artur Korni{\l}owicz
MEMBERED, miz file
On the Sets Inhabited by Numbers by Andrzej Trybulec
MESFUN10, miz file
Fatou's Lemma and the {L}ebesgue's Convergence Theorem by Noboru Endou , Keiko Narita and Yasunari Shidama
MESFUN6C, miz file
Integral of Complex-Valued Measurable Function by Keiko Narita , Noboru Endou and Yasunari Shidama
MESFUN7C, miz file
The Measurability of Complex-Valued Functional Sequences by Keiko Narita , Noboru Endou and Yasunari Shidama
MESFUNC1, miz file
Definitions and Basic Properties of Measurable Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
MESFUNC2, miz file
Measurability of Extended Real Valued Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama
MESFUNC3, miz file
Lebesgue Integral of Simple Valued Function by Yasunari Shidama and Noboru Endou
MESFUNC4, miz file
Linearity of {L}ebesgue Integral of Simple Valued Function by Noboru Endou and Yasunari Shidama
MESFUNC5, miz file
Integral of Measurable Function by Noboru Endou and Yasunari Shidama
MESFUNC6, miz file
Integral of Real-valued Measurable Function by Yasunari Shidama and Noboru Endou
MESFUNC7, miz file
The First Mean Value Theorem for Integrals by Keiko Narita , Noboru Endou and Yasunari Shidama
MESFUNC8, miz file
Egoroff's Theorem by Noboru Endou , Yasunari Shidama and Keiko Narita
MESFUNC9, miz file
The Lebesgue Monotone Convergence Theorem by Noboru Endou , Keiko Narita and Yasunari Shidama
METRIC_1, miz file
Metric Spaces by Stanis{\l}awa Kanas, Adam Lecko and Mariusz Startek
METRIC_2, miz file
On Pseudometric Spaces by Adam Lecko and Mariusz Startek
METRIC_3, miz file
Metrics in Cartesian Product by Stanis{\l}awa Kanas and Jan Stankiewicz
METRIC_4, miz file
Metrics in the Cartesian Product - Part II by Stanis\l awa Kanas and Adam Lecko
METRIC_6, miz file
Sequences in Metric Spaces by Stanis{\l}awa Kanas and Adam Lecko
MIDSP_1, miz file
Midpoint algebras by Micha{\l} Muzalewski
MIDSP_2, miz file
Atlas of Midpoint Algebra by Micha{\l} Muzalewski
MIDSP_3, miz file
Reper Algebras by Micha{\l} Muzalewski
MOD_2, miz file
Rings and Modules - Part II by Michal Muzalewski
MOD_3, miz file
Free Modules by Michal Muzalewski
MOD_4, miz file
Opposite Rings, Modules and their Morphisms by Micha{\l} Muzalewski
MODAL_1, miz file
Introduction to Modal Propositional Logic by Alicia de la Cruz
MODCAT_1, miz file
Category of Left Modules by Micha{\l} Muzalewski
MODELC_1, miz file
Model Checking, Part {I} by Kazuhisa Ishida
MODELC_2, miz file
Model Checking, Part II by Kazuhisa Ishida
MODELC_3, miz file
Model Checking, Part {III} by Kazuhisa Ishida and Yasunari Shidama
MOEBIUS1, miz file
On the Properties of the {M}\"obius Function by Magdalena Jastrz\c{e}bska and Adam Grabowski
MONOID_0, miz file
Monoids by Grzegorz Bancerek
MONOID_1, miz file
Monoid of Multisets and Subsets by Grzegorz Bancerek
MSAFREE, miz file
Free Many Sorted Universal Algebra by Beata Perkowska
MSAFREE1, miz file
A Scheme for Extensions of Homomorphisms of Manysorted Algebras by Andrzej Trybulec
MSAFREE2, miz file
Preliminaries to Circuits, II by Yatsuka Nakamura , Piotr Rudnicki , Andrzej Trybulec and Pauline N. Kawa
MSAFREE3, miz file
Yet another construction of free algebra by Grzegorz Bancerek and Artur Korni{\l}owicz
MSALIMIT, miz file
Inverse Limits of Many Sorted Algebras by Adam Grabowski
MSATERM, miz file
Terms over many sorted universal algebra by Grzegorz Bancerek
MSINST_1, miz file
Examples of Category Structures by Adam Grabowski
MSSCYC_1, miz file
The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. {P}art {I}
MSSCYC_2, miz file
The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. {P}art {II}
MSSUBFAM, miz file
Certain Facts about Families of Subsets of Many Sorted Sets by Artur Korni{\l}owicz
MSSUBLAT, miz file
The Correspondence Between Lattices of Subalgebras of Universal Algebras and Many Sorted Algebras
MSUALG_1, miz file
Many Sorted Algebras by Andrzej Trybulec
MSUALG_2, miz file
Subalgebras of a Many Sorted Algebra. Lattice of Subalgebras by Ewa Burakowska
MSUALG_3, miz file
Homomorphisms of Many Sorted Algebras by Ma{\l}gorzata Korolkiewicz
MSUALG_4, miz file
Many Sorted Quotient Algebra by Ma{\l}gorzata Korolkiewicz
MSUALG_5, miz file
Lattice of Congruences in a Many Sorted Algebra by Robert Milewski
MSUALG_6, miz file
Translations, Endomorphisms, and Stable Equational Theories by Grzegorz Bancerek
MSUALG_7, miz file
More on the Lattice of Many Sorted Equivalence Relations by Robert Milewski
MSUALG_8, miz file
More on the Lattice of Congruences in a Many Sorted Algebra by Robert Milewski
MSUALG_9, miz file
On the Trivial Many Sorted Algebras and Many Sorted Congruences by Artur Korni\l owicz
MSUHOM_1, miz file
The Correspondence Between Homomorphisms of Universal Algebra & Many Sorted Algebra
MULTOP_1, miz file
Three-Argument Operations and Four-Argument Operations by Michal Muzalewski and Wojciech Skaba

N

NAGATA_1, miz file
The {N}agata-Smirnov Theorem. {P}art {I} by Karol P\c{a}k
NAGATA_2, miz file
The {N}agata-Smirnov Theorem. {P}art {II} by Karol P\c{a}k
NAT_1, miz file
The Fundamental Properties of Natural Numbers by Grzegorz Bancerek
NAT_2, miz file
Natural Numbers by Robert Milewski
NAT_3, miz file
Fundamental {T}heorem of {A}rithmetic by Artur Korni{\l}owicz and Piotr Rudnicki
NAT_4, miz file
Pocklington's Theorem and {B}ertrand's Postulate by Marco Riccardi
NAT_D, miz file
Divisibility of Natural Numbers by Grzegorz Bancerek
NAT_LAT, miz file
The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers
NATTRA_1, miz file
Natural Transformations. Discrete Categories by Andrzej Trybulec
NCFCONT1, miz file
Continuous Functions on Real and Complex Normed Linear Spaces by Noboru Endou
NCFCONT2, miz file
Uniform Continuity of Functions on Normed Complex Linear Spaces by Noboru Endou
NDIFF_1, miz file
The Differentiable Functions on Normed Linear Spaces by Hiroshi Imura , Morishige Kimura and Yasunari Shidama
NDIFF_2, miz file
Differentiable Functions on Normed Linear Spaces. {P}art {II} by Hiroshi Imura , Yuji Sakai and Yasunari Shidama
NECKLA_2, miz file
The Class of Series-Parallel Graphs, {II} by Krzysztof Retel
NECKLA_3, miz file
The Class of Series-Parallel Graphs, {III} by Krzysztof Retel
NECKLACE, miz file
The Class of Series --- Parallel Graphs, {I} by Krzysztof Retel
NET_1, miz file
Some Elementary Notions of the Theory of Petri Nets by Waldemar Korczy\'nski
NEWTON, miz file
Factorial and Newton coefficients by Rafa{\l} Kwiatek
NFCONT_1, miz file
The Continuous Functions on Normed Linear Spaces by Takaya Nishiyama, Keiji Ohkubo and Yasunari Shidama
NFCONT_2, miz file
The Uniform Continuity of Functions on Normed Linear Spaces by Takaya Nishiyama , Artur Korni{\l}owicz and Yasunari Shidama
NORMFORM, miz file
Algebra of Normal Forms by Andrzej Trybulec
NORMSP_1, miz file
Real Normed Space by Jan Popio{\l}ek
NORMSP_2, miz file
Baire's Category Theorem and Some Spaces Generated from Real Normed Space by Noboru Endou , Yasunari Shidama and Katsumasa Okamura
NUMBERS, miz file
Subsets of Complex Numbers by Andrzej Trybulec
NUMERAL1, miz file
On the Representation of Natural Numbers in Positional Numeral Systems by Adam Naumowicz
NUMERALS, miz file
Numerals - Requirements by Library Committee

O

O_RING_1, miz file
Ordered Rings - Part I by Micha{\l} Muzalewski and Les{\l}aw W. Szczerba
OPENLATT, miz file
Representation Theorem for Heyting Lattices by Jolanta Kamie\'nska
OPOSET_1, miz file
Basic Notions and Properties of Orthoposets by Markus Moschner
OPPCAT_1, miz file
Opposite Categories and Contravariant Functors by Czes\l aw Byli\'nski
ORDERS_1, miz file
Partially Ordered Sets by Wojciech A. Trybulec
ORDERS_2, miz file
Kuratowski - Zorn Lemma by Wojciech A. Trybulec and Grzegorz Bancerek
ORDERS_3, miz file
On the Category of Posets by Adam Grabowski
ORDERS_4, miz file
On the Isomorphism Between Finite Chains by Marta Pruszy\'nska and Marek Dudzicz
ORDINAL1, miz file
The Ordinal Numbers. Transfinite Induction and Defining by Transfinite Induction
ORDINAL2, miz file
Sequences of Ordinal Numbers. Beginnings of Ordinal Arithmetics by Grzegorz Bancerek
ORDINAL3, miz file
Ordinal Arithmetics by Grzegorz Bancerek
ORDINAL4, miz file
Increasing and Continuous Ordinal Sequences by Grzegorz Bancerek
ORTSP_1, miz file
Construction of a bilinear symmetric form in orthogonal vector space by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski
OSAFREE, miz file
Free Order Sorted Universal Algebra by Josef Urban
OSALG_1, miz file
Order Sorted Algebras by Josef Urban
OSALG_2, miz file
Subalgebras of a Order Sorted Algebra. {L}attice of Subalgebras by Josef Urban
OSALG_3, miz file
Homomorphisms of Order Sorted Algebras by Josef Urban
OSALG_4, miz file
Order Sorted Quotient Algebra by Josef Urban

P

PAPDESAF, miz file
Fanoian, Pappian and Desarguesian Affine Spaces by Krzysztof Pra\.zmowski
PARDEPAP, miz file
Elementary Variants of Affine Configurational Theorems by Krzysztof Pra\.zmowski and Krzysztof Radziszewski
PARSP_1, miz file
Parallelity Spaces by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski
PARSP_2, miz file
Fano-Desargues Parallelity Spaces by Eugeniusz Kusak and Wojciech Leo\'nczuk
PARTFUN1, miz file
Partial Functions by Czes{\l}aw Byli\'nski
PARTFUN2, miz file
Partial Functions from a Domain to a Domain by Jaros{\l}aw Kotowicz
PARTFUN3, miz file
On the Real Valued Functions by Artur Korni{\l}owicz
PARTIT1, miz file
A theory of partitions, { I } by Shunichi Kobayashi and Kui Jia
PARTIT_2, miz file
Classes of Independent Partitions by Andrzej Trybulec
PASCH, miz file
Classical and Non--classical Pasch Configurations in Ordered Affine Planes by Henryk Oryszczyszyn, Krzysztof Pra\.zmowski and
PBOOLE, miz file
Manysorted Sets by Andrzej Trybulec
PCOMPS_1, miz file
Paracompact and Metrizable Spaces by Leszek Borys
PCOMPS_2, miz file
On Paracompactness of Metrizable Spaces by Leszek Borys
PCS_0, miz file
Basic Operations on Preordered Coherent Spaces by Klaus E. Grue and Artur Korni{\l}owicz
PDIFF_1, miz file
Partial Differentiation on Normed Linear Spaces $ {\cal R}^n$ by Noboru Endou , Yasunari Shidama and Keiichi Miyajima
PDIFF_2, miz file
Partial Differentiation of Real Binary Functions by Bing Xie , Xiquan Liang , Hongwei Li and Yanping Zhuang
PDIFF_3, miz file
Second-order Partial Differentiation of Real Binary Functions by Bing Xie , Xiquan Liang and Xiuzhuan Shen
PENCIL_1, miz file
On Segre's Product of Partial Line Spaces by Adam Naumowicz
PENCIL_2, miz file
On Cosets in Segre's Product of Partial Linear Spaces by Adam Naumowicz
PENCIL_3, miz file
On the Characterization of Collineations of the Segre Product of Strongly Connected Partial Linear Spaces
PENCIL_4, miz file
Spaces of Pencils, {G}rassmann Spaces, and Generalized {V}eronese Spaces
PEPIN, miz file
Public-Key Cryptography and Pepin's Test for the Primality of Fermat Numbers
PETRI, miz file
Basic Petri Net Concepts. Place/Transition Net Structure, Deadlocks, Traps, Dual Nets
PETRI_2, miz file
Cell Petri Net Concepts by Mitsuru Jitsukawa , Pauline N. Kawamoto , Yasunari Shidama and Yatsuka N
PNPROC_1, miz file
Processes in {P}etri nets by Grzegorz Bancerek , Mitsuru Aoki , Akio Matsumoto and Yasunari Shidama
POLYALG1, miz file
The Algebra of Polynomials by Ewa Gr\c{a}dzka
POLYEQ_1, miz file
Solving Roots of Polynomial Equations of Degree 2 and 3 with Real Coefficients
POLYEQ_2, miz file
Solving Roots of Polynomial Equation of Degree 4 with Real Coefficients by Xiquan Liang
POLYEQ_3, miz file
Solving Complex Roots of Polynomial Equation of Degree 2 and 3 with Complex Coefficients
POLYEQ_4, miz file
Solving the Roots of the Special Polynomial Equation with Real Coefficients
POLYFORM, miz file
Euler's Polyhedron Formula by Jesse Alama
POLYNOM1, miz file
Multivariate polynomials with arbitrary number of variables by Piotr Rudnicki and Andrzej Trybulec
POLYNOM2, miz file
Evaluation of Multivariate Polynomials by Christoph Schwarzweller and Andrzej Trybulec
POLYNOM3, miz file
The Ring of Polynomials by Robert Milewski
POLYNOM4, miz file
Evaluation of Polynomials by Robert Milewski
POLYNOM5, miz file
Fundamental Theorem of Algebra by Robert Milewski
POLYNOM6, miz file
On polynomials with coefficients in a ring of polynomials by Barbara Dzienis
POLYNOM7, miz file
More About Polynomials: Monomials and Constant Polynomials by Christoph Schwarzweller
POLYNOM8, miz file
Multiplication of Polynomials using {D}iscrete {F}ourier {T}ransformation by Krzysztof Treyderowski and Christoph Schwarzweller
POLYRED, miz file
Polynomial Reduction by Christoph Schwarzweller
POWER, miz file
Real Exponents and Logarithms by Konrad Raczkowski and Andrzej N\c{e}dzusiak
PRALG_1, miz file
Product of Family of Universal Algebras by Beata Madras
PRALG_2, miz file
Products of Many Sorted Algebras by Beata Madras
PRALG_3, miz file
More on Products of Many Sorted Algebras by Mariusz Giero
PRE_CIRC, miz file
Preliminaries to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamo
PRE_FF, miz file
Two Programs for {\bf SCM}. Part I - Preliminaries by Grzegorz Bancerek and Piotr Rudnicki
PRE_TOPC, miz file
Topological Spaces and Continuous Functions by Beata Padlewska and Agata Darmochwa\l
PRELAMB, miz file
Preliminaries to the Lambek Calculus by Wojciech Zielonka
PREPOWER, miz file
Integer and Rational Exponents by Konrad Raczkowski
PRGCOR_1, miz file
Correctness of Non Overwriting Programs. {P}art {I} by Yatsuka Nakamura
PRGCOR_2, miz file
Logical Correctness of Vector Calculation Programs by Takaya Nishiyama , Hirofumi Fukura and Yatsuka Nakamura
PROB_1, miz file
$\sigma$-Fields and Probability by Andrzej N\c{e}dzusiak
PROB_2, miz file
Probability. Independence of Events and Conditional Probability by Andrzej N\c{e}dzusiak
PROB_3, miz file
Set Sequences and Monotone Class by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura
PROB_4, miz file
The Relevance of Measure and Probability and Definition of Completeness of Probability
PROCAL_1, miz file
Calculus of Propositions by Jan Popio{\l}ek and Andrzej Trybulec
PROJDES1, miz file
Desargues Theorem In Projective 3-Space by Eugeniusz Kusak
PROJPL_1, miz file
Projective {P}lanes by Micha{\l} Muzalewski
PROJRED1, miz file
Incidence Projective Space (a reduction theorem in a plane) by Eugeniusz Kusak and Wojciech Leo\'nczuk
PROJRED2, miz file
On Projections in Projective Planes. Part II by Eugeniusz Kusak, Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski
PRVECT_1, miz file
Product of Families of Groups and Vector Spaces by Anna Lango and Grzegorz Bancerek
PRVECT_2, miz file
The Product Space of Real Normed Spaces and Its Properties by Noboru Endou , Yasunari Shidama and Keiichi Miyajima
PSCOMP_1, miz file
Bounding boxes for compact sets in ${\calE}^2$ by Czes{\l}aw Byli\'nski and Piotr Rudnicki
PUA2MSS1, miz file
Minimal Manysorted Signature for Partial Algebra by Grzegorz Bancerek
PYTHTRIP, miz file
Pythagorean triples by Freek Wiedijk
PZFMISC1, miz file
Some Basic Properties of Many Sorted Sets by Artur Korni{\l}owicz

Q

QC_LANG1, miz file
A First Order Language by Piotr Rudnicki and Andrzej Trybulec
QC_LANG2, miz file
Connectives and Subformulae of the First Order Language by Grzegorz Bancerek
QC_LANG3, miz file
Variables in Formulae of the First Order Language by Czes{\l}aw Byli\'nski and Grzegorz Bancerek
QC_LANG4, miz file
The Subformula Tree of a Formula of the First Order Language by Oleg Okhotnikov
QMAX_1, miz file
The Fundamental Logic Structure in Quantum Mechanics by Pawe{\l} Sadowski, Andrzej Trybulec and Konrad Raczkowski
QUANTAL1, miz file
Quantales by Grzegorz Bancerek
QUATERN2, miz file
Inner Products, Group, Ring of Quaternion Numbers by Fuguo Ge
QUATERN3, miz file
Some Operations on Quaternion Numbers by Bo Li , Pan Wang , Xiquan Liang and Yanping Zhuang
QUATERNI, miz file
The Quaternion Numbers by Xiquan Liang and Fuguo Ge
QUIN_1, miz file
Quadratic Inequalities by Jan Popio\l ek
QUOFIELD, miz file
The Field of Quotients over an Integral Domain by Christoph Schwarzweller

R

RADIX_1, miz file
Definitions of Radix-2k Signed-Digit number and its adder algorithm by Yoshinori Fujisawa and Yasushi Fuwa
RADIX_2, miz file
High-speed algorithms for RSA cryptograms by Yasushi Fuwa and Yoshinori Fujisawa
RADIX_3, miz file
Improvement of Radix-$2^k$ Signed-Digit Number for High Speed Circuit by Masaaki Niimura and Yasushi Fuwa
RADIX_4, miz file
High Speed Adder Algorithm with Radix-$2^k$ SD_Sub Number by Masaaki Niimura and Yasushi Fuwa
RADIX_5, miz file
Magnitude Relation Properties of Radix-$2^k$ SD Number by Masaaki Niimura and Yasushi Fuwa
RADIX_6, miz file
High Speed Modulo Calculation Algorithm with Radix-$2^k$ SD Number by Masaaki Niimura and Yasushi Fuwa
RAMSEY_1, miz file
Ramsey's Theorem by Marco Riccardi
RANKNULL, miz file
The Rank+Nullity Theorem by Jesse Alama
RAT_1, miz file
Basic Properties of Rational Numbers by Andrzej Kondracki
RCOMP_1, miz file
Topological Properties of Subsets in Real Numbers by Konrad Raczkowski and Pawe{\l} Sadowski
RCOMP_3, miz file
Properties of Connected Subsets of the Real Line by Artur Korni{\l}owicz
REAL, miz file
Basic Properties of Real Numbers - Requirements by Library Committee
REAL_1, miz file
Basic Properties of Real Numbers by Krzysztof Hryniewiecki
REAL_3, miz file
Simple Continued Fractions and Their Convergents by Bo Li , Yan Zhang and Artur Korni{\l}owicz
REAL_LAT, miz file
The Lattice of Real Numbers. The Lattice of Real Functions by Marek Chmur
REAL_NS1, miz file
Completeness of the Real {E}uclidean Space by Noboru Endou and Yasunari Shidama
REALSET1, miz file
Group and Field Definitions by J\'ozef Bia{\l}as
REALSET2, miz file
Properties of Fields by J\'ozef Bia{\l}as
REALSET3, miz file
Several Properties of Fields. Field Theory by J\'ozef Bia{\l}as
REARRAN1, miz file
Introduction to Theory of Rearrangment by Yuji Sakai and Jaros{\l}aw Kotowicz
RECDEF_1, miz file
Recursive Definitions by Krzysztof Hryniewiecki
RECDEF_2, miz file
Recursive Definitions. {P}art {II} by Artur Korni{\l}owicz
RELAT_1, miz file
Relations and Their Basic Properties by Edmund Woronowicz
RELAT_2, miz file
Properties of Binary Relations by Edmund Woronowicz and Anna Zalewska
RELOC, miz file
Relocatability by Yasushi Tanaka
RELSET_1, miz file
Relations Defined on Sets by Edmund Woronowicz
RELSET_2, miz file
Properties of First and Second Order Cutting of Binary Relations by Krzysztof Retel
REVROT_1, miz file
Rotating and reversing.(Finite sequences) by Andrzej Trybulec
REWRITE1, miz file
Reduction Relations by Grzegorz Bancerek
REWRITE2, miz file
String Rewriting Systems by Micha{\l} Trybulec
RFINSEQ, miz file
Functions and Finite Sequences of Real Numbers by Jaros{\l}aw Kotowicz
RFINSEQ2, miz file
Sorting Operators for Finite Sequences by Yatsuka Nakamura
RFUNCT_1, miz file
Partial Functions from a Domain to the Set of Real Numbers by Jaros{\l}aw Kotowicz
RFUNCT_2, miz file
Properties of Real Functions by Jaros{\l}aw Kotowicz
RFUNCT_3, miz file
Properties of Partial Functions from a Domain to the Set of Real Numbers by Jaros{\l}aw Kotowicz and Yuji Sakai
RFUNCT_4, miz file
Introduction to Several Concepts of Convexity and Semicontinuity for Function from REAL to REAL
RINFSUP1, miz file
Inferior Limit and Superior Limit of Sequences of Real Numbers by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura
RINFSUP2, miz file
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
RING_1, miz file
Quotient Rings by Artur Korni{\l}owicz
RINGCAT1, miz file
Category of Rings by Micha{\l} Muzalewski
RLSUB_1, miz file
Subspaces and Cosets of Subspaces in Real Linear Space by Wojciech A. Trybulec
RLSUB_2, miz file
Operations on Subspaces in Real Linear Space by Wojciech A. Trybulec
RLTOPSP1, miz file
Introduction to Real Linear Topological Spaces by Czes{\l}aw Byli\'nski
RLVECT_1, miz file
Vectors in Real Linear Space by Wojciech A. Trybulec
RLVECT_2, miz file
Linear Combinations in Real Linear Space by Wojciech A. Trybulec
RLVECT_3, miz file
Basis of Real Linear Space by Wojciech A. Trybulec
RLVECT_4, miz file
Subspaces of Real Linear Space Generated by One, Two, or Three Vectors and Their Cosets
RLVECT_5, miz file
The Steinitz Theorem and the Dimension of a Real Linear Space by JingChao Chen
RMOD_2, miz file
Submodules and Cosets of Submodules in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba
RMOD_3, miz file
Operations on Submodules in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba
RMOD_4, miz file
Linear Combinations in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba
ROBBINS1, miz file
Robbins Algebras vs. Boolean Algebras by Adam Grabowski
ROBBINS2, miz file
On the Two Short Axiomatizations of Ortholattices by Wioletta Truszkowska and Adam Grabowski
ROBBINS3, miz file
Formalization of Ortholattices via Orthoposets by Adam Grabowski and Markus Moschner
ROBBINS4, miz file
Orthomodular Lattices by El\.zbieta M\c{a}dra and Adam Grabowski
ROLLE, miz file
Average Value Theorems for Real Functions of One Variable by Jaros{\l}aw Kotowicz, Konrad Raczkowski and Pawe{\l} Sadowski
ROUGHS_1, miz file
Basic Properties of Rough Sets and Rough Membership Function by Adam Grabowski
RPR_1, miz file
Introduction to Probability by Jan Popio{\l}ek
RSSPACE, miz file
Real Linear Space of Real Sequences by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama
RSSPACE2, miz file
Hilbert Space of Real Sequences by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama
RSSPACE3, miz file
Banach Space of Absolute Summable Real Sequences by Yasumasa Suzuki, Noboru Endou and Yasunari Shidama
RSSPACE4, miz file
Banach Space of Bounded Real Sequences by Yasumasa Suzuki
RUSUB_1, miz file
Subspaces and Cosets of Subspace of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
RUSUB_2, miz file
Operations on Subspaces in Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
RUSUB_3, miz file
Linear Combinations in Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
RUSUB_4, miz file
Dimension of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
RUSUB_5, miz file
Topology of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama
RVSUM_1, miz file
The Sum and Product of Finite Sequences of Real Numbers by Czes{\l}aw Byli\'nski

S

SCHEME1, miz file
Schemes of Existence of some Types of Functions by Jaros{\l}aw Kotowicz
SCHEMS_1, miz file
Schemes by Stanis\l aw T. Czuba
SCM_1, miz file
Development of Terminology for {\bf SCM} by Grzegorz Bancerek and Piotr Rudnicki
SCM_COMP, miz file
A compiler of arithmetic expressions for { \bf SCM } by Grzegorz Bancerek and Piotr Rudnicki
SCM_HALT, miz file
Initialization Halting Concepts and Their Basic Properties of SCM+FSA by JingChao Chen and Yatsuka Nakamura
SCMBSORT, miz file
Bubble Sort on SCM+FSA by JingChao Chen and Yatsuka Nakamura
SCMFSA10, miz file
On the Instructions of { \bf SCM+FSA } by Artur Korni{\l}owicz
SCMFSA6A, miz file
On the compositions of macro instructions by Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto
SCMFSA6B, miz file
On the compositions of macro instructions, Part II by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec
SCMFSA6C, miz file
On the compositions of macro instructions, Part III by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec
SCMFSA7B, miz file
Constant assignment macro instructions of SCM+FSA, Part II by Noriko Asamoto
SCMFSA8A, miz file
Conditional branch macro instructions of SCM+FSA, Part I (preliminary) by Noriko Asamoto
SCMFSA8B, miz file
Conditional branch macro instructions of SCM+FSA, Part II by Noriko Asamoto
SCMFSA8C, miz file
The {\bf loop} and {\bf Times} Macroinstruction for {\SCMFSA} by Noriko Asamoto
SCMFSA9A, miz file
The { \bf while } macro instructions of SCM+FSA, Part { II } by Piotr Rudnicki
SCMFSA_1, miz file
An Extension of { \bf SCM } by Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki
SCMFSA_2, miz file
The { \bf SCM_FSA } computer by Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki
SCMFSA_3, miz file
Computation in { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura
SCMFSA_4, miz file
Modifying addresses of instructions of { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura
SCMFSA_5, miz file
Relocability for { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura
SCMFSA_7, miz file
Some Multi-instructions defined by sequence of instructions of SCM+FSA by Noriko Asamoto
SCMFSA_9, miz file
While Macro Instructions of SCM+FSA by Jing-Chao Chen
SCMISORT, miz file
Insert Sort on SCM+FSA by JingChao Chen
SCMNORM, miz file
Normal Computers by Andrzej Trybulec
SCMP_GCD, miz file
Recursive Euclide Algorithm by JingChao Chen
SCMPDS_1, miz file
A Small Computer Model with Push-Down Stack by JingChao Chen
SCMPDS_2, miz file
The SCMPDS Computer and the Basic Semantics of Its Instructions by JingChao Chen
SCMPDS_3, miz file
Computation and Program Shift in the SCMPDS Computer by JingChao Chen
SCMPDS_4, miz file
The Construction and shiftability of Program Blocks for SCMPDS by JingChao Chen
SCMPDS_5, miz file
Computation of Two Consecutive Program Blocks for SCMPDS by JingChao Chen
SCMPDS_6, miz file
The Construction and Computation of Conditional Statements for SCMPDS by JingChao Chen
SCMPDS_7, miz file
The Construction and Computation of For-loop Programs for SCMPDS by JingChao Chen and Piotr Rudnicki
SCMPDS_8, miz file
The Construction and Computation of While-loop Programs for SCMPDS by JingChao Chen
SCMPDS_9, miz file
SCMPDS Is Not Standard by Artur Korni{\l}owicz and Yasunari Shidama
SCMRING1, miz file
The Construction of { \bf SCM } over Ring by Artur Korni{\l}owicz
SCMRING2, miz file
The Basic Properties of { \bf SCM } over Ring by Artur Korni{\l}owicz
SCMRING3, miz file
The Properties of Instructions of { \bf SCM } over Ring by Artur Korni{\l}owicz
SCMRING4, miz file
Relocability for { \bf SCM } over Ring by Artur Korni{\l}owicz and Yasunari Shidama
SCPINVAR, miz file
Justifying the Correctness of Fibonacci Sequence and Euclide Algorithm by Loop Invariant
SCPISORT, miz file
Insert Sort on SCMPDS by JingChao Chen
SCPQSORT, miz file
Quick Sort on SCMPDS by JingChao Chen
SEMI_AF1, miz file
Semi-Affine Space by Eugeniusz Kusak and Krzysztof Radziszewski
SEQ_1, miz file
Real Sequences and Basic Operations on Them by Jaros{\l}aw Kotowicz
SEQ_2, miz file
Convergent Sequences and the Limit of Sequences by Jaros{\l}aw Kotowicz
SEQ_4, miz file
Convergent Real Sequences. Upper and Lower Bound of Sets of Real Numbers by Jaros{\l}aw Kotowicz
SEQFUNC, miz file
Functional Sequence from a Domain to a Domain by Beata Perkowska
SEQM_3, miz file
Monotone Real Sequences. Subsequences by Jaros{\l}aw Kotowicz
SERIES_1, miz file
Series by Konrad Raczkowski and Andrzej N\c{e}dzusiak
SERIES_2, miz file
Partial Sum of Some Series by Ming Liang and Yuzhong Ding
SERIES_3, miz file
On the Partial Product of Series and Related Basic Inequalities by Fuguo Ge and Xiquan Liang
SERIES_4, miz file
Partial Sum and Partial Product of Some Series by Jianbing Cao , Fahui Zhai and Xiquan Liang
SERIES_5, miz file
On the Partial Product and Partial Sum of Series and Related Basic Inequalities
SETFAM_1, miz file
Families of Sets by Beata Padlewska
SETLIM_1, miz file
Limit of Sequence of Subsets by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura
SETLIM_2, miz file
Some Equations Related to the Limit of Sequence of Subsets by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura
SETWISEO, miz file
Semilattice Operations on Finite Subsets by Andrzej Trybulec
SETWOP_2, miz file
Semigroup operations on finite subsets by Czes{\l}aw Byli\'nski
SF_MASTR, miz file
Memory handling for SCM+FSA by Piotr Rudnicki and Andrzej Trybulec
SFMASTR1, miz file
On the Composition of non-parahalting Macro Instructions by Piotr Rudnicki
SFMASTR2, miz file
Another { \bf times } Macro Instruction by Piotr Rudnicki
SFMASTR3, miz file
The { \bf for } (going up) Macro Instruction by Piotr Rudnicki
SGRAPH1, miz file
The Formalisation of Simple Graphs by Yozo Toda
SHEFFER1, miz file
Axiomatization of {B}oolean Algebras Based on Sheffer Stroke by Violetta Kozarkiewicz and Adam Grabowski
SHEFFER2, miz file
Short {S}heffer Stroke-Based Single Axiom for {B}oolean Algebras by Aneta {\L}ukaszuk and Adam Grabowski
SIN_COS, miz file
Trigonometric Functions and Existence of Circle Ratio by Yuguang Yang and Yasunari Shidama
SIN_COS2, miz file
Properties of Trigonometric Function by Takashi Mitsuishi and Yuguang Yang
SIN_COS3, miz file
Trigonometric Functions on Complex Space by Takashi Mitsuishi , Noboru Endou and Keiji Ohkubo
SIN_COS4, miz file
Formulas And Identities of Trigonometric Functions by Pacharapokin Chanapat, Kanchun and Hiroshi Yamazaki
SIN_COS5, miz file
Formulas And Identities of Trigonometric Functions by Yuzhong Ding and Xiquan Liang
SIN_COS6, miz file
Inverse Trigonometric Functions Arcsin and Arccos by Artur Korni{\l}owicz and Yasunari Shidama
SIN_COS7, miz file
Formulas And Identities of Inverse Hyperbolic Functions by Fuguo Ge , Xiquan Liang and Yuzhong Ding
SIN_COS8, miz file
Formulas and Identities of Hyperbolic Functions by Pacharapokin Chanapat and Hiroshi Yamazaki
SIN_COS9, miz file
Inverse Trigonometric Functions Arctan and Arccot by Xiquan Liang and Bing Xie
SINCOS10, miz file
Inverse Trigonometric Functions Arcsec1, Arcsec2, Arccosec1 and Arccosec2 by Bing Xie , Xiquan Liang and Fuguo Ge
SPPOL_1, miz file
Extremal Properties of Vertices on Special Polygons I by Yatsuka Nakamura and Czes\law Byli\'nski
SPPOL_2, miz file
Special Polygons by Czes\law Byli\'nski and Yatsuka Nakamura
SPRECT_1, miz file
On Rectangular Finite Sequences of the Points of the Plane by Andrzej Trybulec and Yatsuka Nakamura
SPRECT_2, miz file
On the Order on a Special Polygon by Andrzej Trybulec and Yatsuka Nakamura
SPRECT_3, miz file
Some properties of special polygonal curves by Andrzej Trybulec and Yatsuka Nakamura
SPRECT_4, miz file
On the components of the complement of a special polygonal curve by Andrzej Trybulec and Yatsuka Nakamura
SPRECT_5, miz file
Again on the Order on a Special Polygon by Andrzej Trybulec and Yatsuka Nakamura
SQUARE_1, miz file
Some Properties of Real Numbers. Operations: min, max, square, and square root
STIRL2_1, miz file
Stirling Numbers of the Second Kind by Karol P\c{a}k
STRUCT_0, miz file
Preliminaries to Structures by Library Committee
SUB_METR, miz file
Submetric Spaces - Part I by Adam Lecko and Mariusz Startek
SUBLEMMA, miz file
Coincidence Lemma and Substitution Lemma by Patrick Braselmann and Peter Koepke
SUBSET, miz file
Basic Properties of Subsets - Requirements by Library Committee
SUBSET_1, miz file
Properties of Subsets by Zinaida Trybulec
SUBSTLAT, miz file
Lattice of Substitutions by Adam Grabowski
SUBSTUT1, miz file
Substitution in First-Order Formulas: Elementary Properties by Patrick Braselmann and Peter Koepke
SUBSTUT2, miz file
Substitution in First-Order Formulas -- Part II. {T}he Construction of First-Order Formulas
SUPINF_1, miz file
Infimum and Supremum of the Set of Real Numbers. Measure Theory by J\'ozef Bia{\l}as
SUPINF_2, miz file
Series of Positive Real Numbers. Measure Theory by J\'ozef Bia{\l}as
SYMSP_1, miz file
Construction of a bilinear antisymmetric form in symplectic vector space by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski
SYSREL, miz file
Some Properties of Binary Relations by Waldemar Korczy\'nski

T

T_0TOPSP, miz file
$T_0$ Topological Spaces by Mariusz \.Zynel and Adam Guzowski
T_1TOPSP, miz file
On $T_{1}$ Reflex of Topological Space by Adam Naumowicz and Mariusz {\L}api\'nski
TARSKI, miz file
Tarski Grothendieck Set Theory by Andrzej Trybulec
TAXONOM1, miz file
Lower Tolerance. {P}reliminaries to {W}roclaw Taxonomy by Mariusz Giero and Roman Matuszewski
TAXONOM2, miz file
Hierarchies and Classifications of Sets by Mariusz Giero
TAYLOR_1, miz file
The {T}aylor Expansions by Yasunari Shidama
TAYLOR_2, miz file
The {M}aclaurin Expansions by Akira Nishino and Yasunari Shidama
TBSP_1, miz file
Totally Bounded Metric Spaces by Alicia de la Cruz
TDGROUP, miz file
A Construction of an Abstract Space of Congruence of Vectors by Grzegorz Lewandowski and Krzysztof Pra\.zmowski
TDLAT_1, miz file
The Lattice of Domains_of of a Topological Space by Toshihiko Watanabe
TDLAT_2, miz file
Completeness of the Lattices of Domains of a Topological Space by Zbigniew Karno and Toshihiko Watanabe
TDLAT_3, miz file
The Lattice of Domains of an Extremally Disconnected Space by Zbigniew Karno
TERMORD, miz file
Term Orders by Christoph Schwarzweller
TEX_1, miz file
On Discrete and Almost Discrete Topological Spaces by Zbigniew Karno
TEX_2, miz file
Maximal Discrete Subspaces of Almost Discrete Topological Spaces by Zbigniew Karno
TEX_3, miz file
On Nowhere and Everywhere Dense Subspaces of Topological Spaces by Zbigniew Karno
TEX_4, miz file
Maximal Anti-Discrete Subspaces of Topological Spaces by Zbigniew Karno
TIETZE, miz file
Tietze {E}xtension {T}heorem by Artur Korni{\l}owicz , Grzegorz Bancerek and Adam Naumowicz
TMAP_1, miz file
Continuity of Mappings over the Union of Subspaces by Zbigniew Karno
TOLER_1, miz file
Relations of Tolerance by Krzysztof Hryniewiecki
TOPALG_1, miz file
The Fundamental Group by Artur Korni{\l}owicz , Yasunari Shidama and Adam Grabowski
TOPALG_2, miz file
The Fundamental Group of Convex Subspaces of TOP-REAL n by Artur Korni{\l}owicz
TOPALG_3, miz file
On the Isomorphism of Fundamental Groups by Artur Korni{\l}owicz
TOPALG_4, miz file
On the Fundamental Groups of Products of Topological Spaces by Artur Korni{\l}owicz
TOPALG_5, miz file
The Fundamental Group of the Circle by Artur Korni{\l}owicz
TOPGEN_1, miz file
On the Boundary and Derivative of a Set by Adam Grabowski
TOPGEN_2, miz file
On the characteristic and weight of a topological space by Grzegorz Bancerek
TOPGEN_3, miz file
On constructing topological spaces and Sorgenfrey line by Grzegorz Bancerek
TOPGEN_4, miz file
On the {B}orel Families of Subsets of Topological Spaces by Adam Grabowski
TOPGEN_5, miz file
Niemytzki Plane -- an Example of {T}ychonoff Space Which Is Not $T_4$ by Grzegorz Bancerek
TOPGRP_1, miz file
The Definition and Basic Properties of Topological Groups by Artur Korni{\l}owicz
TOPMETR, miz file
Metric Spaces as Topological Spaces - Fundamental Concepts by Agata Darmochwa{\l} and Yatsuka Nakamura
TOPMETR2, miz file
Some Facts about Union of Two Functions and Continuity of Union of Functions
TOPMETR3, miz file
Sequences of Metric Spaces and an Abstract Intermediate Value Theorem by Yatsuka Nakamura and Andrzej Trybulec
TOPREAL1, miz file
The Topological Space ${\calE}^2_{\rm T}$. Arcs, Line Segments and Special Polygonal Arcs
TOPREAL2, miz file
The Topological Space ${\calE}^2_{\rm T}$. Simple Closed Curves by Agata Darmochwa{\l} and Yatsuka Nakamura
TOPREAL3, miz file
Basic Properties of Connecting Points with Line Segments in ${\calE}^2_{\rm T}$
TOPREAL4, miz file
Connectedness Conditions Using Polygonal Arcs by Yatsuka Nakamura and Jaros{\l}aw Kotowicz
TOPREAL5, miz file
Intermediate Value Theorem and Thickness of Simple Closed Curves by Yatsuka Nakamura and Andrzej Trybulec
TOPREAL6, miz file
Compactness of the Bounded Closed Subsets of TOP-REAL 2 by Artur Korni{\l}owicz
TOPREAL7, miz file
Homeomorphism between [:TOP-REAL i,TOP-REAL j:] and TOP-REAL (i+j) by Artur Korni{\l}owicz
TOPREAL8, miz file
More on the Finite Sequences on the Plane by Andrzej Trybulec
TOPREAL9, miz file
Intersections of Intervals and Balls in TOP-REAL n by Artur Korni{\l}owicz and Yasunari Shidama
TOPREALA, miz file
Some Properties of Rectangles on the Plane by Artur Korni{\l}owicz and Yasunari Shidama
TOPREALB, miz file
Some Properties of Circles on the Plane by Artur Korni{\l}owicz and Yasunari Shidama
TOPRNS_1, miz file
Sequences in $R^n$ by Agnieszka Sakowicz , Jaros{\l}aw Gryko and Adam Grabowski
TOPS_1, miz file
Subsets of Topological Spaces by Miros{\l}aw Wysocki and Agata Darmochwa\l
TOPS_2, miz file
Families of Subsets, Subspaces and Mappings in Topological Spaces by Agata Darmochwa{\l}
TOPS_3, miz file
Remarks on Special Subsets of Topological Spaces by Zbigniew Karno
TRANSGEO, miz file
Transformations in Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
TRANSLAC, miz file
Translations in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski
TREAL_1, miz file
The Brouwer Fixed Point Theorem for Intervals by Toshihiko Watanabe
TREES_1, miz file
Introduction to Trees by Grzegorz Bancerek
TREES_2, miz file
K\"onig's Lemma by Grzegorz Bancerek
TREES_3, miz file
Sets and Functions of Trees and Joining Operations of Trees by Grzegorz Bancerek
TREES_4, miz file
Joining of Decorated Trees by Grzegorz Bancerek
TREES_9, miz file
Subtrees by Grzegorz Bancerek
TREES_A, miz file
Replacement of Subtrees in a Tree by Oleg Okhotnikov
TRIANG_1, miz file
On the concept of the triangulation by Beata Madras
TSEP_1, miz file
Separated and Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno
TSEP_2, miz file
On a Duality Between Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno
TSP_1, miz file
On Kolmogorov Topological Spaces by Zbigniew Karno
TSP_2, miz file
Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space
TURING_1, miz file
Introduction to Turing Machines by Jingchao Chen and Yatsuka Nakamura
TWOSCOMP, miz file
2's Complement Circuit. Part I. Boolean Operators and 2's Complement Circuit Properties

U

UNIALG_1, miz file
Basic Notation of Universal Algebra by Jaros{\l}aw Kotowicz, Beata Madras and Ma{\l}gorzata Korolkiewicz
UNIALG_2, miz file
Subalgebras of the Universal Algebra. Lattices of Subalgebras by Ewa Burakowska
UNIALG_3, miz file
On the Lattice of Subalgebras of a Universal Algebra by Miros{\l}aw Jan Paszek
UNIFORM1, miz file
Lebesgue's Covering Lemma, Uniform Continuity and Segmentation of Arcs by Yatsuka Nakamura and Andrzej Trybulec
UNIROOTS, miz file
Primitive Roots of Unity and Cyclotomic Polynomials by Broderick Arneson and Piotr Rudnicki
UPROOTS, miz file
Little {B}ezout Theorem (Factor Theorem) by Piotr Rudnicki
URYSOHN1, miz file
Dyadic Numbers and $T_4$ Topological Spaces by J\'ozef Bia\las and Yatsuka Nakamura
URYSOHN2, miz file
Some Properties of Dyadic Numbers and Intervals by J\'ozef Bia{\l}as and Yatsuka Nakamura
URYSOHN3, miz file
Urysohn Lemma by J\'ozef Bia{\l}as and Yatsuka Nakamura

V

VALUAT_1, miz file
Interpretation and Satisfiability in the First Order Logic by Edmund Woronowicz
VALUED_0, miz file
Number-Valued Functions by Library Committee
VALUED_1, miz file
Properties of Number-Valued Functions by Library Committee
VALUED_2, miz file
Operations from Sets into Functional Sets by Artur Korni{\l}owicz
VECTMETR, miz file
Real Linear-Metric Space and Isometric Functions by Robert Milewski
VECTSP10, miz file
Quotient Vector Spaces and Functionals by Jaros{\l}aw Kotowicz
VECTSP11, miz file
Eigenvalues of a Linear Transformation by Karol P\c{a}k
VECTSP_1, miz file
Abelian Groups, Fields and Vector Spaces by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski
VECTSP_2, miz file
Construction of Rings and Left-, Right-, and Bi-Modules over a Ring by Micha{\l} Muzalewski
VECTSP_3, miz file
Finite Sums of Vectors in Vector Space by Wojciech A. Trybulec
VECTSP_4, miz file
Subspaces and Cosets of Subspaces in Vector Space by Wojciech A. Trybulec
VECTSP_5, miz file
Operations on Subspaces in Vector Space by Wojciech A. Trybulec
VECTSP_6, miz file
Linear Combinations in Vector Space by Wojciech A. Trybulec
VECTSP_7, miz file
Basis of Vector Space by Wojciech A. Trybulec
VECTSP_8, miz file
On the Lattice of Subspaces of Vector Space by Andrzej Iwaniuk
VECTSP_9, miz file
Steinitz Theorem and Dimension of a Vector Space by Mariusz \.Zynel
VFUNCT_1, miz file
Algebra of Vector Functions by Hiroshi Yamazaki and Yasunari Shidama
VFUNCT_2, miz file
Algebra of Complex Vector Valued Functions by Noboru Endou

W

WAYBEL10, miz file
Closure Operators and Subalgebras by Grzegorz Bancerek
WAYBEL11, miz file
Scott Topology by Andrzej Trybulec
WAYBEL12, miz file
On the Baire Category Theorem by Artur Korni{\l}owicz
WAYBEL13, miz file
Algebraic and Arithmetic Lattices by Robert Milewski
WAYBEL14, miz file
The Scott Topology, Part II by Czes{\l}aw Byli\'nski and Piotr Rudnicki
WAYBEL15, miz file
More on the Algebraic and Arithmetic Lattices by Robert Milewski
WAYBEL16, miz file
Completely-Irreducible Elements by Robert Milewski
WAYBEL17, miz file
Scott-Continuous Functions by Adam Grabowski
WAYBEL18, miz file
Injective Spaces by Jaros{\l}aw Gryko
WAYBEL19, miz file
The Lawson Topology by Grzegorz Bancerek
WAYBEL20, miz file
Kernel Projections and Quotient Lattices by Piotr Rudnicki
WAYBEL21, miz file
Lawson Topology in Continuous Lattices by Grzegorz Bancerek
WAYBEL22, miz file
Representation theorem for free continuous lattices by Piotr Rudnicki
WAYBEL23, miz file
Bases of Continuous Lattices by Robert Milewski
WAYBEL24, miz file
Scott-Continuous Functions, Part II by Adam Grabowski
WAYBEL25, miz file
Injective Spaces, Part { II } by Artur Korni{\l}owicz and Jaros{\l}aw Gryko
WAYBEL26, miz file
Continuous Lattices between T$_0$ Spaces by Grzegorz Bancerek
WAYBEL27, miz file
Function Spaces in the Category of Directed Suprema Preserving Maps by Grzegorz Bancerek and Adam Naumowicz
WAYBEL28, miz file
Lim-inf Convergence by Bart{\l}omiej Skorulski
WAYBEL29, miz file
The Characterization of Continuity of Topologies by Grzegorz Bancerek and Adam Naumowicz
WAYBEL30, miz file
Meet Continuous Lattices Revisited by Artur Korni{\l}owicz
WAYBEL31, miz file
Weights of Continuous Lattices by Robert Milewski
WAYBEL32, miz file
On the Order-consistent Topology of Complete and Uncomplete Lattices
WAYBEL33, miz file
Compactness of Lim-inf Topology by Grzegorz Bancerek and Noboru Endou
WAYBEL34, miz file
Duality Based on Galois Connection. Part I by Grzegorz Bancerek
WAYBEL35, miz file
Morphisms Into Chains, Part {I} by Artur Korni{\l}owicz
WAYBEL_0, miz file
Directed Sets, Nets, Ideals, Filters, and Maps by Grzegorz Bancerek
WAYBEL_1, miz file
Galois Connections by Czes\law Byli\'nski
WAYBEL_2, miz file
Meet-continuous Lattices by Artur Korni{\l}owicz
WAYBEL_3, miz file
The "Way-Below" Relation by Grzegorz Bancerek
WAYBEL_4, miz file
Auxiliary and Approximating Relations by Adam Grabowski
WAYBEL_5, miz file
The Equational Characterization of Continuous Lattices by Mariusz \.Zynel
WAYBEL_6, miz file
Irreducible and Prime Elements by Beata Madras
WAYBEL_7, miz file
Prime Ideals and Filters by Grzegorz Bancerek
WAYBEL_8, miz file
Algebraic Lattices by Robert Milewski
WAYBEL_9, miz file
On The Topological Properties of Meet-Continuous Lattices by Artur Korni{\l}owicz
WEDDWITT, miz file
Witt's Proof of the {W}edderburn Theorem by Broderick Arneson , Matthias Baaz and Piotr Rudnicki
WEIERSTR, miz file
The Theorem of Weierstrass by J\'ozef Bia\las and Yatsuka Nakamura
WELLFND1, miz file
On same equivalents of well-foundedness by Piotr Rudnicki and Andrzej Trybulec
WELLORD1, miz file
The Well Ordering Relations by Grzegorz Bancerek
WELLORD2, miz file
Zermelo Theorem and Axiom of Choice. The correspondence of well ordering relations and ordinal numbers
WELLSET1, miz file
Zermelo's Theorem by Bogdan Nowak and S{\l}awomir Bia{\l}ecki
WSIERP_1, miz file
The Chinese Remainder Theorem by Andrzej Kondracki

X

XBOOLE_0, miz file
Boolean Properties of Sets - Definitions by Library Committee
XBOOLE_1, miz file
Boolean Properties of Sets - Theorems by Library Committee
XBOOLEAN, miz file
On the Arithmetic of Boolean Values by Library Committee
XCMPLX_0, miz file
Complex Numbers - Basic Definitions by Library Committee
XCMPLX_1, miz file
Complex Numbers - Basic Theorems by Library Committee
XREAL_0, miz file
Introduction to Arithmetic of Real Numbers by Library Committee
XREAL_1, miz file
Real Numbers - Basic Theorems by Library Committee
XXREAL_0, miz file
Introduction to Arithmetic of Extended Real Numbers by Library Committee
XXREAL_1, miz file
Basic Properties of Extended Real Numbers by Andrzej Trybulec, Yatsuka Nakamura, Artur Korni{\l}owicz and
XXREAL_2, miz file
Suprema and Infima of Intervals of Extended Real Numbers by Andrzej Trybulec
XXREAL_3, miz file
Basic Operations on Extended Real Numbers by Andrzej Trybulec

Y

YELLOW10, miz file
The Properties of Product of Relational Structures by Artur Korni{\l}owicz
YELLOW11, miz file
On the Characterization of Modular and Distributive Lattices by Adam Naumowicz
YELLOW12, miz file
On the Characterization of {H}ausdorff Spaces by Artur Korni{\l}owicz
YELLOW13, miz file
Introduction to Meet-Continuous Topological Lattices by Artur Korni{\l}owicz
YELLOW14, miz file
Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces
YELLOW15, miz file
Components and Basis of Topological Spaces by Robert Milewski
YELLOW16, miz file
Retracts and Inheritance by Grzegorz Bancerek
YELLOW17, miz file
The Tichonov Theorem by Bart{\l}omiej Skorulski
YELLOW18, miz file
Concrete Categories by Grzegorz Bancerek
YELLOW19, miz file
On the characterizations of compactness by Grzegorz Bancerek , Noboru Endou and Yuji Sakai
YELLOW20, miz file
Miscellaneous Facts about Functors by Grzegorz Bancerek
YELLOW21, miz file
Categorial Background for Duality Theory by Grzegorz Bancerek
YELLOW_0, miz file
Bounds in Posets and Relational Substructures by Grzegorz Bancerek
YELLOW_1, miz file
Boolean Posets, Posets under Inclusion and Products of Relational Structures
YELLOW_2, miz file
Properties of Relational Structures, Posets, Lattices and Maps by Mariusz \.Zynel and Czes{\l}aw Byli\'nski
YELLOW_3, miz file
Cartesian Products of Relations and Relational Structures by Artur Korni{\l}owicz
YELLOW_4, miz file
Definitions and Properties of the Join and Meet of Subsets by Artur Korni{\l}owicz
YELLOW_5, miz file
Miscellaneous Facts about Relation Structure by Agnieszka Julia Marasik
YELLOW_6, miz file
Moore-Smith Convergence by Andrzej Trybulec
YELLOW_7, miz file
Duality in Relation Structures by Grzegorz Bancerek
YELLOW_8, miz file
Baire Spaces, Sober Spaces by Andrzej Trybulec
YELLOW_9, miz file
Bases and Refinements of Topologies by Grzegorz Bancerek
YONEDA_1, miz file
Yoneda Embedding by Miros{\l}aw Wojciechowski

Z

ZF_COLLA, miz file
The Contraction Lemma by Grzegorz Bancerek
ZF_FUND1, miz file
Mostowski's Fundamental Operations - Part I by Andrzej Kondracki
ZF_FUND2, miz file
Mostowski's Fundamental Operations - Part II by Grzegorz Bancerek and Andrzej Kondracki
ZF_LANG, miz file
A Model of ZF Set Theory Language by Grzegorz Bancerek
ZF_LANG1, miz file
Replacing of Variables in Formulas of ZF Theory by Grzegorz Bancerek
ZF_MODEL, miz file
Models and Satisfiability. Defining by Structural Induction and Free Variables in ZF-formulae
ZF_REFLE, miz file
The Reflection Theorem by Grzegorz Bancerek
ZFMISC_1, miz file
Some Basic Properties of Sets by Czes{\l}aw Byli\'nski
ZFMODEL1, miz file
Properties of ZF Models by Grzegorz Bancerek
ZFMODEL2, miz file
Definable Functions by Grzegorz Bancerek
ZFREFLE1, miz file
Consequences of the Reflection Theorem by Grzegorz Bancerek