Index of MML Identifiers. Ver. 81045361267


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


a
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
b
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
c
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
d
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
e
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
f
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
g
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
h
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
i
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
j
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
k
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
l
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
m
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
n
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
o
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
p
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
q
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
r
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
s
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
t
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
u
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
v
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
w
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
x
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
y
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
z
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