[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]

You can open *.abs file(abstract file without proof) and *.miz file(MIZAR file with full proof) by some text editor.

abcmiz_0.abs abcmiz_0.miz On semilattice structure of {M}izar types by Grzegorz Bancerek

abcmiz_1.abs abcmiz_1.miz Towards the construction of a model of Mizar concepts by Grzegorz Bancerek

abcmiz_a.abs abcmiz_a.miz A Model of Mizar Concepts -- Unification by Grzegorz Bancerek

abian.abs abian.miz Abian's Fixed Point Theorem by Piotr Rudnicki and Andrzej Trybulec

absred_0.abs absred_0.miz Abstract Reduction Systems and Idea of {K}nuth {B}endix Completion Algorithm by Grzegorz Bancerek

absvalue.abs absvalue.miz Some Properties of Functions Modul and Signum by Jan Popio{\l}ek

aescip_1.abs aescip_1.miz Formalization of the Advanced Encryption Standard -- Part {I} by Kenichi Arai and Hiroyuki Okazaki

aff_1.abs aff_1.miz Parallelity and Lines in Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

aff_2.abs aff_2.miz Classical Configurations in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

aff_3.abs aff_3.miz Affine Localizations of Desargues Axiom by Eugeniusz Kusak, Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

aff_4.abs aff_4.miz Planes in Affine Spaces by Wojciech Leo\'nczuk, Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

afinsq_1.abs afinsq_1.miz Zero Based Finite Sequences by Tetsuya Tsunetou , Grzegorz Bancerek and Yatsuka Nakamura

afinsq_2.abs afinsq_2.miz Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences by Yatsuka Nakamura and Hisashi Ito

afproj.abs afproj.miz A Projective Closure and Projective Horizon of an Affine Space by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

afvect0.abs afvect0.miz Directed Geometrical Bundles and Their Analytical Representation by Grzegorz Lewandowski, Krzysztof Pra\.zmowski and Bo\.zena Lewandowska

afvect01.abs afvect01.miz One-Dimensional Congruence of Segments, Basic Facts and Midpoint Relation by Barbara Konstanta, Urszula Kowieska, Grzegorz Lewandowski and Krzysztof Pra\.zmowski

algseq_1.abs algseq_1.miz Construction of Finite Sequences over Ring and Left-, Right-, and Bi-Modules over a Ring by Micha{\l} Muzalewski and Les{\l}aw W. Szczerba

algspec1.abs algspec1.miz Technical Preliminaries to Algebraic Specifications by Grzegorz Bancerek

algstr_0.abs algstr_0.miz Basic Algebraic Structures by Library Committee

algstr_1.abs algstr_1.miz From Loops to Abelian Multiplicative Groups with Zero by Micha{\l} Muzalewski and Wojciech Skaba

algstr_2.abs algstr_2.miz From Double Loops to Fields by Wojciech Skaba and Micha{\l} Muzalewski

algstr_3.abs algstr_3.miz Ternary Fields by Micha{\l} Muzalewski and Wojciech Skaba

algstr_4.abs algstr_4.miz Free Magmas by Marco Riccardi

alg_1.abs alg_1.miz Homomorphisms of algebras. Quotient Universal Algebra by Ma{\l}gorzata Korolkiewicz

ali2.abs ali2.miz Fix Point Theorem for Compact Spaces by Alicia de la Cruz

altcat_1.abs altcat_1.miz Categories without Uniqueness of { \bf cod } and { \bf dom } by Andrzej Trybulec

altcat_2.abs altcat_2.miz Examples of Category Structures. Subcategories by Andrzej Trybulec

altcat_3.abs altcat_3.miz Basic properties of objects and morphisms. In categories without uniqueness of { \bf cod } and { \bf dom } by Beata Madras

altcat_4.abs altcat_4.miz On the Categories Without Uniqueness of { \bf cod } and { \bf dom } . Some Properties of the Morphisms and the Functors by Artur Korni{\l}owicz

altcat_5.abs altcat_5.miz Products in Categories without Uniqueness of { \bf cod } and { \bf dom } by Artur Korni{\l}owicz

altcat_6.abs altcat_6.miz Coproducts in Categories without Uniqueness of { \bf cod } and { \bf dom} by Maciej Goli\'nski and Artur Korni{\l}owicz

amistd_1.abs amistd_1.miz Standard Ordering of Instruction Locations by Andrzej Trybulec , Piotr Rudnicki and Artur Korni{\l}owicz

amistd_2.abs amistd_2.miz On the Composition of Macro Instructions of Standard Computers by Artur Korni{\l}owicz

amistd_3.abs amistd_3.miz A Tree of Execution of a Macroinstruction by Artur Korni{\l}owicz

amistd_4.abs amistd_4.miz Input and Output of Instructions by Artur Korni{\l}owicz

amistd_5.abs amistd_5.miz Relocable Instructions by Andrzej Trybulec

ami_2.abs ami_2.miz On a Mathematical Model of Programs by Yatsuka Nakamura and Andrzej Trybulec

ami_3.abs ami_3.miz Some Remarks on Simple Concrete Model of Computer by Andrzej Trybulec and Yatsuka Nakamura

ami_4.abs ami_4.miz Euclid's Algorithm by Andrzej Trybulec and Yatsuka Nakamura

ami_5.abs ami_5.miz On the Decomposition of the States of SCM by Yasushi Tanaka

ami_6.abs ami_6.miz On the Instructions of { \bf SCM } by Artur Korni{\l}owicz

ami_wstd.abs ami_wstd.miz Weakly Standard Ordering of Instruction Locations by Andrzej Trybulec , Piotr Rudnicki and Artur Korni{\l}owicz

analmetr.abs analmetr.miz Analytical Metric Affine Spaces and Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

analoaf.abs analoaf.miz Analytical Ordered Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

analort.abs analort.miz Oriented Metric-Affine Plane - Part I by Jaroslaw Zajkowski

anproj_1.abs anproj_1.miz A Construction of Analytical Projective Space by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski

anproj_2.abs anproj_2.miz Projective Spaces by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski

aofa_000.abs aofa_000.miz Mizar Analysis of Algorithms: Preliminaries by Grzegorz Bancerek

aofa_a00.abs aofa_a00.miz Program Algebra over an Algebra by Grzegorz Bancerek

aofa_a01.abs aofa_a01.miz Analysis of Algorithms: An Example of a Sort Algorithm by Grzegorz Bancerek

aofa_i00.abs aofa_i00.miz Mizar Analysis of Algorithms: Algorithms over Integers by Grzegorz Bancerek

aofa_l00.abs aofa_l00.miz Algebraic Approach to Algorithmic Logic by Grzegorz Bancerek

arithm.abs arithm.miz Field Properties of Complex Numbers - Requirements by Library Committee

armstrng.abs armstrng.miz Armstrong's Axioms by William W. Armstrong , Yatsuka Nakamura and Piotr Rudnicki

arrow.abs arrow.miz Arrow's Impossibility Theorem by Freek Wiedijk

arytm_0.abs arytm_0.miz Introduction to Arithmetics by Andrzej Trybulec

arytm_1.abs arytm_1.miz Non negative real numbers. Part II by Andrzej Trybulec

arytm_2.abs arytm_2.miz Non negative real numbers. Part I by Andrzej Trybulec

arytm_3.abs arytm_3.miz Arithmetic of Non Negative Rational Numbers by Grzegorz Bancerek

asympt_0.abs asympt_0.miz Asymptotic notation. Part I: Theory by Richard Krueger , Piotr Rudnicki and Paul Shelley

asympt_1.abs asympt_1.miz Asymptotic notation. Part II: Examples and Problems by Richard Krueger, Piotr Rudnicki and Paul Shelley

asympt_2.abs asympt_2.miz Polynomially Bounded Sequences and Polynomial Sequences by Hiroyuki Okazaki and Yuichi Futa

autalg_1.abs autalg_1.miz On the Group of Automorphisms of Universal Algebra & Many Sorted Algebra by Artur Korni{\l}owicz

autgroup.abs autgroup.miz On the Group of Inner Automorphisms by Artur Korni{\l}owicz

axioms.abs axioms.miz Strong arithmetic of real numbers by Andrzej Trybulec

bagorder.abs bagorder.miz On Ordering of Bags by Gilbert Lee and Piotr Rudnicki

ballot_1.abs ballot_1.miz Bertrand's Ballot Theorem by Karol P\kak

bcialg_1.abs bcialg_1.miz Several Classes of {BCI}-algebras and Their Properties by Yuzhong Ding

bcialg_2.abs bcialg_2.miz Congruences and Quotient Algebras of {BCI}-algebras by Yuzhong Ding and Zhiyong Pang

bcialg_3.abs bcialg_3.miz Several Classes of {BCK}-algebras and Their Properties by Tao Sun , Dahai Hu and Xiquan Liang

bcialg_4.abs bcialg_4.miz BCI-Algebras with Condition (S) and Their Properties by Tao Sun , Junjie Zhao and Xiquan Liang

bcialg_5.abs bcialg_5.miz General Theory of Quasi-Commutative BCI-algebras by Tao Sun , Weibo Pan , Chenglong Wu and Xiquan Liang

bcialg_6.abs bcialg_6.miz {BCI}-Homomorphisms by Yuzhong Ding , Fuguo Ge and Chenglong Wu

bciideal.abs bciideal.miz Ideals of BCI-Algebras and Their Properties by Chenglong Wu and Yuzhong Ding

bhsp_1.abs bhsp_1.miz Introduction to Banach and Hilbert spaces - Part I by Jan Popio{\l}ek

bhsp_2.abs bhsp_2.miz Introduction to Banach and Hilbert spaces - Part II by Jan Popio{\l}ek

bhsp_3.abs bhsp_3.miz Introduction to Banach and Hilbert spaces - Part III by Jan Popio{\l}ek

bhsp_4.abs bhsp_4.miz Series in Banach and Hilbert Spaces by El\.zbieta Kraszewska and Jan Popio{\l}ek

bhsp_5.abs bhsp_5.miz Bessel's Inequality by Hiroshi Yamazaki , Yasunari Shidama and Yatsuka Nakamura

bhsp_6.abs bhsp_6.miz On Some Properties of Real {H}ilbert Space, {I} by Hiroshi Yamazaki , Yasumasa Suzuki , Takao Inou\'e and Yasunari Shidama

bhsp_7.abs bhsp_7.miz On Some Properties of Real {H}ilbert Space, {II} by Hiroshi Yamazaki , Yasumasa Suzuki , Takao Inou\'e and Yasunari Shidama

bilinear.abs bilinear.miz Bilinear Functionals in Vector Spaces by Jaros{\l}aw Kotowicz

binarith.abs binarith.miz Binary Arithmetics. Addition by Takaya Nishiyama and Yasuho Mizuhara

binari_2.abs binari_2.miz Binary Arithmetics. Addition and Subtraction of Integers by Yasuho Mizuhara and Takaya Nishiyama

binari_3.abs binari_3.miz Binary Arithmetics. Binary Sequences by Robert Milewski

binari_4.abs binari_4.miz A Representation of Integers by Binary Arithmetics and Addition of Integers by Hisayoshi Kunimune and Yatsuka Nakamura

binom.abs binom.miz The Binomial Theorem for Algebraic Structures by Christoph Schwarzweller

binop_1.abs binop_1.miz Binary Operations by Czes{\l}aw Byli\'nski

binop_2.abs binop_2.miz Binary Operations on Numbers by Library Committee

bintree1.abs bintree1.miz On Defining Functions on Binary Trees by Grzegorz Bancerek and Piotr Rudnicki

bintree2.abs bintree2.miz Full Trees by Robert Milewski

birkhoff.abs birkhoff.miz Birkhoff Theorem for Many Sorted Algebras by Artur Korni{\l}owicz

boole.abs boole.miz Boolean Properties of Sets - Requirements by Library Committee

boolealg.abs boolealg.miz Boolean Properties of Lattices by Agnieszka Julia Marasik

boolmark.abs boolmark.miz Basic Concepts for Petri Nets with Boolean Markings. Boolean Markings and the Firability/Firing of Transitions by Pauline N. Kawamoto, Yasushi Fuwa and Yatsuka Nakamura

borsuk_1.abs borsuk_1.miz A Borsuk Theorem on Homotopy Types by Andrzej Trybulec

borsuk_2.abs borsuk_2.miz Introduction to Homotopy Theory by Adam Grabowski

borsuk_3.abs borsuk_3.miz Properties of the Product of Compact Topological Spaces by Adam Grabowski

borsuk_4.abs borsuk_4.miz On the Decompositions of Intervals and Simple Closed Curves by Adam Grabowski

borsuk_5.abs borsuk_5.miz On the Subcontinua of a Real Line by Adam Grabowski

borsuk_6.abs borsuk_6.miz Algebraic Properties of Homotopies by Adam Grabowski and Artur Korni{\l}owicz

borsuk_7.abs borsuk_7.miz The {B}orsuk-Ulam Theorem by Artur Korni{\l}owicz and Marco Riccardi

bor_cant.abs bor_cant.miz Borel-Cantelli Lemma by Peter Jaeger

brouwer.abs brouwer.miz Brouwer Fixed Point Theorem for Disks on the Plane by Artur Korni{\l}owicz and Yasunari Shidama

brouwer2.abs brouwer2.miz Brouwer Fixed Point Theorem in the General Case by Karol P\kak

brouwer3.abs brouwer3.miz Brouwer Invariance of Domain Theorem by Karol P\kak

bspace.abs bspace.miz The Vector Space of Subsets of a Set Based on Symmetric Difference by Jesse Alama

bvfunc11.abs bvfunc11.miz Predicate Calculus for Boolean Valued Functions, III by Shunichi Kobayashi and Yatsuka Nakamura

bvfunc14.abs bvfunc14.miz Predicate Calculus for Boolean Valued Functions, { VI } by Shunichi Kobayashi

bvfunc25.abs bvfunc25.miz Propositional Calculus for Boolean Valued Functions, {VII} by Shunichi Kobayashi

bvfunc_1.abs bvfunc_1.miz A Theory of Boolean Valued Functions and Partitions by Shunichi Kobayashi and Kui Jia

bvfunc_2.abs bvfunc_2.miz A Theory of Boolean Valued Functions and Quantifiers with Respect to Partitions by Shunichi Kobayashi and Yatsuka Nakamura

bvfunc_3.abs bvfunc_3.miz Predicate Calculus for Boolean Valued Functions, { I } by Shunichi Kobayashi and Yatsuka Nakamura

bvfunc_4.abs bvfunc_4.miz Predicate Calculus for Boolean Valued Functions, II by Shunichi Kobayashi and Yatsuka Nakamura

bvfunc_5.abs bvfunc_5.miz Propositional Calculus for Boolean Valued Functions, I by Shunichi Kobayashi and Yatsuka Nakamura

bvfunc_6.abs bvfunc_6.miz Propositional Calculus for Boolean Valued Functions, II by Shunichi Kobayashi and Yatsuka Nakamura

c0sp1.abs c0sp1.miz Banach Algebra of Bounded Functionals by Yasunari Shidama , Hikofumi Suzuki and Noboru Endou

c0sp2.abs c0sp2.miz Banach Algebra of Continuous Functionals and Space of Real-valued Continuous Functionals with Bounded Support by Katuhiko Kanazashi, Noboru Endou and Yasunari Shidama

calcul_1.abs calcul_1.miz A Sequent Calculus for First-Order Logic by Patrick Braselmann and Peter Koepke

calcul_2.abs calcul_2.miz Consequences of the Sequent Calculus by Patrick Braselmann and Peter Koepke

cantor_1.abs cantor_1.miz The Cantor Set by Alexander Yu. Shibakov and Andrzej Trybulec

cardfil2.abs cardfil2.miz Convergent Filter Bases by Roland Coghetto

cardfin2.abs cardfin2.miz Counting Derangements, Counting Non Bijective Functions and the Birthday Problem by Cezary Kaliszyk

card_1.abs card_1.miz Cardinal Numbers by Grzegorz Bancerek

card_2.abs card_2.miz Cardinal Arithmetics by Grzegorz Bancerek

card_3.abs card_3.miz K\"onig's Theorem by Grzegorz Bancerek

card_4.abs card_4.miz Countable Sets and Hessenberg's Theorem by Grzegorz Bancerek

card_5.abs card_5.miz On Powers of Cardinals by Grzegorz Bancerek

card_fil.abs card_fil.miz Basic facts about inaccessible and measurable cardinals by Josef Urban

card_fin.abs card_fin.miz Cardinal Numbers and Finite Sets by Karol P\c{a}k

card_lar.abs card_lar.miz Mahlo and inaccessible cardinals by Josef Urban

catalan1.abs catalan1.miz Catalan Numbers by Dorota Cz\c{e}stochowska and Adam Grabowski

catalan2.abs catalan2.miz The {C}atalan Numbers. {P}art {II} by Karol P\c{a}k

catalg_1.abs catalg_1.miz Algebra of Morphisms by Grzegorz Bancerek

cat_1.abs cat_1.miz Introduction to Categories and Functors by Czes{\l}aw Byli\'nski

cat_2.abs cat_2.miz Subcategories and Products of Categories by Czes{\l}aw Byli\'nski

cat_3.abs cat_3.miz Products and Coproducts in Categories by Czes{\l}aw Byli\'nski

cat_4.abs cat_4.miz Cartesian Categories by Czes{\l}aw Byli\'nski

cat_5.abs cat_5.miz Categorial Categories and Slice Categories by Grzegorz Bancerek

cat_6.abs cat_6.miz Object-Free Definition of Categories by Marco Riccardi

cat_7.abs cat_7.miz Categorical Pullbacks by Marco Riccardi

cayldick.abs cayldick.miz Cayley-Dickson Construction by Artur Korni{\l}owicz

cayley.abs cayley.miz Cayley's Theorem by Artur Korni{\l}owicz

cc0sp1.abs cc0sp1.miz Banach Algebra of Bounded Complex-Valued Functionals by Katuhiko Kanazashi , Hiroyuki Okazaki and Yasunari Shidama

cc0sp2.abs cc0sp2.miz Banach Algebra of Complex-Valued Continuous Functionals and Space of Complex-valued Continuous Functionals with Bounded Support by Katuhiko Kanazashi , Hiroyuki Okazaki and Yasunari Shidama

cfcont_1.abs cfcont_1.miz Property of Complex Sequence and Continuity of Complex Function by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama

cfdiff_1.abs cfdiff_1.miz Complex Function Differentiability by Chanapat Pacharapokin , Hiroshi Yamazaki , Yasunari Shidama and Yatsuka Nak

cfdiff_2.abs cfdiff_2.miz Cauchy-Riemann Differential Equations of Complex Functions by Hiroshi Yamazaki , Yasunari Shidama , Chanapat Pacharapokin and Yatsuka Nak

cfuncdom.abs cfuncdom.miz Complex Valued Function's Space by Noboru Endou

cfunct_1.abs cfunct_1.miz Property of Complex Functions by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama

cgames_1.abs cgames_1.miz Conway's Games and Some of Their Basic Properties by Robin Nittka

chain_1.abs chain_1.miz Chains on a Grating in Euclidean Space by Freek Wiedijk

chord.abs chord.miz Chordal Graphs by Broderick Arneson and Piotr Rudnicki

circcmb2.abs circcmb2.miz Combining of Multi Cell Circuits by Grzegorz Bancerek , Shin'nosuke Yamaguchi and Yasunari Shidama

circcmb3.abs circcmb3.miz Preliminaries to Automatic Generation of Mizar Documentation for Circuits by Grzegorz Bancerek and Adam Naumowicz

circcomb.abs circcomb.miz Combining of Circuits by Yatsuka Nakamura and Grzegorz Bancerek

circled1.abs circled1.miz Circled Sets, Circled Hull, and Circled Family by Fahui Zhai , Jianbing Cao and Xiquan Liang

circtrm1.abs circtrm1.miz Circuit Generated by Terms and Circuit Calculating Terms by Grzegorz Bancerek

circuit1.abs circuit1.miz Introduction to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamoto

circuit2.abs circuit2.miz Introduction to Circuits, II by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamoto

ckspace1.abs ckspace1.miz The $C^k$ Space by Katuhiko Kanazashi , Hiroyuki Okazaki and Yasunari Shidama

classes1.abs classes1.miz Tarski's Classes and Ranks by Grzegorz Bancerek

classes2.abs classes2.miz Universal Classes by Bogdan Nowak and Grzegorz Bancerek

clopban1.abs clopban1.miz Complex {B}anach Space of Bounded Linear Operators by Noboru Endou

clopban2.abs clopban2.miz Banach Algebra of Bounded Complex Linear Operators by Noboru Endou

clopban3.abs clopban3.miz Series on Complex {B}anach Algebra by Noboru Endou

clopban4.abs clopban4.miz Exponential Function on Complex {B}anach Algebra by Noboru Endou

closure1.abs closure1.miz On the Many Sorted Closure Operator and the Many Sorted Closure System by Artur Korni{\l}owicz

closure2.abs closure2.miz On the Closure Operator and the Closure System of Many Sorted Sets by Artur Korni{\l}owicz

closure3.abs closure3.miz Algebraic Operation on Subsets of Many Sorted Sets by Agnieszka Julia Marasik

clvect_1.abs clvect_1.miz Complex Linear Space and Complex Normed Space by Noboru Endou

clvect_2.abs clvect_2.miz Convergent Sequences in Complex Unitary Space by Noboru Endou

clvect_3.abs clvect_3.miz Cauchy Sequence of Complex Unitary Space by Yasumasa Suzuki and Noboru Endou

cohsp_1.abs cohsp_1.miz Continuous, Stable, and Linear Maps of Coherence Spaces by Grzegorz Bancerek

coh_sp.abs coh_sp.miz Coherent Space by Jaros{\l}aw Kotowicz and Konrad Raczkowski

collsp.abs collsp.miz The Collinearity Structure by Wojciech Skaba

combgras.abs combgras.miz Combinatorial {G}rassmannians by Andrzej Owsiejczuk

commacat.abs commacat.miz Comma Category by Grzegorz Bancerek and Agata Darmochwa\l

compact1.abs compact1.miz Alexandroff One Point Compactification by Czeslaw Bylinski

complex1.abs complex1.miz The Complex Numbers by Czes{\l}aw Byli\'nski

complex2.abs complex2.miz Inner Products and Angles of Complex Numbers by Wenpai Chang, Yatsuka Nakamura and Piotr Rudnicki

complfld.abs complfld.miz The Field of Complex Numbers by Anna Justyna Milewska

complsp1.abs complsp1.miz Complex Spaces by Czes{\l}aw Byli\'nski and Andrzej Trybulec

complsp2.abs complsp2.miz The Inner Product and Conjugate of Finite Sequences of Complex Numbers by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura

compl_sp.abs compl_sp.miz Complete Spaces by Karol P\c{a}k

compos_0.abs compos_0.miz Commands Structure by Andrzej Trybulec

compos_1.abs compos_1.miz Composition of Machines, Instructions and Programs by Andrzej Trybulec

compos_2.abs compos_2.miz The Elementary Macroinstructions by Andrzej Trybulec

comptrig.abs comptrig.miz Trigonometric Form of Complex Numbers by Robert Milewski

compts_1.abs compts_1.miz Compact Spaces by Agata Darmochwa{\l}

comput_1.abs comput_1.miz The set of primitive recursive functions by Grzegorz Bancerek and Piotr Rudnicki

comseq_1.abs comseq_1.miz Complex Sequences by Agnieszka Banachowicz and Anna Winnicka

comseq_2.abs comseq_2.miz Conjugate Sequences, Bounded Complex Sequences and Convergent Complex Sequences by Adam Naumowicz

comseq_3.abs comseq_3.miz Convergence and the Limit of Complex Sequences. Series by Yasunari Shidama and Artur Korni{\l}owicz

conaffm.abs conaffm.miz Metric-Affine Configurations in Metric Affine Planes - Part I by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski

conlat_1.abs conlat_1.miz Introduction to Concept Lattices by Christoph Schwarzweller

conlat_2.abs conlat_2.miz A Characterization of Concept Lattices; Dual Concept Lattices by Christoph Schwarzweller

conmetr.abs conmetr.miz Metric-Affine Configurations in Metric Affine Planes - Part II by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski

conmetr1.abs conmetr1.miz Shear Theorems and Their Role in Affine Geometry by Jolanta \'Swierzy\'nska and Bogdan \'Swierzy\'nski

connsp_1.abs connsp_1.miz Connected Spaces by Beata Padlewska

connsp_2.abs connsp_2.miz Locally Connected Spaces by Beata Padlewska

connsp_3.abs connsp_3.miz Components and Unions of Components by Yatsuka Nakamura and Andrzej Trybulec

convex1.abs convex1.miz Convex Sets and Convex Combinations by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

convex2.abs convex2.miz Some Properties for Convex Combinations by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama

convex3.abs convex3.miz Convex Hull, Set of Convex Combinations and Convex Cone by Noboru Endou and Yasunari Shidama

convex4.abs convex4.miz Convex Sets and Convex Combinations on Complex Linear Spaces by Hidenori Matsuzaki , Noboru Endou and Yasunari Shidama

convfun1.abs convfun1.miz Definition of Convex Function and {J}ensen's Inequality by Grigory E. Ivanov

cqc_lang.abs cqc_lang.miz A Classical First Order Language by Czes{\l}aw Byli\'nski

cqc_sim1.abs cqc_sim1.miz Similarity of Formulae by Agata Darmochwa{\l} and Andrzej Trybulec

cqc_the1.abs cqc_the1.miz A First-Order Predicate Calculus. Axiomatics, the Consequence Operation and a Concept of Proof by Agata Darmochwa{\l}

cqc_the2.abs cqc_the2.miz Calculus of Quantifiers. Deduction Theorem by Agata Darmochwa\l

cqc_the3.abs cqc_the3.miz Logical Equivalence of Formulae by Oleg Okhotnikov

csspace.abs csspace.miz Complex Linear Space of Complex Sequences by Noboru Endou

csspace2.abs csspace2.miz Hilbert Space of Complex Sequences by Noboru Endou

csspace3.abs csspace3.miz Banach Space of Absolute Summable Complex Sequences by Noboru Endou

csspace4.abs csspace4.miz Complex Banach Space of Bounded Complex Sequences by Noboru Endou

dblseq_1.abs dblseq_1.miz Double Sequences and Limits by Noboru Endou , Hiroyuki Okazaki and Yasunari Shidama

dblseq_2.abs dblseq_2.miz Double Series and Sums by Noboru Endou

dblseq_3.abs dblseq_3.miz Extended Real Valued Double Sequence and Its Convergence by Noboru Endou

decomp_1.abs decomp_1.miz On the Decomposition of the Continuity by Marian Przemski

descip_1.abs descip_1.miz Formalization of the Data Encryption Standard by Hiroyuki Okazaki and Yasunari Shidama

dickson.abs dickson.miz Dickson's lemma by Gilbert Lee and Piotr Rudnicki

diff_1.abs diff_1.miz Difference and Difference Quotient by Bo Li , Yan Zhang and Xiquan Liang

diff_2.abs diff_2.miz Difference and Difference Quotient -- Part {II} by Bo Li , Yanping Zhuang and Xiquan Liang

diff_3.abs diff_3.miz Difference and Difference Quotient -- Part {III} by Xiquan Liang and Ling Tang

diff_4.abs diff_4.miz Difference and Difference Quotient -- Part {IV} by Xiquan Liang , Ling Tang and Xichun Jiang

dilworth.abs dilworth.miz Dilworth's Decomposition Theorem for Posets by Piotr Rudnicki

diophan1.abs diophan1.miz Introduction to {D}iophantine Approximation by Yasushige Watase

diraf.abs diraf.miz Ordered Affine Spaces Defined in Terms of Directed Parallelity - part I by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

dirort.abs dirort.miz Oriented Metric-Affine Plane - Part II by Jaros{\l}aw Zajkowski

dist_1.abs dist_1.miz Probability on Finite and Discrete Set and Uniform Distribution by Hiroyuki Okazaki

dist_2.abs dist_2.miz Posterior Probability on Finite Set by Hiroyuki Okazaki

domain_1.abs domain_1.miz Domains and Their Cartesian Products by Andrzej Trybulec

dtconstr.abs dtconstr.miz On Defining Functions on Trees by Grzegorz Bancerek and Piotr Rudnicki

dualsp01.abs dualsp01.miz Dual Spaces and Hahn-Banach's Theorem by Keiko Narita , Noboru Endou and Yasunari Shidama

dualsp02.abs dualsp02.miz Bidual Spaces and Reflexivity of Real Normed Spaces by Keiko Narita , Noboru Endou and Yasunari Shidama

dualsp03.abs dualsp03.miz Weak Convergence and Weak* Convergence by Keiko Narita , Noboru Endou and Yasunari Shidama

dualsp04.abs dualsp04.miz The Orthogonal Projection and {R}iesz Representation Theorem by Keiko Narita , Noboru Endou and Yasunari Shidama

dynkin.abs dynkin.miz Dynkin's Lemma in Measure Theory by Franz Merkl

ec_pf_1.abs ec_pf_1.miz Set of Points on Elliptic Curve in Projective Coordinates by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

ec_pf_2.abs ec_pf_2.miz Operations of Points on Elliptic Curve in Projective Coordinates by Yuichi Futa , Hiroyuki Okazaki , Daichi Mizushima and Yasunari Shidama

endalg.abs endalg.miz On the Monoid of Endomorphisms of Universal Algebra \& Many Sorted Algebra by Jaros{\l}aw Gryko

ens_1.abs ens_1.miz Category Ens by Czes{\l}aw Byli\'nski

entropy1.abs entropy1.miz Definition and Some Properties of Information Entropy by Bo Zhang and Yatsuka Nakamura

enumset1.abs enumset1.miz Enumerated Sets by Andrzej Trybulec

eqrel_1.abs eqrel_1.miz Equivalence Relations and Classes of Abstraction by Konrad Raczkowski and Pawe{\l} Sadowski

equation.abs equation.miz Equations in Many Sorted Algebras by Artur Korni{\l}owicz

euclid.abs euclid.miz The Euclidean Space by Agata Darmochwa{\l}

euclid10.abs euclid10.miz Some Facts about Trigonometry and Euclidean Geometry by Roland Coghetto

euclid11.abs euclid11.miz Morley's Trisector Theorem by Roland Coghetto

euclidlp.abs euclidlp.miz Lines on Planes in $n$-Dimensional Euclidean Spaces by Akihiro Kubo

euclid_2.abs euclid_2.miz The Inner Product of Finite Sequences and of Points of $n$-dimensional Topological Space by Kanchun and Yatsuka Nakamura

euclid_3.abs euclid_3.miz Angle and Triangle in {E}uclidian Topological Space by Akihiro Kubo and Yatsuka Nakamura

euclid_4.abs euclid_4.miz Lines in $n$-Dimensional Euclidean Spaces by Akihiro Kubo

euclid_5.abs euclid_5.miz Cross Products and Tripple Vector Products in 3-dimensional Euclidian Space by Kanchun, Hiroshi Yamazaki and Yatsuka Nakamura

euclid_6.abs euclid_6.miz Heron's Formula and Ptolemy's Theorem by Marco Riccardi

euclid_7.abs euclid_7.miz The Real Vector Spaces of Finite Sequences Are Finite Dimensional by Yatsuka Nakamura , Artur Korni{\l}owicz , Nagato Oya and Yasunari Shidama

euclid_8.abs euclid_8.miz Vector Function and its Differentiation Formulas in 3-dimensional Euclidean Spaces by Xiquan Liang , Piqing Zhao and Ou Bai

euclid_9.abs euclid_9.miz The Correspondence Between $n$-dimensional {E}uclidean Space and the Product of $n$ Real Lines by Artur Korni{\l}owicz

euclmetr.abs euclmetr.miz Fundamental Types of Metric Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

euler_1.abs euler_1.miz Euler's Function by Yoshinori Fujisawa and Yasushi Fuwa

euler_2.abs euler_2.miz Euler's {T}heorem and Small {F}ermat's Theorem by Yoshinori Fujisawa , Yasushi Fuwa and Hidetaka Shimizu

eulrpart.abs eulrpart.miz {E}uler's {P}artition {T}heorem by Karol P\kak

exchsort.abs exchsort.miz Sorting by Exchanging by Grzegorz Bancerek

extens_1.abs extens_1.miz Extensions of Mappings on Generator Set by Artur Korni{\l}owicz

extpro_1.abs extpro_1.miz Externally Programmed Machines by Yatsuka Nakamura and Andrzej Trybulec

extreal1.abs extreal1.miz Basic Properties of Extended Real Numbers by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

e_siec.abs e_siec.miz Definitions of Petri Net - Part II by Waldemar Korczy\'nski

facirc_1.abs facirc_1.miz Full Adder Circuit. Part { I } by Grzegorz Bancerek and Yatsuka Nakamura

facirc_2.abs facirc_2.miz Full Adder Circuit. Part { II } by Grzegorz Bancerek , Shin'nosuke Yamaguchi and Katsumi Wasaki

fcont_1.abs fcont_1.miz Real Function Continuity by Konrad Raczkowski and Pawe{\l} Sadowski

fcont_2.abs fcont_2.miz Real Function Uniform Continuity by Jaros{\l}aw Kotowicz and Konrad Raczkowski

fcont_3.abs fcont_3.miz Monotonic and Continuous Real Function by Jaros{\l}aw Kotowicz

fdiff_1.abs fdiff_1.miz Real Function Differentiability by Konrad Raczkowski and Pawe{\l} Sadowski

fdiff_10.abs fdiff_10.miz Several Differentiation Formulas of Special Functions -- Part {V} by Bo Li and Pan Wang

fdiff_11.abs fdiff_11.miz Several Differentiation Formulas of Special Functions -- Part {VII} by Fuguo Ge and Bing Xie

fdiff_2.abs fdiff_2.miz Real Function Differentiability - Part II by Jaros{\l}aw Kotowicz and Konrad Raczkowski

fdiff_3.abs fdiff_3.miz Real Function One-Side Differantiability by Ewa Burakowska and Beata Madras

fdiff_4.abs fdiff_4.miz Several Differentiable Formulas of Special Functions by Yan Zhang and Xiquan Liang

fdiff_5.abs fdiff_5.miz Some Differentiable Formulas of Special Functions by Jianbing Cao , Fahui Zhai and Xiquan Liang

fdiff_6.abs fdiff_6.miz Several Differentiable Formulas of Special Functions -- Part {II} by Yan Zhang , Bo Li and Xiquan Liang

fdiff_7.abs fdiff_7.miz Several Differentiation Formulas of Special Functions -- Part {III} by Bo Li , Yan Zhang and Xiquan Liang

fdiff_8.abs fdiff_8.miz Several Differentiation Formulas of Special Functions -- Part {IV} by Bo Li and Peng Wang

fdiff_9.abs fdiff_9.miz Several Differentiation Formulas of Special Functions -- Part {V} by Peng Wang and Bo Li

ff_siec.abs ff_siec.miz Definitions of Petri Net - Part I by Waldemar Korczy\'nski

fib_fusc.abs fib_fusc.miz Two Programs for {\bf SCM}. Part II - Proofs by Grzegorz Bancerek and Piotr Rudnicki

fib_num.abs fib_num.miz Fibonacci Numbers by Robert M. Solovay

fib_num2.abs fib_num2.miz Some Properties of {F}ibonacci Numbers by Magdalena Jastrz\c{e}bska and Adam Grabowski

fib_num3.abs fib_num3.miz Lucas Numbers and Generalized {F}ibonacci Numbers by Piotr Wojtecki and Adam Grabowski

fib_num4.abs fib_num4.miz Representation of the {F}ibonacci and {L}ucas Numbers in Terms of the Floor and Ceiling Functor by Magdalena Jastrz\c{e}bska

filerec1.abs filerec1.miz A Theory of Sequential Files by Hirofumi Fukura and Yatsuka Nakamura

filter_0.abs filter_0.miz Filters - Part I. Implicative Lattices by Grzegorz Bancerek

filter_1.abs filter_1.miz Filters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices by Grzegorz Bancerek

filter_2.abs filter_2.miz Ideals by Grzegorz Bancerek

finance1.abs finance1.miz Elementary Introduction to Stochastic Finance in Discrete Time by Peter Jaeger

finance2.abs finance2.miz Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance by Peter Jaeger

finseqop.abs finseqop.miz Binary Operations Applied to Finite Sequences by Czes{\l}aw Byli\'nski

finseq_1.abs finseq_1.miz Segments of Natural Numbers and Finite Sequences by Grzegorz Bancerek and Krzysztof Hryniewiecki

finseq_2.abs finseq_2.miz Finite Sequences and Tuples of Elements of a Non-empty Sets by Czes{\l}aw Byli\'nski

finseq_3.abs finseq_3.miz Non-contiguous Substrings and One-to-one Finite Sequences by Wojciech A. Trybulec

finseq_4.abs finseq_4.miz Pigeon Hole Principle by Wojciech A. Trybulec

finseq_5.abs finseq_5.miz Some Properties of Restrictions of Finite Sequences by Czes\law Byli\'nski

finseq_6.abs finseq_6.miz On the Decomposition of Finite Sequences by Andrzej Trybulec

finseq_7.abs finseq_7.miz On Replace Function and Swap Function for Finite Sequences by Hiroshi Yamazaki , Yoshinori Fujisawa and Yatsuka Nakamura

finseq_8.abs finseq_8.miz Concatenation of Finite Sequences Reducing Overlapping Part and an Argument of Separators of Sequential Files by Hirofumi Fukura and Yatsuka Nakamura

finset_1.abs finset_1.miz Finite Sets by Agata Darmochwa\l

finsop_1.abs finsop_1.miz Binary Operations on Finite Sequences by Wojciech A. Trybulec

finsub_1.abs finsub_1.miz Boolean Domains by Andrzej Trybulec and Agata Darmochwa\l

fintopo2.abs fintopo2.miz Formal topological spaces by Gang Liu , Yasushi Fuwa and Masayoshi Eguchi

fintopo3.abs fintopo3.miz Some Set Series in Finite Topological Spaces. {F}undamental Concepts for Image Processing by Masami Tanaka and Yatsuka Nakamura

fintopo4.abs fintopo4.miz Continuous Mappings between Finite and One-Dimensional Finite Topological Spaces by Hiroshi Imura , Masami Tanaka and Yatsuka Nakamura

fintopo5.abs fintopo5.miz Homeomorphism between Finite Topological Spaces, Two-Dimensional Lattice Spaces and a Fixed Point Theorem by Masami Tanaka , Hiroshi Imura and Yatsuka Nakamura

fintopo6.abs fintopo6.miz Connectedness and Continuous Sequences in Finite Topological Spaces by Yatsuka Nakamura

fin_topo.abs fin_topo.miz Finite Topological Spaces. Finite Topology Concepts and Neighbourhoods by Hiroshi Imura and Masayoshi Eguchi

flang_1.abs flang_1.miz Formal Languages -- Concatenation and Closure by Micha{\l} Trybulec

flang_2.abs flang_2.miz Regular Expression Quantifiers -- $m$ to $n$ Occurrences by Micha{\l} Trybulec

flang_3.abs flang_3.miz Regular Expression Quantifiers -- at least $m$ Occurrences by Micha{\l} Trybulec

flexary1.abs flexary1.miz Flexary Operations by Karol P\kak

fomodel0.abs fomodel0.miz Preliminaries to Classical First-order Model Theory by Marco B. Caminati

fomodel1.abs fomodel1.miz Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms by Marco B. Caminati

fomodel2.abs fomodel2.miz First order languages: syntax, part two; semantics by Marco B. Caminati

fomodel3.abs fomodel3.miz Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages by Marco B. Caminati

fomodel4.abs fomodel4.miz Sequent calculus, derivability, provability. Goedel's completeness theorem by Marco B. Caminati

fraenkel.abs fraenkel.miz Function Domains and Fr{\ae}nkel Operator by Andrzej Trybulec

frechet.abs frechet.miz First-countable, Sequential, and { F } rechet Spaces by Bart{\l}omiej Skorulski

frechet2.abs frechet2.miz The Sequential Closure Operator In Sequential and Frechet Spaces by Bart{\l}omiej Skorulski

freealg.abs freealg.miz Free Universal Algebra Construction by Beata Perkowska

friends1.abs friends1.miz The Friendship Theorem by Karol P\kak

fscirc_1.abs fscirc_1.miz Full Subtracter Circuit. Part { I } by Katsumi Wasaki and Noboru Endou

fscirc_2.abs fscirc_2.miz Full Subtracter Circuit. Part {II} by Shin'nosuke Yamaguchi , Grzegorz Bancerek and Katsumi Wasaki

fsm_1.abs fsm_1.miz Minimization of finite state machines by Miroslava Kaloper and Piotr Rudnicki

fsm_2.abs fsm_2.miz On state machines of calculating type by Hisayoshi Kunimune , Grzegorz Bancerek and Yatsuka Nakamura

fsm_3.abs fsm_3.miz Equivalence of Epsilon, Nondeterministic [Finite] Automata and Deterministic [Finite] Automata by Micha{\l} Trybulec

ftacell1.abs ftacell1.miz Stability of the 4-2 Binary Addition Circuit Cells. Part {I} by Katsumi Wasaki

funcop_1.abs funcop_1.miz Binary Operations Applied to Functions by Andrzej Trybulec

funcsdom.abs funcsdom.miz Real Functions Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

functor0.abs functor0.miz Functors for Alternative Categories by Andrzej Trybulec

functor1.abs functor1.miz Basic Properties of Functor Structures by Claus Zinn and Wolfgang Jaksch

functor2.abs functor2.miz Category of Functors between Alternative Categories by Robert Nieszczerzewski

functor3.abs functor3.miz The Composition of Functors and Transformations in Alternative Categories by Artur Korni{\l}owicz

funct_1.abs funct_1.miz Functions and Their Basic Properties by Czes{\l}aw Byli\'nski

funct_2.abs funct_2.miz Functions from a Set to a Set by Czes{\l}aw Byli\'nski

funct_3.abs funct_3.miz Basic Functions and Operations on Functions by Czes{\l}aw Byli\'nski

funct_4.abs funct_4.miz The Modification of a Function by a Function and the Iteration of the Composition of a Function by Czes{\l}aw Byli\'nski

funct_5.abs funct_5.miz Curried and Uncurried Functions by Grzegorz Bancerek

funct_6.abs funct_6.miz Cartesian Product of Functions by Grzegorz Bancerek

funct_7.abs funct_7.miz Miscellaneous Facts about Functions by Grzegorz Bancerek and Andrzej Trybulec

funct_8.abs funct_8.miz Basic properties of even and odd functions by Bo Li and Yanhong Men

funct_9.abs funct_9.miz Basic Properties of Periodic Functions by Bo Li , Yanhong Men , Dailu Li and Xiquan Liang

fuznum_1.abs fuznum_1.miz The Formal Construction of Fuzzy Numbers by Adam Grabowski

fuzzy_1.abs fuzzy_1.miz Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation by Takashi Mitsuishi , Noboru Endou and Yasunari Shidama

fuzzy_2.abs fuzzy_2.miz Basic Properties of Fuzzy Set Operation and Membership Function by Takashi Mitsuishi , Katsumi Wasaki and Yasunari Shidama

fuzzy_4.abs fuzzy_4.miz Properties of Fuzzy Relation by Noboru Endou , Takashi Mitsuishi and Keiji Ohkubo

fvaluat1.abs fvaluat1.miz Valuation Theory, Part {I} by Grzegorz Bancerek , Hidetsune Kobayashi and Artur Korni{\l}owicz

fvsum_1.abs fvsum_1.miz Sum and Product of Finite Sequences of Elements of a Field by Katarzyna Zawadzka

gate_1.abs gate_1.miz Logic Gates and Logical Equivalence of Adders by Yatsuka Nakamura

gate_2.abs gate_2.miz Correctness of Binary Counter Circuits by Yuguang Yang , Wasaki Katsumi , Yasushi Fuwa and Yatsuka Nakamura

gate_3.abs gate_3.miz Correctness of Johnson Counter Circuits by Yuguang Yang , Wasaki Katsumi , Yasushi Fuwa and Yatsuka Nakamura

gate_4.abs gate_4.miz Correctness of a Cyclic Redundancy Check Code Generator by Yuguang Yang , Katsumi Wasaki , Yasushi Fuwa and Yatsuka Nakamura

gate_5.abs gate_5.miz Correctness of the High Speed Array Multiplier Circuits by Hiroshi Yamazaki and Katsumi Wasaki

gaussint.abs gaussint.miz Gaussian Integers by Yuichi Futa , Hiroyuki Okazaki , Daichi Mizushima and Yasunari Shidama

gcd_1.abs gcd_1.miz The correctness of the Generic Algorithms of Brown and Henrici concerning Addition and Multiplication in Fraction Fields by Christoph Schwarzweller

genealg1.abs genealg1.miz Basic Properties of Genetic Algorithm by Akihiko Uchibori and Noboru Endou

geomtrap.abs geomtrap.miz A Construction of Analytical Ordered Trapezium Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

gfacirc1.abs gfacirc1.miz Generalized Full Adder Circuits (GFAs). {P}art {I} by Shin'nosuke Yamaguchi , Katsumi Wasaki and Nobuhiro Shimoi

gfacirc2.abs gfacirc2.miz Stability of n-bit Generalized Full Adder Circuits (GFAs). Part {II} by Katsumi Wasaki

glib_000.abs glib_000.miz Alternative Graph Structures by Gilbert Lee and Piotr Rudnicki

glib_001.abs glib_001.miz Walks in a Graph by Gilbert Lee

glib_002.abs glib_002.miz Trees: Connected, Acyclic Graphs by Gilbert Lee

glib_003.abs glib_003.miz Weighted and Labeled Graphs by Gilbert Lee

glib_004.abs glib_004.miz Proof of Dijkstra's Shortest Path Algorithm & Prim's Minimum Spanning Tree Algorithm by Gilbert Lee and Piotr Rudnicki

glib_005.abs glib_005.miz Proof of Ford/Fulkerson's Maximum Network Flow Algorithm by Gilbert Lee

goboard1.abs goboard1.miz Introduction to Go-Board - Part I. Basic Notations by Jaros{\l}aw Kotowicz and Yatsuka Nakamura

goboard2.abs goboard2.miz Introduction to Go-Board - Part II. Go-Board Determined by Finite Sequence of point from ${\calE}^2_{\rm T}$ by Jaros{\l}aw Kotowicz and Yatsuka Nakamura

goboard3.abs goboard3.miz Properties of Go-Board - Part III by Jaros{\l}aw Kotowicz and Yatsuka Nakamura

goboard4.abs goboard4.miz Go-Board Theorem by Jaros{\l}aw Kotowicz and Yatsuka Nakamura

goboard5.abs goboard5.miz Decomposing a Go Board into Cells by Yatsuka Nakamura and Andrzej Trybulec

goboard6.abs goboard6.miz On the Geometry of a Go-board by Andrzej Trybulec

goboard7.abs goboard7.miz On the Go Board of a Standard Special Circular Sequence by Andrzej Trybulec

goboard8.abs goboard8.miz More on Segments on a Go Board by Andrzej Trybulec

goboard9.abs goboard9.miz Left and Right Component of the Complement of a Special Closed Curve by Andrzej Trybulec

gobrd10.abs gobrd10.miz Adjacency Concept for Pairs of Natural Numbers by Yatsuka Nakamura and Andrzej Trybulec

gobrd11.abs gobrd11.miz Some Topological Properties of Cells in $R^2$ by Yatsuka Nakamura and Andrzej Trybulec

gobrd12.abs gobrd12.miz The First Part of Jordan's Theorem for Special Polygons by Yatsuka Nakamura and Andrzej Trybulec

gobrd13.abs gobrd13.miz Some Properties of Cells on Go Board by Czes{\l}aw Byli\'nski

gobrd14.abs gobrd14.miz Properties of Left-, and Right Components by Artur Korni{\l}owicz

goedcpuc.abs goedcpuc.miz The G\"odel Completeness Theorem for Uncountable Languages by Julian J. Schl\"oder and Peter Koepke

goedelcp.abs goedelcp.miz G{\"o}del's Completeness Theorem by Patrick Braselmann and Peter Koepke

graphsp.abs graphsp.miz Dijkstra's Shortest Path Algorithm by Jing-Chao Chen

graph_1.abs graph_1.miz Graphs by Krzysztof Hryniewiecki

graph_2.abs graph_2.miz Vertex sequences induced by chains by Yatsuka Nakamura and Piotr Rudnicki

graph_3.abs graph_3.miz Euler circuits and paths by Yatsuka Nakamura and Piotr Rudnicki

graph_3a.abs graph_3a.miz A Note on the Seven Bridges of K\"onigsberg Problem by Adam Naumowicz

graph_4.abs graph_4.miz Oriented Simple Chains Included in Oriented Chains by Yatsuka Nakamura and Piotr Rudnicki

graph_5.abs graph_5.miz The Underlying Principle of {D}ijkstra's Shortest Path Algorithm by Jingchao Chen and Yatsuka Nakamura

grcat_1.abs grcat_1.miz Categories of Groups by Michal Muzalewski

grfunc_1.abs grfunc_1.miz Graphs of Functions by Czes{\l}aw Byli\'nski

grnilp_1.abs grnilp_1.miz Nilpotent Groups by Dailu Li , Xiquan Liang and Yanhong Men

groeb_1.abs groeb_1.miz Characterization and Existence of {G}r\"obner Bases by Christoph Schwarzweller

groeb_2.abs groeb_2.miz Construction of {G}r\"obner bases. S-Polynomials and Standard Representations by Christoph Schwarzweller

groeb_3.abs groeb_3.miz Construction of {G}r\"obner Bases: Avoiding S-Polynomials -- Buchberger's First Criterium by Christoph Schwarzweller

groupp_1.abs groupp_1.miz Some Properties of $p$-Groups and Commutative $p$-Groups by Xiquan Liang and Dailu Li

group_1.abs group_1.miz Groups by Wojciech A. Trybulec

group_10.abs group_10.miz The Sylow Theorems by Marco Riccardi

group_11.abs group_11.miz On Rough Subgroup of a Group by Xiquan Liang and Dailu Li

group_12.abs group_12.miz Normal Subgroup of Product of Groups by Hiroyuki Okazaki , Kenichi Arai and Yasunari Shidama

group_14.abs group_14.miz Isomorphisms of Direct Products of Finite Cyclic Groups by Kenichi Arai , Hiroyuki Okazaki and Yasunari Shidama

group_17.abs group_17.miz Isomorphisms of Direct Products of Finite Commutative Groups by Hiroyuki Okazaki , Hiroshi Yamazaki and Yasunari Shidama

group_18.abs group_18.miz Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order by Hiroshi Yamazaki , Hiroyuki Okazaki , Kazuhisa Nakasho and Yasunari Shidama

group_19.abs group_19.miz Definition and Properties of Direct Sum Decomposition of Groups by Kazuhisa Nakasho , Hiroshi Yamazaki , Hiroyuki Okazaki and Yasunari Shidama

group_1a.abs group_1a.miz Groups -- Additive Notation by Roland Coghetto

group_2.abs group_2.miz Subgroup and Cosets of Subgroups. Lagrange theorem by Wojciech A. Trybulec

group_20.abs group_20.miz Equivalent Expressions of Direct Sum Decomposition of Groups by Kazuhisa Nakasho , Hiroyuki Okazaki , Hiroshi Yamazaki and Yasunari Shidama

group_3.abs group_3.miz Classes of Conjugation. Normal Subgroups by Wojciech A. Trybulec

group_4.abs group_4.miz Lattice of Subgroups of a Group. Frattini Subgroup by Wojciech A. Trybulec

group_5.abs group_5.miz Commutator and Center of a Group by Wojciech A. Trybulec

group_6.abs group_6.miz Homomorphisms and Isomorphisms of Groups. Quotient Group by Wojciech A. Trybulec and Micha{\l} J. Trybulec

group_7.abs group_7.miz The Product of the Families of the Groups by Artur Korni{\l}owicz

group_8.abs group_8.miz Properties of Groups by Gijs Geleijnse and Grzegorz Bancerek

group_9.abs group_9.miz The {J}ordan-H\"older Theorem by Marco Riccardi

grsolv_1.abs grsolv_1.miz Solvable Groups by Katarzyna Zawadzka

grzlog_1.abs grzlog_1.miz Grzegorczyk's Logics, Part 1 by Taneli Huuskonen

gr_cy_1.abs gr_cy_1.miz Cyclic Groups and Some of Their Properties - Part I by Dariusz Surowik

gr_cy_2.abs gr_cy_2.miz Isomorphisms of Cyclic Groups. Some Properties of Cyclic Groups by Dariusz Surowik

gr_cy_3.abs gr_cy_3.miz Properties of Primes and Multiplicative Group of a Field by Kenichi Arai and Hiroyuki Okazaki

gtarski1.abs gtarski1.miz Tarski Geometry Axioms by William Richter , Adam Grabowski and Jesse Alama

hahnban.abs hahnban.miz Hahn Banach Theorem by Bogdan Nowak and Andrzej Trybulec

hahnban1.abs hahnban1.miz Hahn Banach Theorem in the Vector Space over the Field of Complex Numbers by Anna Justyna Milewska

hallmar1.abs hallmar1.miz The {H}all {M}arriage {T}heorem by Ewa Romanowicz and Adam Grabowski

hausdorf.abs hausdorf.miz On the {H}ausdorff Distance Between Compact Subsets by Adam Grabowski

heine.abs heine.miz Heine--Borel's Covering Theorem by Agata Darmochwa{\l} and Yatsuka Nakamura

helly.abs helly.miz Helly property for subtrees by Jessica Enright and Piotr Rudnicki

henmodel.abs henmodel.miz Equivalences of Inconsistency and {H}enkin Models by Patrick Braselmann and Peter Koepke

hermitan.abs hermitan.miz Hermitan Functionals. {C}anonical Construction of Scalar Product in Quotient Vector Space by Jaros{\l}aw Kotowicz

hessenbe.abs hessenbe.miz Hessenberg Theorem by Eugeniusz Kusak and Wojciech Leo\'nczuk

heyting1.abs heyting1.miz Algebra of Normal Forms Is a Heyting Algebra by Andrzej Trybulec

heyting2.abs heyting2.miz Lattice of Substitutions Is a Heyting Algebra by Adam Grabowski

heyting3.abs heyting3.miz The Incompleteness of the Lattice of Substitutions by Adam Grabowski

hfdiff_1.abs hfdiff_1.miz Several Higher Differentiation Formulas of Special Functions by Junjie Zhao , Xiquan Liang and Li Yan

hidden.abs hidden.miz Built-in Concepts by Andrzej Trybulec

hilbasis.abs hilbasis.miz Hilbert Basis Theorem by Jonathan Backer and Piotr Rudnicki

hilbert1.abs hilbert1.miz Hilbert Positive Propositional Calculus by Adam Grabowski

hilbert2.abs hilbert2.miz Defining by structural induction in the positive propositional language by Andrzej Trybulec

hilbert3.abs hilbert3.miz The canonical formulae by Andrzej Trybulec

hilbert4.abs hilbert4.miz Pseudo-canonical Formulae are Classical by Marco B. Caminati and Artur Korni{\l}owicz

holder_1.abs holder_1.miz H\"older's Inequality and {M}inkowski's Inequality by Yasumasa Suzuki

homothet.abs homothet.miz Homotheties and Shears in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

huffman1.abs huffman1.miz Constructing Binary {H}uffman Tree by Hiroyuki Okazaki , Yuichi Futa and Yasunari Shidama

hurwitz.abs hurwitz.miz Schur's Theorem on the Stability of Networks by Agnieszka Rowi\'nska-Schwarzweller and Christoph Schwarzweller

hurwitz2.abs hurwitz2.miz A Test for the Stability of Networks by Agnieszka Rowi\'nska-Schwarzweller and Christoph Schwarzweller

ideal_1.abs ideal_1.miz Ring Ideals by Jonathan Backer , Piotr Rudnicki and Christoph Schwarzweller

idea_1.abs idea_1.miz Algebraic group on Fixed-length bit integer and its adaptation to {IDEA} Cryptography by Yasushi Fuwa and Yoshinori Fujisawa

incproj.abs incproj.miz Incidence Projective Spaces by Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski

incsp_1.abs incsp_1.miz Axioms of Incidence by Wojciech A. Trybulec

index_1.abs index_1.miz Indexed Category by Grzegorz Bancerek

instalg1.abs instalg1.miz Institution of Many-sorted Algebras, Part { I } : Signature Reduct of an Algebra by Grzegorz Bancerek

integr10.abs integr10.miz Extended {R}iemann Integral of Functions of Real Variable and One-sided {L}aplace Transform by Masahiko Yamazaki , Hiroshi Yamazaki , Yasunari Shidama and Yatsuka Nakamur

integr11.abs integr11.miz Several Integrability Formulas of Special Functions -- Part {II} by Bo Li , Yanping Zhuang , Yanhong Men and Xiquan Liang

integr12.abs integr12.miz Integrability Formulas -- Part {I} by Bo Li and Na Ma

integr13.abs integr13.miz Integrability Formulas -- Part {II} by Bo Li , Na Ma and Xiquan Liang

integr14.abs integr14.miz Integrability Formulas -- Part {III} by Bo Li and Na Ma

integr15.abs integr15.miz Riemann Integral of Functions $\mathbbbR$ into $\mathbbbR^n$ by Keiichi Miyajima and Yasunari Shidama

integr16.abs integr16.miz Riemann Integral of Functions $\mathbbbR$ into $\mathbbbC$ by Keiichi Miyajima , Takahiro Kato and Yasunari Shidama

integr18.abs integr18.miz Riemann Integral of Functions from $\mathbbbR$ into Real Normed Space by Keiichi Miyajima , Takahiro Kato and Yasunari Shidama

integr19.abs integr19.miz Riemann Integral of Functions from $\mathbbbR$ into $n$-dimensional Real Normed Space by Keiichi Miyajima , Artur Korni{\l}owicz and Yasunari Shidama

integr1c.abs integr1c.miz Complex Integral by Masahiko Yamazaki , Hiroshi Yamazaki , Katsumi Wasaki and Yasunari Shidama

integr20.abs integr20.miz Riemann Integral of Functions from $\mathbbbR$ into Real {B}anach Space by Keiko Narita , Noboru Endou and Yasunari Shidama

integr21.abs integr21.miz The Linearity of Riemann Integral on Functions from $\mathbbbR$ into Real {B}anach Space by Keiko Narita , Noboru Endou and Yasunari Shidama

integra1.abs integra1.miz The Definition of Riemann Definite Integral and some Related Lemmas by Noboru Endou and Artur Korni{\l}owicz

integra2.abs integra2.miz Scalar Multiple of Riemann Definite Integral by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

integra3.abs integra3.miz Darboux's Theorem by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

integra4.abs integra4.miz Integrability of Bounded Total Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

integra5.abs integra5.miz Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

integra6.abs integra6.miz Integrability and the Integral of Partial Functions from $\Bbb R$ into $\Bbb R$ by Noboru Endou , Yasunari Shidama and Masahiko Yamazaki

integra7.abs integra7.miz Riemann Indefinite Integral of Functions of Real Variable by Yasunari Shidama , Noboru Endou , Katsumi Wasaki and Katuhiko Kanazashi

integra8.abs integra8.miz Several Integrability Formulas of Special Functions by Cuiying Peng , Fuguo Ge and Xiquan Liang

integra9.abs integra9.miz Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions by Bo Li , Yanping Zhuang , Bing Xie and Pan Wang

interva1.abs interva1.miz On the Lattice of Intervals and Rough Sets by Adam Grabowski and Magdalena Jastrz\c{e}bska

intpro_1.abs intpro_1.miz Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator, Part I by Takao Inou\'e

int_1.abs int_1.miz Integers by Micha{\l} J. Trybulec

int_2.abs int_2.miz The Divisibility of Integers and Integer Relatively Primes by Rafa{\l} Kwiatek and Grzegorz Zwara

int_3.abs int_3.miz The Ring of Integers, Euclidean Rings and Modulo Integers by Christoph Schwarzweller

int_4.abs int_4.miz Linear Congruence Relation and Complete Residue Systems by Xiquan Liang , Li Yan and Junjie Zhao

int_5.abs int_5.miz Gauss Lemma and Law of Quadratic Reciprocity by Li Yan , Xiquan Liang and Junjie Zhao

int_6.abs int_6.miz Modular Integer Arithmetic by Christoph Schwarzweller

int_7.abs int_7.miz Uniqueness of factoring an integer and multiplicative group $Z/pZ^{*}$ by Hiroyuki Okazaki and Yasunari Shidama

int_8.abs int_8.miz Basic Properties of Primitive Root and Order Function by Na Ma and Xiquan Liang

irrat_1.abs irrat_1.miz Irrationality of e by Freek Wiedijk

isocat_1.abs isocat_1.miz Isomorphisms of Categories by Andrzej Trybulec

isocat_2.abs isocat_2.miz Some Isomorphisms Between Functor Categories by Andrzej Trybulec

isomichi.abs isomichi.miz The Properties of Supercondensed Sets, Subcondensed Sets and Condensed Sets by Magdalena Jastrz\c{e}bska and Adam Grabowski

jct_misc.abs jct_misc.miz Miscellaneous { I } by Andrzej Trybulec

jgraph_1.abs jgraph_1.miz Graph Theoretical Properties of Arcs in the Plane and Fashoda Meet Theorem by Yatsuka Nakamura

jgraph_2.abs jgraph_2.miz On Outside Fashoda Meet Theorem by Yatsuka Nakamura

jgraph_3.abs jgraph_3.miz On the Simple Closed Curve Property of the Circle and the Fashoda Meet Theorem for It by Yatsuka Nakamura

jgraph_4.abs jgraph_4.miz Fan Homeomorphisms in the Plane by Yatsuka Nakamura

jgraph_5.abs jgraph_5.miz General {F}ashoda {M}eet {T}heorem for Unit Circle by Yatsuka Nakamura

jgraph_6.abs jgraph_6.miz General {F}ashoda Meet Theorem for Unit Circle and Square by Yatsuka Nakamura

jgraph_7.abs jgraph_7.miz Fashoda Meet Theorem for Rectangles by Yatsuka Nakamura and Andrzej Trybulec

jgraph_8.abs jgraph_8.miz The {F}ashoda Meet Theorem for Continuous Mappings by Yatsuka Nakamura , Andrzej Trybulec and Artur Korni{\l}owicz

jordan.abs jordan.miz Jordan Curve Theorem by Artur Korni{\l}owicz

jordan1.abs jordan1.miz The Jordan's Property for Certain Subsets of the Plane by Yatsuka Nakamura and Jaros{\l}aw Kotowicz

jordan10.abs jordan10.miz Properties of the External Approximation of Jordan's Curve by Artur Korni{\l}owicz

jordan11.abs jordan11.miz Preparing the Internal Approximations of Simple Closed Curves by Andrzej Trybulec

jordan12.abs jordan12.miz On the General Position of Special Polygons by Mariusz Giero

jordan13.abs jordan13.miz Introducing Spans by Andrzej Trybulec

jordan14.abs jordan14.miz Properties of the Internal Approximation of {J}ordan's Curve by Robert Milewski

jordan15.abs jordan15.miz Properties of the Upper and Lower Sequence on the Cage by Robert Milewski

jordan16.abs jordan16.miz On the Decomposition of a Simple Closed Curve into Two Arcs by Andrzej Trybulec and Yatsuka Nakamura

jordan17.abs jordan17.miz The Ordering of Points on a Curve, Part {III} by Artur Korni{\l}owicz

jordan18.abs jordan18.miz The Ordering of Points on a Curve, Part {IV} by Artur Korni{\l}owicz

jordan19.abs jordan19.miz On the Upper and Lower Approximations of the Curve by Robert Milewski

jordan1a.abs jordan1a.miz Gauges and Cages by Artur Korni{\l}owicz, Robert Milewski, Adam Naumowicz and Andrzej Trybulec

jordan1b.abs jordan1b.miz Some Properties of Cells and Arcs by Robert Milewski , Andrzej Trybulec , Artur Korni{\l}owicz and Adam Naumowicz

jordan1c.abs jordan1c.miz Some Properties of Cells and Gauges by Adam Grabowski , Artur Korni{\l}owicz and Andrzej Trybulec

jordan1d.abs jordan1d.miz Gauges and Cages. { P } art { II } by Artur Korni{\l}owicz and Robert Milewski

jordan1e.abs jordan1e.miz Upper and Lower Sequence of a Cage by Robert Milewski

jordan1f.abs jordan1f.miz Some Remarks on Finite Sequences on Go-boards by Adam Naumowicz

jordan1g.abs jordan1g.miz Upper and Lower Sequence on the Cage. Part II by Robert Milewski

jordan1h.abs jordan1h.miz More on External Approximation of a Continuum by Andrzej Trybulec

jordan1i.abs jordan1i.miz Some Remarks on Clockwise Oriented Sequences on Go-boards by Adam Naumowicz and Robert Milewski

jordan1j.abs jordan1j.miz Upper and Lower Sequence on the Cage, Upper and Lower Arcs by Robert Milewski

jordan1k.abs jordan1k.miz On the Minimal Distance Between Set in {E}uclidean Space by Andrzej Trybulec

jordan20.abs jordan20.miz Behaviour of an Arc Crossing a Line by Yatsuka Nakamura

jordan21.abs jordan21.miz On Some Points of a Simple Closed Curve by Artur Korni{\l}owicz

jordan22.abs jordan22.miz On Some Points of a Simple Closed Curve. {P}art {II} by Artur Korni{\l}owicz and Adam Grabowski

jordan23.abs jordan23.miz Subsequences of Almost, Weakly and Poorly One-to-one Finite Sequences by Robert Milewski

jordan24.abs jordan24.miz Homeomorphisms of {J}ordan Curves by Adam Naumowicz and Grzegorz Bancerek

jordan2b.abs jordan2b.miz Projections in n-Dimensional Euclidean Space to Each Coordinates by Roman Matuszewski and Yatsuka Nakamura

jordan2c.abs jordan2c.miz Bounded Domains and Unbounded Domains by Yatsuka Nakamura , Andrzej Trybulec and Czeslaw Bylinski

jordan3.abs jordan3.miz Reconstructions of Special Sequences by Yatsuka Nakamura and Roman Matuszewski

jordan4.abs jordan4.miz Subsequences of Standard Special Circular Sequences in $ { \cal E } ^2_ { \rm T } $ by Yatsuka Nakamura , Roman Matuszewski and Adam Grabowski

jordan5a.abs jordan5a.miz Some Properties of Real Maps by Adam Grabowski and Yatsuka Nakamura

jordan5b.abs jordan5b.miz The Ordering of Points on a Curve, Part { I } by Adam Grabowski and Yatsuka Nakamura

jordan5c.abs jordan5c.miz The Ordering of Points on a Curve, Part { II } by Adam Grabowski and Yatsuka Nakamura

jordan5d.abs jordan5d.miz Bounding Boxes for Special Sequences in ${\calE}^2$ by Yatsuka Nakamura and Adam Grabowski

jordan6.abs jordan6.miz A Decomposition of Simple Closed Curves and an Order of Their Points by Yatsuka Nakamura and Andrzej Trybulec

jordan7.abs jordan7.miz On a Dividing Function of the Simple Closed Curve into Segments by Yatsuka Nakamura

jordan8.abs jordan8.miz Gauges by Czes\law Byli\'nski

jordan9.abs jordan9.miz Cages, external approximation of Jordan's curve by Czes{\l}aw Byli\'nski and Mariusz \.Zynel

jordan_a.abs jordan_a.miz On the Segmentation of a Simple Closed Curve by Andrzej Trybulec

knaster.abs knaster.miz Fix-points in complete lattices by Piotr Rudnicki and Andrzej Trybulec

kolmog01.abs kolmog01.miz Kolmogorov's Zero-one Law by Agnes Doll

kurato_0.abs kurato_0.miz On the {K}uratowski Limit Operators I by Adam Grabowski

kurato_1.abs kurato_1.miz On the {K}uratowski Closure-Complement Problem by Lilla Krystyna Bagi\'nska and Adam Grabowski

kurato_2.abs kurato_2.miz On the {K}uratowski Limit Operators by Adam Grabowski

lagra4sq.abs lagra4sq.miz Lagrange's Four-Square Theorem by Yasushige Watase

lang1.abs lang1.miz Context-Free Grammar - Part 1 by Patricia L. Carlson and Grzegorz Bancerek

laplace.abs laplace.miz Laplace Expansion by Karol P\c{a}k and Andrzej Trybulec

latsubgr.abs latsubgr.miz On the Lattice of Subgroups of a Group by Janusz Ganczarski

latsum_1.abs latsum_1.miz The Operation of Addition of Relational Structures by Katarzyna Romanowicz and Adam Grabowski

lattad_1.abs lattad_1.miz Formalization of Generalized Almost Distributive Lattices by Adam Grabowski

lattice2.abs lattice2.miz Finite Join and Finite Meet, and Dual Lattices by Andrzej Trybulec

lattice3.abs lattice3.miz Complete Lattices by Grzegorz Bancerek

lattice4.abs lattice4.miz Homomorphisms of Lattices \\ Finite Join and Finite Meet by Jolanta Kamie\'nska and Jaros\l aw Stanis\l aw Walijewski

lattice5.abs lattice5.miz J\'onsson Theorem by Jaros{\l}aw Gryko

lattice6.abs lattice6.miz Noetherian Lattices by Christoph Schwarzweller

lattice7.abs lattice7.miz Representation Theorem For Finite Distributive Lattices by Marek Dudzicz

lattice8.abs lattice8.miz J\'onsson Theorem about Representation of Modular Lattices by Mariusz {\L}api\'nski

latticea.abs latticea.miz Prime Filters and Ideals in Distributive Lattices by Adam Grabowski

lattices.abs lattices.miz Introduction to Lattice Theory by Stanis{\l}aw \.Zukowski

lexbfs.abs lexbfs.miz Recognizing Chordal Graphs: Lex BFS and MCS by Broderick Arneson and Piotr Rudnicki

lfuzzy_0.abs lfuzzy_0.miz Lattice of Fuzzy Sets by Takashi Mitsuishi and Grzegorz Bancerek

lfuzzy_1.abs lfuzzy_1.miz Transitive Closure of Fuzzy Relations by Takashi Mitsuishi and Grzegorz Bancerek

limfunc1.abs limfunc1.miz The Limit of a Real Function at Infinity. Halflines. Real Sequence Divergent to Infinity by Jaros{\l}aw Kotowicz

limfunc2.abs limfunc2.miz One-Side Limits of a Real Function at a Point by Jaros{\l}aw Kotowicz

limfunc3.abs limfunc3.miz The Limit of a Real Function at a Point by Jaros{\l}aw Kotowicz

limfunc4.abs limfunc4.miz The Limit of a Composition of Real Functions by Jaros{\l}aw Kotowicz

lmod_6.abs lmod_6.miz Submodules by Micha{\l} Muzalewski

lmod_7.abs lmod_7.miz Domains of Submodules, Join and Meet of Finite Sequences of Submodules and Quotient Modules by Micha{\l} Muzalewski

lopban_1.abs lopban_1.miz Banach Space of Bounded Linear Operators by Yasunari Shidama

lopban_2.abs lopban_2.miz The {B}anach Algebra of Bounded Linear Operators by Yasunari Shidama

lopban_3.abs lopban_3.miz The Series on {B}anach Algebra by Yasunari Shidama

lopban_4.abs lopban_4.miz The Exponential Function on {B}anach Algebra by Yasunari Shidama

lopban_5.abs lopban_5.miz Uniform Boundedness Principle by Hideki Sakurai , Hisayoshi Kunimune and Yasunari Shidama

lopban_6.abs lopban_6.miz Open Mapping Theorem by Hideki Sakurai , Hisayoshi Kunimune and Yasunari Shidama

lopban_7.abs lopban_7.miz Banach's Continuous Inverse Theorem and Closed Graph Theorem by Hideki Sakurai , Hiroyuki Okazaki and Yasunari Shidama

lopclset.abs lopclset.miz Representation Theorem for Boolean Algebras by Jaros{\l}aw Stanis{\l}aw Walijewski

lpspacc1.abs lpspacc1.miz On $L^1$ Space Formed by Complex-valued Partial Functions by Yasushige Watase , Noboru Endou and Yasunari Shidama

lpspace1.abs lpspace1.miz On $L^1$ Space Formed by Real-valued Partial Functions by Yasushige Watase , Noboru Endou and Yasunari Shidama

lpspace2.abs lpspace2.miz On $L^p$ Space Formed by Real-valued Partial Functions by Yasushige Watase , Noboru Endou and Yasunari Shidama

lp_space.abs lp_space.miz The Banach Space $l^p$ by Yasumasa Suzuki

ltlaxio1.abs ltlaxio1.miz The Axiomatization of Propositional Linear Time Temporal Logic by Mariusz Giero

ltlaxio2.abs ltlaxio2.miz The Derivations of Temporal Logic Formulas by Mariusz Giero

ltlaxio3.abs ltlaxio3.miz The Properties of Sets of Temporal Logic Subformulas by Mariusz Giero

ltlaxio4.abs ltlaxio4.miz Weak Completeness Theorem for Propositional Linear Time Temporal Logic by Mariusz Giero

lukasi_1.abs lukasi_1.miz Propositional Calculus by Grzegorz Bancerek, Agata Darmochwa\l and Andrzej Trybulec

l_hospit.abs l_hospit.miz The de l'Hospital Theorem by Ma{\l}gorzata Korolkiewicz

margrel1.abs margrel1.miz Many-Argument Relations by Edmund Woronowicz

mathmorp.abs mathmorp.miz Preliminaries to Mathematical Morphology and Its Properties by Yuzhong Ding and Xiquan Liang

matrix10.abs matrix10.miz Some Special Matrices of Real Elements and Their Properties by Xiquan Liang , Fuguo Ge and Xiaopeng Yue

matrix11.abs matrix11.miz Basic Properties of Determinants of Square Matrices over a Field by Karol P\c{a}k

matrix12.abs matrix12.miz Some Properties of Line and Column Operations on Matrices by Xiquan Liang , Tao Sun and Dahai Hu

matrix13.abs matrix13.miz Basic Properties of the Rank of Matrices over a Field by Karol P\c{a}k

matrix14.abs matrix14.miz Invertibility of Matrices of Field Elements by Yatsuka Nakamura , Kunio Oniumi and Wenpai Chang

matrix15.abs matrix15.miz Solutions of Linear Equations by Karol P\c{a}k

matrix16.abs matrix16.miz Basic Properties of Circulant Matrices and Anti-circular Matrices by Xiaopeng Yue and Xiquan Liang

matrix17.abs matrix17.miz Some Basic Properties of Some Special Matrices, Part {III} by Xiquan Liang and Tao Wang

matrixc1.abs matrixc1.miz The Inner Product and Conjugate of Matrix of Complex Numbers by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura

matrixj1.abs matrixj1.miz Block Diagonal Matrices by Karol P\c{a}k

matrixj2.abs matrixj2.miz Jordan Matrix Decomposition by Karol P\c{a}k

matrixr1.abs matrixr1.miz A Theory of Matrices of Real Elements by Yatsuka Nakamura , Nobuyuki Tamura and Wenpai Chang

matrixr2.abs matrixr2.miz Determinant and Inverse of Matrices of Real Elements by Nobuyuki Tamura and Yatsuka Nakamura

matrix_0.abs matrix_0.miz Matrices. by Katarzyna Jankowska

matrix_1.abs matrix_1.miz Abelian Group of Matrices by Katarzyna Jankowska

matrix_3.abs matrix_3.miz The Product of Matrices of Elements of a Field and Determinants by Katarzyna Zawadzka

matrix_4.abs matrix_4.miz Calculation of Matrices of Field Elements. Part {I} by Yatsuka Nakamura and Hiroshi Yamazaki

matrix_5.abs matrix_5.miz A Theory of Matrices of Complex Elements by Wenpai Chang , Hiroshi Yamazaki and Yatsuka Nakamura

matrix_6.abs matrix_6.miz Some Properties Of Some Special Matrices by Xiaopeng Yue , Xiquan Liang and Zhongpin Sun

matrix_7.abs matrix_7.miz Determinant of Some Matrices of Field Elements by Yatsuka Nakamura

matrix_8.abs matrix_8.miz Some Properties Of Some Special Matrices, Part {II} by Xiaopeng Yue , Dahai Hu , Xiquan Liang and Zhongpin Sun

matrix_9.abs matrix_9.miz On the Permanent of a Matrix by Ewa Romanowicz and Adam Grabowski

matrlin.abs matrlin.miz Associated Matrix of Linear Map by Robert Milewski

matrlin2.abs matrlin2.miz Linear Map of Matrices by Karol P\c{a}k

matroid0.abs matroid0.miz Introduction to Matroids by Grzegorz Bancerek and Yasunari Shidama

matrprob.abs matrprob.miz The Definition of Finite Sequences and Matrices of Probability, and Addition of Matrices of Real Elements by Bo Zhang and Yatsuka Nakamura

matrtop1.abs matrtop1.miz Linear Transformations of Euclidean Topological Spaces by Karol P\kak

matrtop2.abs matrtop2.miz Linear Transformations of Euclidean Topological Spaces. Part {II} by Karol P\kak

matrtop3.abs matrtop3.miz The Rotation Group by Karol P\kak

mazurulm.abs mazurulm.miz Mazur-Ulam Theorem by Artur Korni{\l}owicz

mboolean.abs mboolean.miz Definitions and Basic Properties of Boolean & Union of Many Sorted Sets by Artur Korni{\l}owicz

mcart_1.abs mcart_1.miz Tuples, Projections and Cartesian Products by Andrzej Trybulec

measure1.abs measure1.miz The $\sigma$-additive Measure Theory by J\'ozef Bia{\l}as

measure2.abs measure2.miz Several Properties of the $\sigma$-additive Measure by J\'ozef Bia{\l}as

measure3.abs measure3.miz Completeness of the $\sigma$-Additive Measure. Measure Theory by J\'ozef Bia{\l}as

measure4.abs measure4.miz Properties of Caratheodory's Measure by J\'ozef Bia{\l}as

measure5.abs measure5.miz Properties of the Intervals of Real Numbers by J\'ozef Bia{\l}as

measure6.abs measure6.miz Some Properties of the Intervals by J\'ozef Bia\las

measure7.abs measure7.miz The One-Dimensional Lebesgue Measure As an Example of a Formalization in the Mizar Language of the Classical Definition of a Mathematical Object by J\'ozef Bia{\l}as

measure8.abs measure8.miz The Hopf Extension Theorem of Measure by Noboru Endou , Hiroyuki Okazaki and Yasunari Shidama

membered.abs membered.miz On the Sets Inhabited by Numbers by Andrzej Trybulec

member_1.abs member_1.miz Collective Operations on Number-Membered Sets by Artur Korni{\l}owicz

memstr_0.abs memstr_0.miz Memory Structures by Andrzej Trybulec

menelaus.abs menelaus.miz Routh's, {M}enelaus' and Generalized {C}eva's Theorems by Boris A. Shminke

mesfun10.abs mesfun10.miz Fatou's Lemma and the {L}ebesgue's Convergence Theorem by Noboru Endou , Keiko Narita and Yasunari Shidama

mesfun6c.abs mesfun6c.miz Integral of Complex-Valued Measurable Function by Keiko Narita , Noboru Endou and Yasunari Shidama

mesfun7c.abs mesfun7c.miz The Measurability of Complex-Valued Functional Sequences by Keiko Narita , Noboru Endou and Yasunari Shidama

mesfun9c.abs mesfun9c.miz Lebesgue's Convergence Theorem of Complex-Valued Function by Keiko Narita , Noboru Endou and Yasunari Shidama

mesfunc1.abs mesfunc1.miz Definitions and Basic Properties of Measurable Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

mesfunc2.abs mesfunc2.miz Measurability of Extended Real Valued Functions by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

mesfunc3.abs mesfunc3.miz Lebesgue Integral of Simple Valued Function by Yasunari Shidama and Noboru Endou

mesfunc4.abs mesfunc4.miz Linearity of {L}ebesgue Integral of Simple Valued Function by Noboru Endou and Yasunari Shidama

mesfunc5.abs mesfunc5.miz Integral of Measurable Function by Noboru Endou and Yasunari Shidama

mesfunc6.abs mesfunc6.miz Integral of Real-valued Measurable Function by Yasunari Shidama and Noboru Endou

mesfunc7.abs mesfunc7.miz The First Mean Value Theorem for Integrals by Keiko Narita , Noboru Endou and Yasunari Shidama

mesfunc8.abs mesfunc8.miz Egoroff's Theorem by Noboru Endou , Yasunari Shidama and Keiko Narita

mesfunc9.abs mesfunc9.miz The Lebesgue Monotone Convergence Theorem by Noboru Endou , Keiko Narita and Yasunari Shidama

metric_1.abs metric_1.miz Metric Spaces by Stanis{\l}awa Kanas, Adam Lecko and Mariusz Startek

metric_2.abs metric_2.miz On Pseudometric Spaces by Adam Lecko and Mariusz Startek

metric_3.abs metric_3.miz Metrics in Cartesian Product by Stanis{\l}awa Kanas and Jan Stankiewicz

metric_6.abs metric_6.miz Sequences in Metric Spaces by Stanis{\l}awa Kanas and Adam Lecko

metrizts.abs metrizts.miz Basic Properties of Metrizable Topological Spaces by Karol P\c{a}k

mfold_0.abs mfold_0.miz Topological Manifolds by Karol P\kak

mfold_1.abs mfold_1.miz The Definition of Topological Manifolds by Marco Riccardi

mfold_2.abs mfold_2.miz Planes and Spheres as Topological Manifolds. Stereographic Projection by Marco Riccardi

midsp_1.abs midsp_1.miz Midpoint algebras by Micha{\l} Muzalewski

midsp_2.abs midsp_2.miz Atlas of Midpoint Algebra by Micha{\l} Muzalewski

midsp_3.abs midsp_3.miz Reper Algebras by Micha{\l} Muzalewski

mmlquer2.abs mmlquer2.miz The Semantics of MML Query -- Ordering by Grzegorz Bancerek

mmlquery.abs mmlquery.miz Semantic of MML Query by Grzegorz Bancerek

modal_1.abs modal_1.miz Introduction to Modal Propositional Logic by Alicia de la Cruz

modcat_1.abs modcat_1.miz Category of Left Modules by Micha{\l} Muzalewski

modelc_1.abs modelc_1.miz Model Checking, Part {I} by Kazuhisa Ishida

modelc_2.abs modelc_2.miz Model Checking, Part II by Kazuhisa Ishida

modelc_3.abs modelc_3.miz Model Checking, Part {III} by Kazuhisa Ishida and Yasunari Shidama

mod_2.abs mod_2.miz Rings and Modules - Part II by Michal Muzalewski

mod_3.abs mod_3.miz Free Modules by Michal Muzalewski

mod_4.abs mod_4.miz Opposite Rings, Modules and their Morphisms by Micha{\l} Muzalewski

moebius1.abs moebius1.miz On the Properties of the {M}\"obius Function by Magdalena Jastrz\c{e}bska and Adam Grabowski

moebius2.abs moebius2.miz On Square-free Numbers by Adam Grabowski

monoid_0.abs monoid_0.miz Monoids by Grzegorz Bancerek

monoid_1.abs monoid_1.miz Monoid of Multisets and Subsets by Grzegorz Bancerek

morph_01.abs morph_01.miz Morphology for Image Processing, Part {I} by Hiroshi Yamazaki , Czes\l aw Byli\'nski and Katsumi Wasaki

msafree.abs msafree.miz Free Many Sorted Universal Algebra by Beata Perkowska

msafree1.abs msafree1.miz A Scheme for Extensions of Homomorphisms of Manysorted Algebras by Andrzej Trybulec

msafree2.abs msafree2.miz Preliminaries to Circuits, II by Yatsuka Nakamura , Piotr Rudnicki , Andrzej Trybulec and Pauline N. Kawamot

msafree3.abs msafree3.miz Yet another construction of free algebra by Grzegorz Bancerek and Artur Korni{\l}owicz

msafree4.abs msafree4.miz Free Term Algebras by Grzegorz Bancerek

msafree5.abs msafree5.miz Term Context by Grzegorz Bancerek

msalimit.abs msalimit.miz Inverse Limits of Many Sorted Algebras by Adam Grabowski

msaterm.abs msaterm.miz Terms over many sorted universal algebra by Grzegorz Bancerek

msinst_1.abs msinst_1.miz Examples of Category Structures by Adam Grabowski

msscyc_1.abs msscyc_1.miz The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. {P}art {I} by Czes{\l}aw Byli\'nski and Piotr Rudnicki

msscyc_2.abs msscyc_2.miz The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. {P}art {II} by Czes{\l}aw Byli\'nski and Piotr Rudnicki

mssubfam.abs mssubfam.miz Certain Facts about Families of Subsets of Many Sorted Sets by Artur Korni{\l}owicz

mssublat.abs mssublat.miz The Correspondence Between Lattices of Subalgebras of Universal Algebras and Many Sorted Algebras by Adam Naumowicz and Agnieszka Julia Marasik

msualg_1.abs msualg_1.miz Many Sorted Algebras by Andrzej Trybulec

msualg_2.abs msualg_2.miz Subalgebras of a Many Sorted Algebra. Lattice of Subalgebras by Ewa Burakowska

msualg_3.abs msualg_3.miz Homomorphisms of Many Sorted Algebras by Ma{\l}gorzata Korolkiewicz

msualg_4.abs msualg_4.miz Many Sorted Quotient Algebra by Ma{\l}gorzata Korolkiewicz

msualg_5.abs msualg_5.miz Lattice of Congruences in a Many Sorted Algebra by Robert Milewski

msualg_6.abs msualg_6.miz Translations, Endomorphisms, and Stable Equational Theories by Grzegorz Bancerek

msualg_7.abs msualg_7.miz More on the Lattice of Many Sorted Equivalence Relations by Robert Milewski

msualg_8.abs msualg_8.miz More on the Lattice of Congruences in a Many Sorted Algebra by Robert Milewski

msualg_9.abs msualg_9.miz On the Trivial Many Sorted Algebras and Many Sorted Congruences by Artur Korni\l owicz

msuhom_1.abs msuhom_1.miz The Correspondence Between Homomorphisms of Universal Algebra & Many Sorted Algebra by Adam Grabowski

multop_1.abs multop_1.miz Three-Argument Operations and Four-Argument Operations by Michal Muzalewski and Wojciech Skaba

mycielsk.abs mycielsk.miz The {M}ycielskian of a Graph by Piotr Rudnicki and Lorna Stewart

nagata_1.abs nagata_1.miz The {N}agata-Smirnov Theorem. {P}art {I} by Karol P\c{a}k

nagata_2.abs nagata_2.miz The {N}agata-Smirnov Theorem. {P}art {II} by Karol P\c{a}k

nattra_1.abs nattra_1.miz Natural Transformations. Discrete Categories by Andrzej Trybulec

nat_1.abs nat_1.miz The Fundamental Properties of Natural Numbers by Grzegorz Bancerek

nat_2.abs nat_2.miz Natural Numbers by Robert Milewski

nat_3.abs nat_3.miz Fundamental {T}heorem of {A}rithmetic by Artur Korni{\l}owicz and Piotr Rudnicki

nat_4.abs nat_4.miz Pocklington's Theorem and {B}ertrand's Postulate by Marco Riccardi

nat_5.abs nat_5.miz The Perfect Number Theorem and Wilson's Theorem by Marco Riccardi

nat_6.abs nat_6.miz Proth Numbers by Christoph Schwarzweller

nat_d.abs nat_d.miz Divisibility of Natural Numbers by Grzegorz Bancerek

nat_lat.abs nat_lat.miz The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers by Marek Chmur

nbvectsp.abs nbvectsp.miz $n$-dimensional Binary Vector Spaces by Kenichi Arai and Hiroyuki Okazaki

ncfcont1.abs ncfcont1.miz Continuous Functions on Real and Complex Normed Linear Spaces by Noboru Endou

ncfcont2.abs ncfcont2.miz Uniform Continuity of Functions on Normed Complex Linear Spaces by Noboru Endou

ndiff_1.abs ndiff_1.miz The Differentiable Functions on Normed Linear Spaces by Hiroshi Imura , Morishige Kimura and Yasunari Shidama

ndiff_2.abs ndiff_2.miz Differentiable Functions on Normed Linear Spaces. {P}art {II} by Hiroshi Imura , Yuji Sakai and Yasunari Shidama

ndiff_3.abs ndiff_3.miz Differentiable Functions into Real Normed Spaces by Hiroyuki Okazaki , Noboru Endou , Keiko Narita and Yasunari Shidama

ndiff_4.abs ndiff_4.miz The Differentiable Functions from $\mathbbR$ into ${\mathbbR}^n$ by Keiko Narita , Artur Korni\l owicz and Yasunari Shidama

ndiff_5.abs ndiff_5.miz Differentiable Functions on Normed Linear Spaces by Yasunari Shidama

ndiff_6.abs ndiff_6.miz Differentiation in Normed Spaces by Noboru Endou and Yasunari Shidama

ndiff_7.abs ndiff_7.miz Isometric Differentiable Functions on Real Normed Space by Yuichi Futa , Noboru Endou and Yasunari Shidama

necklace.abs necklace.miz The Class of Series-Parallel Graphs, {I} by Krzysztof Retel

neckla_2.abs neckla_2.miz The Class of Series-Parallel Graphs, {II} by Krzysztof Retel

neckla_3.abs neckla_3.miz The Class of Series-Parallel Graphs, {III} by Krzysztof Retel

nelson_1.abs nelson_1.miz Two Axiomatizations of {N}elson Algebras by Adam Grabowski

net_1.abs net_1.miz Some Elementary Notions of the Theory of Petri Nets by Waldemar Korczy\'nski

newton.abs newton.miz Factorial and Newton coefficients by Rafa{\l} Kwiatek

newton01.abs newton01.miz Some Remarkable Identities Involving Numbers by Rafa{\l} Ziobro

newton02.abs newton02.miz Fermat's Little Theorem via Divisibility of {N}ewton's Binomial by Rafa{\l} Ziobro

nfcont_1.abs nfcont_1.miz The Continuous Functions on Normed Linear Spaces by Takaya Nishiyama, Keiji Ohkubo and Yasunari Shidama

nfcont_2.abs nfcont_2.miz The Uniform Continuity of Functions on Normed Linear Spaces by Takaya Nishiyama , Artur Korni{\l}owicz and Yasunari Shidama

nfcont_3.abs nfcont_3.miz More on Continuous Functions on Normed Linear Spaces by Hiroyuki Okazaki , Noboru Endou and Yasunari Shidama

nfcont_4.abs nfcont_4.miz More on the Continuity of Real Functions by Keiko Narita , Artur Kornilowicz and Yasunari Shidama

normform.abs normform.miz Algebra of Normal Forms by Andrzej Trybulec

normsp_0.abs normsp_0.miz Preliminaries to Normed Spaces by Andrzej Trybulec

normsp_1.abs normsp_1.miz Real Normed Space by Jan Popio{\l}ek

normsp_2.abs normsp_2.miz Baire's Category Theorem and Some Spaces Generated from Real Normed Space by Noboru Endou , Yasunari Shidama and Katsumasa Okamura

normsp_3.abs normsp_3.miz Topological Properties of Real Normed Space by Kazuhisa Nakasho , Yuichi Futa and Yasunari Shidama

normsp_4.abs normsp_4.miz Separability of Real Normed Spaces and Its Basic Properties by Kazuhisa Nakasho and Noboru Endou

ntalgo_1.abs ntalgo_1.miz Extended Euclidean Algorithm and CRT Algorithm by Hiroyuki Okazaki , Yosiki Aoki and Yasunari Shidama

numbers.abs numbers.miz Subsets of Complex Numbers by Andrzej Trybulec

numeral1.abs numeral1.miz On the Representation of Natural Numbers in Positional Numeral Systems by Adam Naumowicz

numeral2.abs numeral2.miz More on Divisibility Criteria for Selected Primes by Adam Naumowicz and Rados{\l}aw Piliszek

numerals.abs numerals.miz Numerals - Requirements by Library Committee

numpoly1.abs numpoly1.miz Polygonal Numbers by Adam Grabowski

openlatt.abs openlatt.miz Representation Theorem for Heyting Lattices by Jolanta Kamie\'nska

oposet_1.abs oposet_1.miz Basic Notions and Properties of Orthoposets by Markus Moschner

oppcat_1.abs oppcat_1.miz Opposite Categories and Contravariant Functors by Czes\l aw Byli\'nski

ordeq_01.abs ordeq_01.miz Contracting Mapping on Normed Linear Space by Keiichi Miyajima , Artur Korni{\l}owicz and Yasunari Shidama

ordeq_02.abs ordeq_02.miz Differential Equations on Functions from $\mathbbR$ into Real {B}anach Space by Keiko Narita , Noboru Endou and Yasunari Shidama

orders_1.abs orders_1.miz Partially Ordered Sets by Wojciech A. Trybulec

orders_2.abs orders_2.miz Kuratowski - Zorn Lemma by Wojciech A. Trybulec and Grzegorz Bancerek

orders_3.abs orders_3.miz On the Category of Posets by Adam Grabowski

orders_4.abs orders_4.miz On the Isomorphism Between Finite Chains by Marta Pruszy\'nska and Marek Dudzicz

ordinal1.abs ordinal1.miz The Ordinal Numbers. Transfinite Induction and Defining by Transfinite Induction by Grzegorz Bancerek

ordinal2.abs ordinal2.miz Sequences of Ordinal Numbers. Beginnings of Ordinal Arithmetics by Grzegorz Bancerek

ordinal3.abs ordinal3.miz Ordinal Arithmetics by Grzegorz Bancerek

ordinal4.abs ordinal4.miz Increasing and Continuous Ordinal Sequences by Grzegorz Bancerek

ordinal5.abs ordinal5.miz Epsilon Numbers and Cantor Normal Form by Grzegorz Bancerek

ordinal6.abs ordinal6.miz Veblen Hierarchy by Grzegorz Bancerek

ortsp_1.abs ortsp_1.miz Construction of a bilinear symmetric form in orthogonal vector space by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski

osafree.abs osafree.miz Free Order Sorted Universal Algebra by Josef Urban

osalg_1.abs osalg_1.miz Order Sorted Algebras by Josef Urban

osalg_2.abs osalg_2.miz Subalgebras of a Order Sorted Algebra. {L}attice of Subalgebras by Josef Urban

osalg_3.abs osalg_3.miz Homomorphisms of Order Sorted Algebras by Josef Urban

osalg_4.abs osalg_4.miz Order Sorted Quotient Algebra by Josef Urban

o_ring_1.abs o_ring_1.miz Ordered Rings - Part I by Micha{\l} Muzalewski and Les{\l}aw W. Szczerba

papdesaf.abs papdesaf.miz Fanoian, Pappian and Desarguesian Affine Spaces by Krzysztof Pra\.zmowski

pardepap.abs pardepap.miz Elementary Variants of Affine Configurational Theorems by Krzysztof Pra\.zmowski and Krzysztof Radziszewski

parsp_1.abs parsp_1.miz Parallelity Spaces by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski

parsp_2.abs parsp_2.miz Fano-Desargues Parallelity Spaces by Eugeniusz Kusak and Wojciech Leo\'nczuk

partfun1.abs partfun1.miz Partial Functions by Czes{\l}aw Byli\'nski

partfun2.abs partfun2.miz Partial Functions from a Domain to a Domain by Jaros{\l}aw Kotowicz

partfun3.abs partfun3.miz On the Real Valued Functions by Artur Korni{\l}owicz

partfun4.abs partfun4.miz On the Real Valued Functions by Artur Korni{\l}owicz

partit1.abs partit1.miz A theory of partitions, { I } by Shunichi Kobayashi and Kui Jia

partit_2.abs partit_2.miz Classes of Independent Partitions by Andrzej Trybulec

pasch.abs pasch.miz Classical and Non--classical Pasch Configurations in Ordered Affine Planes by Henryk Oryszczyszyn, Krzysztof Pra\.zmowski and Ma{\l}gorzata Pra\.zmowska

pboole.abs pboole.miz Manysorted Sets by Andrzej Trybulec

pcomps_1.abs pcomps_1.miz Paracompact and Metrizable Spaces by Leszek Borys

pcomps_2.abs pcomps_2.miz On Paracompactness of Metrizable Spaces by Leszek Borys

pcs_0.abs pcs_0.miz Basic Operations on Preordered Coherent Spaces by Klaus E. Grue and Artur Korni{\l}owicz

pdiff_1.abs pdiff_1.miz Partial Differentiation on Normed Linear Spaces $ {\cal R}^n$ by Noboru Endou , Yasunari Shidama and Keiichi Miyajima

pdiff_2.abs pdiff_2.miz Partial Differentiation of Real Binary Functions by Bing Xie , Xiquan Liang , Hongwei Li and Yanping Zhuang

pdiff_3.abs pdiff_3.miz Second-order Partial Differentiation of Real Binary Functions by Bing Xie , Xiquan Liang and Xiuzhuan Shen

pdiff_4.abs pdiff_4.miz Partial Differentiation of Real Ternary Functions by Takao Inou\'e , Bing Xie and Xiquan Liang

pdiff_5.abs pdiff_5.miz Second-order Partial Differentiation of Real Ternary Functions by Takao Inou\'e

pdiff_6.abs pdiff_6.miz Differentiation of Vector-Valued Functions on $n$-Dimensional Real Normed Linear Spaces by Takao Inou\'e , Noboru Endou and Yasunari Shidama

pdiff_7.abs pdiff_7.miz Partial Differentiation of Vector-Valued Functions on $n$-Dimensional Real Normed Linear Spaces by Takao Inou\'e , Adam Naumowicz , Noboru Endou and Yasunari Shidama

pdiff_8.abs pdiff_8.miz Partial Differentiation, Differentiation and Continuity on $n$-Dimensional Real Normed Linear Spaces by Takao Inou\'e , Adam Naumowicz , Noboru Endou and Yasunari Shidama

pdiff_9.abs pdiff_9.miz Higher Order Partial Differentiation by Noboru Endou , Hiroyuki Okazaki and Yasunari Shidama

pencil_1.abs pencil_1.miz On Segre's Product of Partial Line Spaces by Adam Naumowicz

pencil_2.abs pencil_2.miz On Cosets in Segre's Product of Partial Linear Spaces by Adam Naumowicz

pencil_3.abs pencil_3.miz On the Characterization of Collineations of the Segre Product of Strongly Connected Partial Linear Spaces by Adam Naumowicz

pencil_4.abs pencil_4.miz Spaces of Pencils, {G}rassmann Spaces, and Generalized {V}eronese Spaces by Adam Naumowicz

pepin.abs pepin.miz Public-Key Cryptography and Pepin's Test for the Primality of Fermat Numbers by Yoshinori Fujisawa , Yasushi Fuwa and Hidetaka Shimizu

petri.abs petri.miz Basic Petri Net Concepts. Place/Transition Net Structure, Deadlocks, Traps, Dual Nets by Pauline N. Kawamoto, Yasushi Fuwa and Yatsuka Nakamura

petri_2.abs petri_2.miz Cell Petri Net Concepts by Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, and Yatsuka Nakamura

petri_3.abs petri_3.miz Formulation of Cell Petri Nets by Mitsuru Jitsukawa , Pauline N. Kawamoto and Yasunari Shidama

petri_df.abs petri_df.miz The Formalization of Decision Free {P}etri Net by Pratima K. Shah , Pauline N. Kawamoto and Mariusz Giero

pnproc_1.abs pnproc_1.miz Processes in {P}etri nets by Grzegorz Bancerek , Mitsuru Aoki , Akio Matsumoto and Yasunari Shidama

polnot_1.abs polnot_1.miz Polish Notation by Taneli Huuskonen

polyalg1.abs polyalg1.miz The Algebra of Polynomials by Ewa Gr\c{a}dzka

polyeq_1.abs polyeq_1.miz Solving Roots of Polynomial Equations of Degree 2 and 3 with Real Coefficients by Liang Xiquan

polyeq_2.abs polyeq_2.miz Solving Roots of Polynomial Equation of Degree 4 with Real Coefficients by Xiquan Liang

polyeq_3.abs polyeq_3.miz Solving Complex Roots of Polynomial Equation of Degree 2 and 3 with Complex Coefficients by Yuzhong Ding and Xiquan Liang

polyeq_4.abs polyeq_4.miz Solving the Roots of the Special Polynomial Equation with Real Coefficients by Yuzhong Ding and Xiquan Liang

polyeq_5.abs polyeq_5.miz Solution of Cubic and Quartic Equations by Marco Riccardi

polyform.abs polyform.miz Euler's Polyhedron Formula by Jesse Alama

polynom1.abs polynom1.miz Multivariate polynomials with arbitrary number of variables by Piotr Rudnicki and Andrzej Trybulec

polynom2.abs polynom2.miz Evaluation of Multivariate Polynomials by Christoph Schwarzweller and Andrzej Trybulec

polynom3.abs polynom3.miz The Ring of Polynomials by Robert Milewski

polynom4.abs polynom4.miz Evaluation of Polynomials by Robert Milewski

polynom5.abs polynom5.miz Fundamental Theorem of Algebra by Robert Milewski

polynom6.abs polynom6.miz On polynomials with coefficients in a ring of polynomials by Barbara Dzienis

polynom7.abs polynom7.miz More About Polynomials: Monomials and Constant Polynomials by Christoph Schwarzweller

polynom8.abs polynom8.miz Multiplication of Polynomials using {D}iscrete {F}ourier {T}ransformation by Krzysztof Treyderowski and Christoph Schwarzweller

polyred.abs polyred.miz Polynomial Reduction by Christoph Schwarzweller

poset_1.abs poset_1.miz Fix-point Theorem for Continuous Functions on Chain-complete Posets by Kazuhisa Ishida and Yasunari Shidama

poset_2.abs poset_2.miz Definition of Flat Poset and Existence Theorems for Recursive Call by Kazuhisa Ishida , Yasunari Shidama and Adam Grabowski

power.abs power.miz Real Exponents and Logarithms by Konrad Raczkowski and Andrzej N\c{e}dzusiak

pralg_1.abs pralg_1.miz Product of Family of Universal Algebras by Beata Madras

pralg_2.abs pralg_2.miz Products of Many Sorted Algebras by Beata Madras

pralg_3.abs pralg_3.miz More on Products of Many Sorted Algebras by Mariusz Giero

prefer_1.abs prefer_1.miz Introduction to Formal Preference Spaces by Eliza Niewiadomska and Adam Grabowski

prelamb.abs prelamb.miz Preliminaries to the Lambek Calculus by Wojciech Zielonka

prepower.abs prepower.miz Integer and Rational Exponents by Konrad Raczkowski

pre_circ.abs pre_circ.miz Preliminaries to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec and Pauline N. Kawamoto

pre_ff.abs pre_ff.miz Two Programs for {\bf SCM}. Part I - Preliminaries by Grzegorz Bancerek and Piotr Rudnicki

pre_poly.abs pre_poly.miz Preliminaries to Polynomials by Andrzej Trybulec

pre_topc.abs pre_topc.miz Topological Spaces and Continuous Functions by Beata Padlewska and Agata Darmochwa\l

prgcor_1.abs prgcor_1.miz Correctness of Non Overwriting Programs. {P}art {I} by Yatsuka Nakamura

prgcor_2.abs prgcor_2.miz Logical Correctness of Vector Calculation Programs by Takaya Nishiyama , Hirofumi Fukura and Yatsuka Nakamura

prob_1.abs prob_1.miz $\sigma$-Fields and Probability by Andrzej N\c{e}dzusiak

prob_2.abs prob_2.miz Probability. Independence of Events and Conditional Probability by Andrzej N\c{e}dzusiak

prob_3.abs prob_3.miz Set Sequences and Monotone Class by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura

prob_4.abs prob_4.miz The Relevance of Measure and Probability and Definition of Completeness of Probability by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura

procal_1.abs procal_1.miz Calculus of Propositions by Jan Popio{\l}ek and Andrzej Trybulec

projdes1.abs projdes1.miz Desargues Theorem In Projective 3-Space by Eugeniusz Kusak

projpl_1.abs projpl_1.miz Projective {P}lanes by Micha{\l} Muzalewski

projred1.abs projred1.miz Incidence Projective Space (a reduction theorem in a plane) by Eugeniusz Kusak and Wojciech Leo\'nczuk

projred2.abs projred2.miz On Projections in Projective Planes. Part II by Eugeniusz Kusak, Wojciech Leo\'nczuk and Krzysztof Pra\.zmowski

prvect_1.abs prvect_1.miz Product of Families of Groups and Vector Spaces by Anna Lango and Grzegorz Bancerek

prvect_2.abs prvect_2.miz The Product Space of Real Normed Spaces and Its Properties by Noboru Endou , Yasunari Shidama and Keiichi Miyajima

prvect_3.abs prvect_3.miz Cartesian Products of Family of Real Linear Spaces by Hiroyuki Okazaki , Noboru Endou and Yasunari Shidama

pscomp_1.abs pscomp_1.miz Bounding boxes for compact sets in ${\calE}^2$ by Czes{\l}aw Byli\'nski and Piotr Rudnicki

pua2mss1.abs pua2mss1.miz Minimal Manysorted Signature for Partial Algebra by Grzegorz Bancerek

pythtrip.abs pythtrip.miz Pythagorean triples by Freek Wiedijk

pzfmisc1.abs pzfmisc1.miz Some Basic Properties of Many Sorted Sets by Artur Korni{\l}owicz

qc_lang1.abs qc_lang1.miz A First Order Language by Piotr Rudnicki and Andrzej Trybulec

qc_lang2.abs qc_lang2.miz Connectives and Subformulae of the First Order Language by Grzegorz Bancerek

qc_lang3.abs qc_lang3.miz Variables in Formulae of the First Order Language by Czes{\l}aw Byli\'nski and Grzegorz Bancerek

qc_lang4.abs qc_lang4.miz The Subformula Tree of a Formula of the First Order Language by Oleg Okhotnikov

qc_trans.abs qc_trans.miz Transition of Consistency and Satisfiability under Language Extensions by Julian J. Schl\"oder and Peter Koepke

qmax_1.abs qmax_1.miz The Fundamental Logic Structure in Quantum Mechanics by Pawe{\l} Sadowski, Andrzej Trybulec and Konrad Raczkowski

quantal1.abs quantal1.miz Quantales by Grzegorz Bancerek

quatern2.abs quatern2.miz Inner Products, Group, Ring of Quaternion Numbers by Fuguo Ge

quatern3.abs quatern3.miz Some Operations on Quaternion Numbers by Bo Li , Pan Wang , Xiquan Liang and Yanping Zhuang

quaterni.abs quaterni.miz The Quaternion Numbers by Xiquan Liang and Fuguo Ge

quin_1.abs quin_1.miz Quadratic Inequalities by Jan Popio\l ek

quofield.abs quofield.miz The Field of Quotients over an Integral Domain by Christoph Schwarzweller

radix_1.abs radix_1.miz Definitions of Radix-2k Signed-Digit number and its adder algorithm by Yoshinori Fujisawa and Yasushi Fuwa

radix_2.abs radix_2.miz High-speed algorithms for RSA cryptograms by Yasushi Fuwa and Yoshinori Fujisawa

radix_3.abs radix_3.miz Improvement of Radix-$2^k$ Signed-Digit Number for High Speed Circuit by Masaaki Niimura and Yasushi Fuwa

radix_4.abs radix_4.miz High Speed Adder Algorithm with Radix-$2^k$ SD_Sub Number by Masaaki Niimura and Yasushi Fuwa

radix_5.abs radix_5.miz Magnitude Relation Properties of Radix-$2^k$ SD Number by Masaaki Niimura and Yasushi Fuwa

radix_6.abs radix_6.miz High Speed Modulo Calculation Algorithm with Radix-$2^k$ SD Number by Masaaki Niimura and Yasushi Fuwa

ramsey_1.abs ramsey_1.miz Ramsey's Theorem by Marco Riccardi

random_1.abs random_1.miz Probability on Finite Set and Real Valued Random Variables by Hiroyuki Okazaki and Yasunari Shidama

random_2.abs random_2.miz Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables by Hiroyuki Okazaki and Yasunari Shidama

random_3.abs random_3.miz Random Variables and Product of Probability Spaces by Hiroyuki Okazaki and Yasunari Shidama

ranknull.abs ranknull.miz The Rank+Nullity Theorem by Jesse Alama

ratfunc1.abs ratfunc1.miz Introduction to Rational Functions by Christoph Schwarzweller

rat_1.abs rat_1.miz Basic Properties of Rational Numbers by Andrzej Kondracki

rcomp_1.abs rcomp_1.miz Topological Properties of Subsets in Real Numbers by Konrad Raczkowski and Pawe{\l} Sadowski

rcomp_3.abs rcomp_3.miz Properties of Connected Subsets of the Real Line by Artur Korni{\l}owicz

real.abs real.miz Basic Properties of Real Numbers - Requirements by Library Committee

realset1.abs realset1.miz Group and Field Definitions by J\'ozef Bia{\l}as

realset2.abs realset2.miz Properties of Fields by J\'ozef Bia{\l}as

realset3.abs realset3.miz Several Properties of Fields. Field Theory by J\'ozef Bia{\l}as

real_1.abs real_1.miz Basic Properties of Real Numbers by Krzysztof Hryniewiecki

real_3.abs real_3.miz Simple Continued Fractions and Their Convergents by Bo Li , Yan Zhang and Artur Korni{\l}owicz

real_lat.abs real_lat.miz The Lattice of Real Numbers. The Lattice of Real Functions by Marek Chmur

real_ns1.abs real_ns1.miz Completeness of the Real {E}uclidean Space by Noboru Endou and Yasunari Shidama

rearran1.abs rearran1.miz Introduction to Theory of Rearrangment by Yuji Sakai and Jaros{\l}aw Kotowicz

recdef_1.abs recdef_1.miz Recursive Definitions by Krzysztof Hryniewiecki

recdef_2.abs recdef_2.miz Recursive Definitions. {P}art {II} by Artur Korni{\l}owicz

relat_1.abs relat_1.miz Relations and Their Basic Properties by Edmund Woronowicz

relat_2.abs relat_2.miz Properties of Binary Relations by Edmund Woronowicz and Anna Zalewska

reloc.abs reloc.miz Relocatability by Yasushi Tanaka

relset_1.abs relset_1.miz Relations Defined on Sets by Edmund Woronowicz

relset_2.abs relset_2.miz Properties of First and Second Order Cutting of Binary Relations by Krzysztof Retel

revrot_1.abs revrot_1.miz Rotating and reversing.(Finite sequences) by Andrzej Trybulec

rewrite1.abs rewrite1.miz Reduction Relations by Grzegorz Bancerek

rewrite2.abs rewrite2.miz String Rewriting Systems by Micha{\l} Trybulec

rewrite3.abs rewrite3.miz Labelled State Transition Systems by Micha{\l} Trybulec

rfinseq.abs rfinseq.miz Functions and Finite Sequences of Real Numbers by Jaros{\l}aw Kotowicz

rfinseq2.abs rfinseq2.miz Sorting Operators for Finite Sequences by Yatsuka Nakamura

rfunct_1.abs rfunct_1.miz Partial Functions from a Domain to the Set of Real Numbers by Jaros{\l}aw Kotowicz

rfunct_2.abs rfunct_2.miz Properties of Real Functions by Jaros{\l}aw Kotowicz

rfunct_3.abs rfunct_3.miz Properties of Partial Functions from a Domain to the Set of Real Numbers by Jaros{\l}aw Kotowicz and Yuji Sakai

rfunct_4.abs rfunct_4.miz Introduction to Several Concepts of Convexity and Semicontinuity for Function from REAL to REAL by Noboru Endou , Katsumi Wasaki and Yasunari Shidama

rinfsup1.abs rinfsup1.miz Inferior Limit and Superior Limit of Sequences of Real Numbers by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura

rinfsup2.abs rinfsup2.miz Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers by Hiroshi Yamazaki , Noboru Endou , Yasunari Shidama and Hiroyuki Okazaki

ringcat1.abs ringcat1.miz Category of Rings by Micha{\l} Muzalewski

ring_1.abs ring_1.miz Quotient Rings by Artur Korni{\l}owicz

ring_2.abs ring_2.miz The First Isomorphism Theorem and Other Properties of Rings by Artur Korni{\l}owicz and Christoph Schwarzweller

rlaffin1.abs rlaffin1.miz Affine Independence in Vector Spaces by Karol P\c{a}k

rlaffin2.abs rlaffin2.miz The Geometric Interior in Real Linear Spaces by Karol P\c{a}k

rlaffin3.abs rlaffin3.miz Continuity of Barycentric Coordinates in Euclidean Topological Spaces by Karol P\kak

rlsub_1.abs rlsub_1.miz Subspaces and Cosets of Subspaces in Real Linear Space by Wojciech A. Trybulec

rlsub_2.abs rlsub_2.miz Operations on Subspaces in Real Linear Space by Wojciech A. Trybulec

rltopsp1.abs rltopsp1.miz Introduction to Real Linear Topological Spaces by Czes{\l}aw Byli\'nski

rlvect_1.abs rlvect_1.miz Vectors in Real Linear Space by Wojciech A. Trybulec

rlvect_2.abs rlvect_2.miz Linear Combinations in Real Linear Space by Wojciech A. Trybulec

rlvect_3.abs rlvect_3.miz Basis of Real Linear Space by Wojciech A. Trybulec

rlvect_4.abs rlvect_4.miz Subspaces of Real Linear Space Generated by One, Two, or Three Vectors and Their Cosets by Wojciech A. Trybulec

rlvect_5.abs rlvect_5.miz The Steinitz Theorem and the Dimension of a Real Linear Space by JingChao Chen

rlvect_x.abs rlvect_x.miz Formalization of Integral Linear Space by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

rmod_2.abs rmod_2.miz Submodules and Cosets of Submodules in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba

rmod_3.abs rmod_3.miz Operations on Submodules in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba

rmod_4.abs rmod_4.miz Linear Combinations in Right Module over Associative Ring by Michal Muzalewski and Wojciech Skaba

robbins1.abs robbins1.miz Robbins Algebras vs. Boolean Algebras by Adam Grabowski

robbins2.abs robbins2.miz On the Two Short Axiomatizations of Ortholattices by Wioletta Truszkowska and Adam Grabowski

robbins3.abs robbins3.miz Formalization of Ortholattices via Orthoposets by Adam Grabowski and Markus Moschner

robbins4.abs robbins4.miz Orthomodular Lattices by El\.zbieta M\c{a}dra and Adam Grabowski

rolle.abs rolle.miz Average Value Theorems for Real Functions of One Variable by Jaros{\l}aw Kotowicz, Konrad Raczkowski and Pawe{\l} Sadowski

roughs_1.abs roughs_1.miz Basic Properties of Rough Sets and Rough Membership Function by Adam Grabowski

roughs_2.abs roughs_2.miz Relational Formal Characterization of Rough Sets by Adam Grabowski

roughs_4.abs roughs_4.miz Topological Interpretation of Rough Sets by Adam Grabowski

rpr_1.abs rpr_1.miz Introduction to Probability by Jan Popio{\l}ek

rsspace.abs rsspace.miz Real Linear Space of Real Sequences by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama

rsspace2.abs rsspace2.miz Hilbert Space of Real Sequences by Noboru Endou , Yasumasa Suzuki and Yasunari Shidama

rsspace3.abs rsspace3.miz Banach Space of Absolute Summable Real Sequences by Yasumasa Suzuki, Noboru Endou and Yasunari Shidama

rsspace4.abs rsspace4.miz Banach Space of Bounded Real Sequences by Yasumasa Suzuki

rusub_1.abs rusub_1.miz Subspaces and Cosets of Subspace of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

rusub_2.abs rusub_2.miz Operations on Subspaces in Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

rusub_3.abs rusub_3.miz Linear Combinations in Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

rusub_4.abs rusub_4.miz Dimension of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

rusub_5.abs rusub_5.miz Topology of Real Unitary Space by Noboru Endou , Takashi Mitsuishi and Yasunari Shidama

rvsum_1.abs rvsum_1.miz The Sum and Product of Finite Sequences of Real Numbers by Czes{\l}aw Byli\'nski

rvsum_2.abs rvsum_2.miz The Sum and Product of Finite Sequences of Complex Numbers by Keiichi Miyajima and Takahiro Kato

rvsum_3.abs rvsum_3.miz Cauchy Mean Theorem by Adam Grabowski

scheme1.abs scheme1.miz Schemes of Existence of some Types of Functions by Jaros{\l}aw Kotowicz

schems_1.abs schems_1.miz Schemes by Stanis\l aw T. Czuba

scmbsort.abs scmbsort.miz Bubble Sort on SCM+FSA by JingChao Chen and Yatsuka Nakamura

scmfsa10.abs scmfsa10.miz On the Instructions of { \bf SCM+FSA } by Artur Korni{\l}owicz

scmfsa6a.abs scmfsa6a.miz On the compositions of macro instructions by Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto

scmfsa6b.abs scmfsa6b.miz On the compositions of macro instructions, Part II by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec

scmfsa6c.abs scmfsa6c.miz On the compositions of macro instructions, Part III by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec

scmfsa7b.abs scmfsa7b.miz Constant assignment macro instructions of SCM+FSA, Part II by Noriko Asamoto

scmfsa8a.abs scmfsa8a.miz Conditional branch macro instructions of SCM+FSA, Part I (preliminary) by Noriko Asamoto

scmfsa8b.abs scmfsa8b.miz Conditional branch macro instructions of SCM+FSA, Part II by Noriko Asamoto

scmfsa8c.abs scmfsa8c.miz The {\bf loop} and {\bf Times} Macroinstruction for {\SCMFSA} by Noriko Asamoto

scmfsa9a.abs scmfsa9a.miz The { \bf while } macro instructions of SCM+FSA, Part { II } by Piotr Rudnicki

scmfsa_1.abs scmfsa_1.miz An Extension of { \bf SCM } by Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki

scmfsa_2.abs scmfsa_2.miz The { \bf SCM_FSA } computer by Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki

scmfsa_3.abs scmfsa_3.miz Computation in { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura

scmfsa_4.abs scmfsa_4.miz Modifying addresses of instructions of { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura

scmfsa_5.abs scmfsa_5.miz Relocability for { \bf SCM_FSA } by Andrzej Trybulec and Yatsuka Nakamura

scmfsa_7.abs scmfsa_7.miz Some Multi-instructions defined by sequence of instructions of SCM+FSA by Noriko Asamoto

scmfsa_9.abs scmfsa_9.miz While Macro Instructions of SCM+FSA by Jing-Chao Chen

scmfsa_i.abs scmfsa_i.miz The Instructions for SCM+FSA Computer by Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki

scmfsa_m.abs scmfsa_m.miz On the memory of SCM+FSA by Library Committee

scmfsa_x.abs scmfsa_x.miz On SCM+FSA Programs by Andrzej Trybulec

scmisort.abs scmisort.miz Insert Sort on SCM+FSA by JingChao Chen

scmpds_1.abs scmpds_1.miz A Small Computer Model with Push-Down Stack by JingChao Chen

scmpds_2.abs scmpds_2.miz The SCMPDS Computer and the Basic Semantics of Its Instructions by JingChao Chen

scmpds_3.abs scmpds_3.miz Computation and Program Shift in the SCMPDS Computer by JingChao Chen

scmpds_4.abs scmpds_4.miz The Construction and shiftability of Program Blocks for SCMPDS by JingChao Chen

scmpds_5.abs scmpds_5.miz Computation of Two Consecutive Program Blocks for SCMPDS by JingChao Chen

scmpds_6.abs scmpds_6.miz The Construction and Computation of Conditional Statements for SCMPDS by JingChao Chen

scmpds_7.abs scmpds_7.miz The Construction and Computation of For-loop Programs for SCMPDS by JingChao Chen and Piotr Rudnicki

scmpds_8.abs scmpds_8.miz The Construction and Computation of While-loop Programs for SCMPDS by JingChao Chen

scmpds_9.abs scmpds_9.miz SCMPDS Is Not Standard by Artur Korni{\l}owicz and Yasunari Shidama

scmpds_i.abs scmpds_i.miz The Instructions for the SCMPDS computer by JingChao Chen

scmp_gcd.abs scmp_gcd.miz Recursive Euclid's Algorithm by JingChao Chen

scmring1.abs scmring1.miz The Construction of { \bf SCM } over Ring by Artur Korni{\l}owicz

scmring2.abs scmring2.miz The Basic Properties of { \bf SCM } over Ring by Artur Korni{\l}owicz

scmring3.abs scmring3.miz The Properties of Instructions of { \bf SCM } over Ring by Artur Korni{\l}owicz

scmring4.abs scmring4.miz Relocability for { \bf SCM } over Ring by Artur Korni{\l}owicz and Yasunari Shidama

scmringi.abs scmringi.miz The Construction of { \bf SCM } over Ring by Artur Korni{\l}owicz

scmyciel.abs scmyciel.miz Simple Graphs as Simplicial Complexes: the {M}ycielskian of a Graph by Piotr Rudnicki and Lorna Stewart

scm_1.abs scm_1.miz Development of Terminology for {\bf SCM} by Grzegorz Bancerek and Piotr Rudnicki

scm_comp.abs scm_comp.miz A compiler of arithmetic expressions for { \bf SCM } by Grzegorz Bancerek and Piotr Rudnicki

scm_halt.abs scm_halt.miz Initialization Halting Concepts and Their Basic Properties of SCM+FSA by JingChao Chen and Yatsuka Nakamura

scm_inst.abs scm_inst.miz On a Mathematical Model of Programs by Yatsuka Nakamura and Andrzej Trybulec

scpinvar.abs scpinvar.miz Justifying the Correctness of Fibonacci Sequence and Euclid's Algorithm by Loop Invariant by JingChao Chen

scpisort.abs scpisort.miz Insert Sort on SCMPDS by JingChao Chen

scpqsort.abs scpqsort.miz Quick Sort on SCMPDS by JingChao Chen

semi_af1.abs semi_af1.miz Semi-Affine Space by Eugeniusz Kusak and Krzysztof Radziszewski

seqfunc.abs seqfunc.miz Functional Sequence from a Domain to a Domain by Beata Perkowska

seqm_3.abs seqm_3.miz Monotone Real Sequences. Subsequences by Jaros{\l}aw Kotowicz

seq_1.abs seq_1.miz Real Sequences and Basic Operations on Them by Jaros{\l}aw Kotowicz

seq_2.abs seq_2.miz Convergent Sequences and the Limit of Sequences by Jaros{\l}aw Kotowicz

seq_4.abs seq_4.miz Convergent Real Sequences. Upper and Lower Bound of Sets of Real Numbers by Jaros{\l}aw Kotowicz

series_1.abs series_1.miz Series by Konrad Raczkowski and Andrzej N\c{e}dzusiak

series_2.abs series_2.miz Partial Sum of Some Series by Ming Liang and Yuzhong Ding

series_3.abs series_3.miz On the Partial Product of Series and Related Basic Inequalities by Fuguo Ge and Xiquan Liang

series_4.abs series_4.miz Partial Sum and Partial Product of Some Series by Jianbing Cao , Fahui Zhai and Xiquan Liang

series_5.abs series_5.miz On the Partial Product and Partial Sum of Series and Related Basic Inequalities by Fuguo Ge and Xiquan Liang

setfam_1.abs setfam_1.miz Families of Sets by Beata Padlewska

setlim_1.abs setlim_1.miz Limit of Sequence of Subsets by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura

setlim_2.abs setlim_2.miz Some Equations Related to the Limit of Sequence of Subsets by Bo Zhang , Hiroshi Yamazaki and Yatsuka Nakamura

setwiseo.abs setwiseo.miz Semilattice Operations on Finite Subsets by Andrzej Trybulec

setwop_2.abs setwop_2.miz Semigroup operations on finite subsets by Czes{\l}aw Byli\'nski

sfmastr1.abs sfmastr1.miz On the Composition of non-parahalting Macro Instructions by Piotr Rudnicki

sfmastr2.abs sfmastr2.miz Another { \bf times } Macro Instruction by Piotr Rudnicki

sfmastr3.abs sfmastr3.miz The { \bf for } (going up) Macro Instruction by Piotr Rudnicki

sf_mastr.abs sf_mastr.miz Memory handling for SCM+FSA by Piotr Rudnicki and Andrzej Trybulec

sgraph1.abs sgraph1.miz The Formalisation of Simple Graphs by Yozo Toda

sheffer1.abs sheffer1.miz Axiomatization of {B}oolean Algebras Based on Sheffer Stroke by Violetta Kozarkiewicz and Adam Grabowski

sheffer2.abs sheffer2.miz Short {S}heffer Stroke-Based Single Axiom for {B}oolean Algebras by Aneta {\L}ukaszuk and Adam Grabowski

simplex0.abs simplex0.miz Abstract Simplicial Complexes by Karol P\c{a}k

simplex1.abs simplex1.miz Sperner's Lemma by Karol P\c{a}k

simplex2.abs simplex2.miz Brouwer Fixed Point Theorem for Simplexes by Karol P\kak

sincos10.abs sincos10.miz Inverse Trigonometric Functions Arcsec1, Arcsec2, Arccosec1 and Arccosec2 by Bing Xie , Xiquan Liang and Fuguo Ge

sin_cos.abs sin_cos.miz Trigonometric Functions and Existence of Circle Ratio by Yuguang Yang and Yasunari Shidama

sin_cos2.abs sin_cos2.miz Properties of Trigonometric Function by Takashi Mitsuishi and Yuguang Yang

sin_cos3.abs sin_cos3.miz Trigonometric Functions on Complex Space by Takashi Mitsuishi , Noboru Endou and Keiji Ohkubo

sin_cos4.abs sin_cos4.miz Formulas And Identities of Trigonometric Functions by Pacharapokin Chanapat, Kanchun and Hiroshi Yamazaki

sin_cos5.abs sin_cos5.miz Formulas And Identities of Trigonometric Functions by Yuzhong Ding and Xiquan Liang

sin_cos6.abs sin_cos6.miz Inverse Trigonometric Functions Arcsin and Arccos by Artur Korni{\l}owicz and Yasunari Shidama

sin_cos7.abs sin_cos7.miz Formulas And Identities of Inverse Hyperbolic Functions by Fuguo Ge , Xiquan Liang and Yuzhong Ding

sin_cos8.abs sin_cos8.miz Formulas and Identities of Hyperbolic Functions by Pacharapokin Chanapat and Hiroshi Yamazaki

sin_cos9.abs sin_cos9.miz Inverse Trigonometric Functions Arctan and Arccot by Xiquan Liang and Bing Xie

sppol_1.abs sppol_1.miz Extremal Properties of Vertices on Special Polygons I by Yatsuka Nakamura and Czes\law Byli\'nski

sppol_2.abs sppol_2.miz Special Polygons by Czes\law Byli\'nski and Yatsuka Nakamura

sprect_1.abs sprect_1.miz On Rectangular Finite Sequences of the Points of the Plane by Andrzej Trybulec and Yatsuka Nakamura

sprect_2.abs sprect_2.miz On the Order on a Special Polygon by Andrzej Trybulec and Yatsuka Nakamura

sprect_3.abs sprect_3.miz Some properties of special polygonal curves by Andrzej Trybulec and Yatsuka Nakamura

sprect_4.abs sprect_4.miz On the components of the complement of a special polygonal curve by Andrzej Trybulec and Yatsuka Nakamura

sprect_5.abs sprect_5.miz Again on the Order on a Special Polygon by Andrzej Trybulec and Yatsuka Nakamura

square_1.abs square_1.miz Some Properties of Real Numbers. Operations: min, max, square, and square root by Andrzej Trybulec and Czes{\l}aw Byli\'nski

srings_1.abs srings_1.miz Semiring of Sets by Roland Coghetto

srings_2.abs srings_2.miz Semiring of Sets: Examples by Roland Coghetto

srings_3.abs srings_3.miz $\sigma$-ring and $\sigma$-algebra of Sets by Noboru Endou , Kazuhisa Nakasho and Yasunari Shidama

srings_4.abs srings_4.miz Finite Product of Semiring of Sets by Roland Coghetto

stacks_1.abs stacks_1.miz Representation Theorem for Stacks by Grzegorz Bancerek

stirl2_1.abs stirl2_1.miz Stirling Numbers of the Second Kind by Karol P\c{a}k

struct_0.abs struct_0.miz Preliminaries to Structures by Library Committee

sublemma.abs sublemma.miz Coincidence Lemma and Substitution Lemma by Patrick Braselmann and Peter Koepke

subset.abs subset.miz Basic Properties of Subsets - Requirements by Library Committee

subset_1.abs subset_1.miz Properties of Subsets by Zinaida Trybulec

substlat.abs substlat.miz Lattice of Substitutions by Adam Grabowski

substut1.abs substut1.miz Substitution in First-Order Formulas: Elementary Properties by Patrick Braselmann and Peter Koepke

substut2.abs substut2.miz Substitution in First-Order Formulas -- Part II. {T}he Construction of First-Order Formulas by Patrick Braselmann and Peter Koepke

supinf_1.abs supinf_1.miz Infimum and Supremum of the Set of Real Numbers. Measure Theory by J\'ozef Bia{\l}as

supinf_2.abs supinf_2.miz Series of Positive Real Numbers. Measure Theory by J\'ozef Bia{\l}as

symsp_1.abs symsp_1.miz Construction of a bilinear antisymmetric form in symplectic vector space by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski

sysrel.abs sysrel.miz Some Properties of Binary Relations by Waldemar Korczy\'nski

tarski.abs tarski.miz Tarski {G}rothendieck Set Theory by Andrzej Trybulec

tarski_0.abs tarski_0.miz Axioms of Tarski {G}rothendieck Set Theory by Andrzej Trybulec

tarski_a.abs tarski_a.miz Tarski {G}rothendieck Set Theory -- Tarski's Axiom A by Andrzej Trybulec

taxonom1.abs taxonom1.miz Lower Tolerance. {P}reliminaries to {W}roclaw Taxonomy by Mariusz Giero and Roman Matuszewski

taxonom2.abs taxonom2.miz Hierarchies and Classifications of Sets by Mariusz Giero

taylor_1.abs taylor_1.miz The {T}aylor Expansions by Yasunari Shidama

taylor_2.abs taylor_2.miz The {M}aclaurin Expansions by Akira Nishino and Yasunari Shidama

tbsp_1.abs tbsp_1.miz Totally Bounded Metric Spaces by Alicia de la Cruz

tdgroup.abs tdgroup.miz A Construction of an Abstract Space of Congruence of Vectors by Grzegorz Lewandowski and Krzysztof Pra\.zmowski

tdlat_1.abs tdlat_1.miz The Lattice of Domains of a Topological Space by Toshihiko Watanabe

tdlat_2.abs tdlat_2.miz Completeness of the Lattices of Domains of a Topological Space by Zbigniew Karno and Toshihiko Watanabe

tdlat_3.abs tdlat_3.miz The Lattice of Domains of an Extremally Disconnected Space by Zbigniew Karno

termord.abs termord.miz Term Orders by Christoph Schwarzweller

tex_1.abs tex_1.miz On Discrete and Almost Discrete Topological Spaces by Zbigniew Karno

tex_2.abs tex_2.miz Maximal Discrete Subspaces of Almost Discrete Topological Spaces by Zbigniew Karno

tex_3.abs tex_3.miz On Nowhere and Everywhere Dense Subspaces of Topological Spaces by Zbigniew Karno

tex_4.abs tex_4.miz Maximal Anti-Discrete Subspaces of Topological Spaces by Zbigniew Karno

tietze.abs tietze.miz Tietze {E}xtension {T}heorem by Artur Korni{\l}owicz , Grzegorz Bancerek and Adam Naumowicz

tietze_2.abs tietze_2.miz Tietze Extension Theorem for $n$-dimensional Spaces by Karol P\kak

tmap_1.abs tmap_1.miz Continuity of Mappings over the Union of Subspaces by Zbigniew Karno

toler_1.abs toler_1.miz Relations of Tolerance by Krzysztof Hryniewiecki

topalg_1.abs topalg_1.miz The Fundamental Group by Artur Korni{\l}owicz , Yasunari Shidama and Adam Grabowski

topalg_2.abs topalg_2.miz The Fundamental Group of Convex Subspaces of TOP-REAL n by Artur Korni{\l}owicz

topalg_3.abs topalg_3.miz On the Isomorphism of Fundamental Groups by Artur Korni{\l}owicz

topalg_4.abs topalg_4.miz On the Fundamental Groups of Products of Topological Spaces by Artur Korni{\l}owicz

topalg_5.abs topalg_5.miz The Fundamental Group of the Circle by Artur Korni{\l}owicz

topalg_6.abs topalg_6.miz Fundamental Group of $n$-sphere for $n \geq 2$ by Marco Riccardi and Artur Korni{\l}owicz

topalg_7.abs topalg_7.miz Commutativeness of Fundamental Groups of Topological Groups by Artur Korni{\l}owicz

topdim_1.abs topdim_1.miz Small {I}nductive {D}imension of {T}opological {S}paces by Karol P\c{a}k

topdim_2.abs topdim_2.miz Small Inductive Dimension of Topological Spaces, Part {II} by Karol P\c{a}k

topgen_1.abs topgen_1.miz On the Boundary and Derivative of a Set by Adam Grabowski

topgen_2.abs topgen_2.miz On the characteristic and weight of a topological space by Grzegorz Bancerek

topgen_3.abs topgen_3.miz On constructing topological spaces and Sorgenfrey line by Grzegorz Bancerek

topgen_4.abs topgen_4.miz On the {B}orel Families of Subsets of Topological Spaces by Adam Grabowski

topgen_5.abs topgen_5.miz Niemytzki Plane -- an Example of {T}ychonoff Space Which Is Not $T_4$ by Grzegorz Bancerek

topgen_6.abs topgen_6.miz Some Properties of the {S}orgenfrey Line and the {S}orgenfrey Plane by Adam J.J. St. Arnaud and Piotr Rudnicki

topgrp_1.abs topgrp_1.miz The Definition and Basic Properties of Topological Groups by Artur Korni{\l}owicz

topmetr.abs topmetr.miz Metric Spaces as Topological Spaces - Fundamental Concepts by Agata Darmochwa{\l} and Yatsuka Nakamura

topmetr2.abs topmetr2.miz Some Facts about Union of Two Functions and Continuity of Union of Functions by Yatsuka Nakamura and Agata Darmochwa{\l}

topmetr3.abs topmetr3.miz Sequences of Metric Spaces and an Abstract Intermediate Value Theorem by Yatsuka Nakamura and Andrzej Trybulec

topreal1.abs topreal1.miz The Topological Space ${\calE}^2_{\rm T}$. Arcs, Line Segments and Special Polygonal Arcs by Agata Darmochwa{\l} and Yatsuka Nakamura

topreal2.abs topreal2.miz The Topological Space ${\calE}^2_{\rm T}$. Simple Closed Curves by Agata Darmochwa{\l} and Yatsuka Nakamura

topreal3.abs topreal3.miz Basic Properties of Connecting Points with Line Segments in ${\calE}^2_{\rm T}$ by Yatsuka Nakamura and Jaros{\l}aw Kotowicz

topreal4.abs topreal4.miz Connectedness Conditions Using Polygonal Arcs by Yatsuka Nakamura and Jaros{\l}aw Kotowicz

topreal5.abs topreal5.miz Intermediate Value Theorem and Thickness of Simple Closed Curves by Yatsuka Nakamura and Andrzej Trybulec

topreal6.abs topreal6.miz Compactness of the Bounded Closed Subsets of TOP-REAL 2 by Artur Korni{\l}owicz

topreal7.abs topreal7.miz Homeomorphism between [:TOP-REAL i,TOP-REAL j:] and TOP-REAL (i+j) by Artur Korni{\l}owicz

topreal8.abs topreal8.miz More on the Finite Sequences on the Plane by Andrzej Trybulec

topreal9.abs topreal9.miz Intersections of Intervals and Balls in TOP-REAL n by Artur Korni{\l}owicz and Yasunari Shidama

topreala.abs topreala.miz Some Properties of Rectangles on the Plane by Artur Korni{\l}owicz and Yasunari Shidama

toprealb.abs toprealb.miz Some Properties of Circles on the Plane by Artur Korni{\l}owicz and Yasunari Shidama

toprealc.abs toprealc.miz On the Continuity of Some Functions by Artur Korni{\l}owicz

toprns_1.abs toprns_1.miz Sequences in $R^n$ by Agnieszka Sakowicz , Jaros{\l}aw Gryko and Adam Grabowski

tops_1.abs tops_1.miz Subsets of Topological Spaces by Miros{\l}aw Wysocki and Agata Darmochwa\l

tops_2.abs tops_2.miz Families of Subsets, Subspaces and Mappings in Topological Spaces by Agata Darmochwa{\l}

tops_3.abs tops_3.miz Remarks on Special Subsets of Topological Spaces by Zbigniew Karno

tops_4.abs tops_4.miz Miscellaneous Facts about Open Functions and Continuous Functions by Artur Korni{\l}owicz

transgeo.abs transgeo.miz Transformations in Affine Spaces by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

translac.abs translac.miz Translations in Affine Planes by Henryk Oryszczyszyn and Krzysztof Pra\.zmowski

treal_1.abs treal_1.miz The Brouwer Fixed Point Theorem for Intervals by Toshihiko Watanabe

trees_1.abs trees_1.miz Introduction to Trees by Grzegorz Bancerek

trees_2.abs trees_2.miz K\"onig's Lemma by Grzegorz Bancerek

trees_3.abs trees_3.miz Sets and Functions of Trees and Joining Operations of Trees by Grzegorz Bancerek

trees_4.abs trees_4.miz Joining of Decorated Trees by Grzegorz Bancerek

trees_9.abs trees_9.miz Subtrees by Grzegorz Bancerek

trees_a.abs trees_a.miz Replacement of Subtrees in a Tree by Oleg Okhotnikov

triang_1.abs triang_1.miz On the concept of the triangulation by Beata Madras

tsep_1.abs tsep_1.miz Separated and Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno

tsep_2.abs tsep_2.miz On a Duality Between Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno

tsp_1.abs tsp_1.miz On Kolmogorov Topological Spaces by Zbigniew Karno

tsp_2.abs tsp_2.miz Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space by Zbigniew Karno

turing_1.abs turing_1.miz Introduction to Turing Machines by Jingchao Chen and Yatsuka Nakamura

twoscomp.abs twoscomp.miz 2's Complement Circuit. Part I. Boolean Operators and 2's Complement Circuit Properties by Katsumi Wasaki and Pauline N. Kawamoto

t_0topsp.abs t_0topsp.miz $T_0$ Topological Spaces by Mariusz \.Zynel and Adam Guzowski

t_1topsp.abs t_1topsp.miz On $T_{1}$ Reflex of Topological Space by Adam Naumowicz and Mariusz {\L}api\'nski

unialg_1.abs unialg_1.miz Basic Notation of Universal Algebra by Jaros{\l}aw Kotowicz, Beata Madras and Ma{\l}gorzata Korolkiewicz

unialg_2.abs unialg_2.miz Subalgebras of the Universal Algebra. Lattices of Subalgebras by Ewa Burakowska

unialg_3.abs unialg_3.miz On the Lattice of Subalgebras of a Universal Algebra by Miros{\l}aw Jan Paszek

uniform1.abs uniform1.miz Lebesgue's Covering Lemma, Uniform Continuity and Segmentation of Arcs by Yatsuka Nakamura and Andrzej Trybulec

uniroots.abs uniroots.miz Primitive Roots of Unity and Cyclotomic Polynomials by Broderick Arneson and Piotr Rudnicki

uproots.abs uproots.miz Little {B}ezout Theorem (Factor Theorem) by Piotr Rudnicki

urysohn1.abs urysohn1.miz Dyadic Numbers and $T_4$ Topological Spaces by J\'ozef Bia\las and Yatsuka Nakamura

urysohn2.abs urysohn2.miz Some Properties of Dyadic Numbers and Intervals by J\'ozef Bia{\l}as and Yatsuka Nakamura

urysohn3.abs urysohn3.miz Urysohn Lemma by J\'ozef Bia{\l}as and Yatsuka Nakamura

valuat_1.abs valuat_1.miz Interpretation and Satisfiability in the First Order Logic by Edmund Woronowicz

valued_0.abs valued_0.miz Number-Valued Functions by Library Committee

valued_1.abs valued_1.miz Properties of Number-Valued Functions by Library Committee

valued_2.abs valued_2.miz Arithmetic Operations on Functions from Sets into Functional Sets by Artur Korni{\l}owicz

vectmetr.abs vectmetr.miz Real Linear-Metric Space and Isometric Functions by Robert Milewski

vectsp10.abs vectsp10.miz Quotient Vector Spaces and Functionals by Jaros{\l}aw Kotowicz

vectsp11.abs vectsp11.miz Eigenvalues of a Linear Transformation by Karol P\c{a}k

vectsp_1.abs vectsp_1.miz Abelian Groups, Fields and Vector Spaces by Eugeniusz Kusak, Wojciech Leo\'nczuk and Micha{\l} Muzalewski

vectsp_2.abs vectsp_2.miz Construction of Rings and Left-, Right-, and Bi-Modules over a Ring by Micha{\l} Muzalewski

vectsp_4.abs vectsp_4.miz Subspaces and Cosets of Subspaces in Vector Space by Wojciech A. Trybulec

vectsp_5.abs vectsp_5.miz Operations on Subspaces in Vector Space by Wojciech A. Trybulec

vectsp_6.abs vectsp_6.miz Linear Combinations in Vector Space by Wojciech A. Trybulec

vectsp_7.abs vectsp_7.miz Basis of Vector Space by Wojciech A. Trybulec

vectsp_8.abs vectsp_8.miz On the Lattice of Subspaces of Vector Space by Andrzej Iwaniuk

vectsp_9.abs vectsp_9.miz Steinitz Theorem and Dimension of a Vector Space by Mariusz \.Zynel

vfunct_1.abs vfunct_1.miz Algebra of Vector Functions by Hiroshi Yamazaki and Yasunari Shidama

vfunct_2.abs vfunct_2.miz Algebra of Complex Vector Valued Functions by Noboru Endou

vsdiff_1.abs vsdiff_1.miz Difference of Function on Vector Space over $\mathbbF$ by Kenichi Arai , Ken Wakabayashi and Hiroyuki Okazaki

waybel10.abs waybel10.miz Closure Operators and Subalgebras by Grzegorz Bancerek

waybel11.abs waybel11.miz Scott Topology by Andrzej Trybulec

waybel12.abs waybel12.miz On the Baire Category Theorem by Artur Korni{\l}owicz

waybel13.abs waybel13.miz Algebraic and Arithmetic Lattices by Robert Milewski

waybel14.abs waybel14.miz The Scott Topology, Part II by Czes{\l}aw Byli\'nski and Piotr Rudnicki

waybel15.abs waybel15.miz More on the Algebraic and Arithmetic Lattices by Robert Milewski

waybel16.abs waybel16.miz Completely-Irreducible Elements by Robert Milewski

waybel17.abs waybel17.miz Scott-Continuous Functions by Adam Grabowski

waybel18.abs waybel18.miz Injective Spaces by Jaros{\l}aw Gryko

waybel19.abs waybel19.miz The Lawson Topology by Grzegorz Bancerek

waybel20.abs waybel20.miz Kernel Projections and Quotient Lattices by Piotr Rudnicki

waybel21.abs waybel21.miz Lawson Topology in Continuous Lattices by Grzegorz Bancerek

waybel22.abs waybel22.miz Representation theorem for free continuous lattices by Piotr Rudnicki

waybel23.abs waybel23.miz Bases of Continuous Lattices by Robert Milewski

waybel24.abs waybel24.miz Scott-Continuous Functions, Part II by Adam Grabowski

waybel25.abs waybel25.miz Injective Spaces, Part { II } by Artur Korni{\l}owicz and Jaros{\l}aw Gryko

waybel26.abs waybel26.miz Continuous Lattices between T$_0$ Spaces by Grzegorz Bancerek

waybel27.abs waybel27.miz Function Spaces in the Category of Directed Suprema Preserving Maps by Grzegorz Bancerek and Adam Naumowicz

waybel28.abs waybel28.miz Lim-inf Convergence by Bart{\l}omiej Skorulski

waybel29.abs waybel29.miz The Characterization of Continuity of Topologies by Grzegorz Bancerek and Adam Naumowicz

waybel30.abs waybel30.miz Meet Continuous Lattices Revisited by Artur Korni{\l}owicz

waybel31.abs waybel31.miz Weights of Continuous Lattices by Robert Milewski

waybel32.abs waybel32.miz On the Order-consistent Topology of Complete and Uncomplete Lattices by Ewa Gr\c{a}dzka

waybel33.abs waybel33.miz Compactness of Lim-inf Topology by Grzegorz Bancerek and Noboru Endou

waybel34.abs waybel34.miz Duality Based on Galois Connection. Part I by Grzegorz Bancerek

waybel35.abs waybel35.miz Morphisms Into Chains, Part {I} by Artur Korni{\l}owicz

waybel_0.abs waybel_0.miz Directed Sets, Nets, Ideals, Filters, and Maps by Grzegorz Bancerek

waybel_1.abs waybel_1.miz Galois Connections by Czes\law Byli\'nski

waybel_2.abs waybel_2.miz Meet-continuous Lattices by Artur Korni{\l}owicz

waybel_3.abs waybel_3.miz The "Way-Below" Relation by Grzegorz Bancerek

waybel_4.abs waybel_4.miz Auxiliary and Approximating Relations by Adam Grabowski

waybel_5.abs waybel_5.miz The Equational Characterization of Continuous Lattices by Mariusz \.Zynel

waybel_6.abs waybel_6.miz Irreducible and Prime Elements by Beata Madras

waybel_7.abs waybel_7.miz Prime Ideals and Filters by Grzegorz Bancerek

waybel_8.abs waybel_8.miz Algebraic Lattices by Robert Milewski

waybel_9.abs waybel_9.miz On The Topological Properties of Meet-Continuous Lattices by Artur Korni{\l}owicz

weddwitt.abs weddwitt.miz Witt's Proof of the {W}edderburn Theorem by Broderick Arneson , Matthias Baaz and Piotr Rudnicki

weierstr.abs weierstr.miz The Theorem of Weierstrass by J\'ozef Bia\las and Yatsuka Nakamura

wellfnd1.abs wellfnd1.miz On same equivalents of well-foundedness by Piotr Rudnicki and Andrzej Trybulec

wellord1.abs wellord1.miz The Well Ordering Relations by Grzegorz Bancerek

wellord2.abs wellord2.miz Zermelo Theorem and Axiom of Choice. The correspondence of well ordering relations and ordinal numbers by Grzegorz Bancerek

wellset1.abs wellset1.miz Zermelo's Theorem by Bogdan Nowak and S{\l}awomir Bia{\l}ecki

wsierp_1.abs wsierp_1.miz The Chinese Remainder Theorem by Andrzej Kondracki

xboolean.abs xboolean.miz On the Arithmetic of Boolean Values by Library Committee

xboole_0.abs xboole_0.miz Boolean Properties of Sets - Definitions by Library Committee

xboole_1.abs xboole_1.miz Boolean Properties of Sets - Theorems by Library Committee

xcmplx_0.abs xcmplx_0.miz Complex Numbers - Basic Definitions by Library Committee

xcmplx_1.abs xcmplx_1.miz Complex Numbers - Basic Theorems by Library Committee

xfamily.abs xfamily.miz Families of Subsets by Andrzej Trybulec

xreal_0.abs xreal_0.miz Introduction to Arithmetic of Real Numbers by Library Committee

xreal_1.abs xreal_1.miz Real Numbers - Basic Theorems by Library Committee

xregular.abs xregular.miz Consequences of Regularity Axiom by Andrzej Trybulec

xtuple_0.abs xtuple_0.miz Kuratowski Pairs. {T}uples and Projections by Grzegorz Bancerek, Artur Korni\l owicz and Andrzej Trybulec

xxreal_0.abs xxreal_0.miz Introduction to Arithmetic of Extended Real Numbers by Library Committee

xxreal_1.abs xxreal_1.miz Basic Properties of Extended Real Numbers by Andrzej Trybulec, Yatsuka Nakamura, Artur Korni{\l}owicz and Adam Grabowski

xxreal_2.abs xxreal_2.miz Suprema and Infima of Intervals of Extended Real Numbers by Andrzej Trybulec

xxreal_3.abs xxreal_3.miz Basic Operations on Extended Real Numbers by Andrzej Trybulec

yellow10.abs yellow10.miz The Properties of Product of Relational Structures by Artur Korni{\l}owicz

yellow11.abs yellow11.miz On the Characterization of Modular and Distributive Lattices by Adam Naumowicz

yellow12.abs yellow12.miz On the Characterization of {H}ausdorff Spaces by Artur Korni{\l}owicz

yellow13.abs yellow13.miz Introduction to Meet-Continuous Topological Lattices by Artur Korni{\l}owicz

yellow14.abs yellow14.miz Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces by Jaros{\l}aw Gryko and Artur Korni{\l}owicz

yellow15.abs yellow15.miz Components and Basis of Topological Spaces by Robert Milewski

yellow16.abs yellow16.miz Retracts and Inheritance by Grzegorz Bancerek

yellow17.abs yellow17.miz The Tichonov Theorem by Bart{\l}omiej Skorulski

yellow18.abs yellow18.miz Concrete Categories by Grzegorz Bancerek

yellow19.abs yellow19.miz On the characterizations of compactness by Grzegorz Bancerek , Noboru Endou and Yuji Sakai

yellow20.abs yellow20.miz Miscellaneous Facts about Functors by Grzegorz Bancerek

yellow21.abs yellow21.miz Categorial Background for Duality Theory by Grzegorz Bancerek

yellow_0.abs yellow_0.miz Bounds in Posets and Relational Substructures by Grzegorz Bancerek

yellow_1.abs yellow_1.miz Boolean Posets, Posets under Inclusion and Products of Relational Structures by Adam Grabowski and Robert Milewski

yellow_2.abs yellow_2.miz Properties of Relational Structures, Posets, Lattices and Maps by Mariusz \.Zynel and Czes{\l}aw Byli\'nski

yellow_3.abs yellow_3.miz Cartesian Products of Relations and Relational Structures by Artur Korni{\l}owicz

yellow_4.abs yellow_4.miz Definitions and Properties of the Join and Meet of Subsets by Artur Korni{\l}owicz

yellow_5.abs yellow_5.miz Miscellaneous Facts about Relation Structure by Agnieszka Julia Marasik

yellow_6.abs yellow_6.miz Moore-Smith Convergence by Andrzej Trybulec

yellow_7.abs yellow_7.miz Duality in Relation Structures by Grzegorz Bancerek

yellow_8.abs yellow_8.miz Baire Spaces, Sober Spaces by Andrzej Trybulec

yellow_9.abs yellow_9.miz Bases and Refinements of Topologies by Grzegorz Bancerek

yoneda_1.abs yoneda_1.miz Yoneda Embedding by Miros{\l}aw Wojciechowski

zfmisc_1.abs zfmisc_1.miz Some Basic Properties of Sets by Czes{\l}aw Byli\'nski

zfmodel1.abs zfmodel1.miz Properties of ZF Models by Grzegorz Bancerek

zfmodel2.abs zfmodel2.miz Definable Functions by Grzegorz Bancerek

zfrefle1.abs zfrefle1.miz Consequences of the Reflection Theorem by Grzegorz Bancerek

zf_colla.abs zf_colla.miz The Contraction Lemma by Grzegorz Bancerek

zf_fund1.abs zf_fund1.miz Mostowski's Fundamental Operations - Part I by Andrzej Kondracki

zf_fund2.abs zf_fund2.miz Mostowski's Fundamental Operations - Part II by Grzegorz Bancerek and Andrzej Kondracki

zf_lang.abs zf_lang.miz A Model of ZF Set Theory Language by Grzegorz Bancerek

zf_lang1.abs zf_lang1.miz Replacing of Variables in Formulas of ZF Theory by Grzegorz Bancerek

zf_model.abs zf_model.miz Models and Satisfiability. Defining by Structural Induction and Free Variables in ZF-formulae by Grzegorz Bancerek

zf_refle.abs zf_refle.miz The Reflection Theorem by Grzegorz Bancerek

zmatrlin.abs zmatrlin.miz Matrix of $\mathbb Z$-module by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul01.abs zmodul01.miz $\mathbb Z$-modules by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul02.abs zmodul02.miz Quotient Module of $\mathbb Z$-module by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul03.abs zmodul03.miz Free $\mathbb Z$-module by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul04.abs zmodul04.miz Submodule of free $\mathbb Z$-module by Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul05.abs zmodul05.miz Rank of Submodule, Linear Transformations and Linearly Independent Subsets of $\mathbb Z$-module by Kazuhisa Nakasho , Yuichi Futa , Hiroyuki Okazaki and Yasunari Shidama

zmodul06.abs zmodul06.miz Torsion $\mathbb Z$-module and Torsion-free $\mathbb Z$-module by Yuichi Futa , Hiroyuki Okazaki , Kazuhisa Nakasho and Yasunari Shidama