lukasi_1: Propositional Calculus by Grzegorz Bancerek, Agata Darmochwal, Andrzej Trybulec
procal_1: Calculus of Propositions by Jan Popiolek, Andrzej Trybulec
hilbert1: Hilbert Positive Propositional Calculus by Adam Grabowski
03B10: Classical first-order logic
qc_lang1: A First Order Language by Piotr Rudnicki, Andrzej Trybulec
qc_lang2: Connectives and Subformulae of the First Order Language by Grzegorz Bancerek
qc_lang3: Variables in Formulae of the First Order Language by Czeslaw Bylinski, Grzegorz Bancerek
cqc_lang: A Classical First Order Language by Czeslaw Bylinski
cqc_the1: A First-Order Predicate Calculus by Agata Darmochwal
valuat_1: Interpretation and Satisfiability in the First Order Logic by Edmund Woronowicz
cqc_the2: Calculus of Quantifiers. Deduction Theorem by Agata Darmochwal
cqc_sim1: Similarity of Formulae by Agata Darmochwal, Andrzej Trybulec
cqc_the3: Logical Equivalence of Formulae by Oleg Okhotnikov
qc_lang4: The Subformula Tree of a Formula of the First Order Language by Oleg Okhotnikov
substut1: Substitution in First-Order Formulas: Elementary Properties by Patrick Braselmann, Peter Koepke
sublemma: Coincidence Lemma and Substitution Lemma by Patrick Braselmann, Peter Koepke
substut2: Substitution in First-Order Formulas. Part II. The Construction of First-Order Formulas by Patrick Braselmann, Peter Koepke
calcul_1: A Sequent Calculus for First-Order Logic by Patrick Braselmann, Peter Koepke
calcul_2: Consequences of the Sequent Calculus by Patrick Braselmann, Peter Koepke
henmodel: Equivalences of Inconsistency and Henkin Models by Patrick Braselmann, Peter Koepke
goedelcp: G\"odel's Completeness Theorem by Patrick Braselmann, Peter Koepke
substlat: Lattice of Substitutions by Adam Grabowski
fomodel0: Preliminaries to Classical First-order Model Theory by Marco B. Caminati
fomodel1: Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms. by Marco B. Caminati
fomodel2: First order languages: syntax, part two; semantics. by Marco B. Caminati
fomodel3: Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages. by Marco B. Caminati
fomodel4: Sequent calculus, derivability, provability. Goedel's completeness theorem. by Marco B. Caminati
qc_trans: Transition of Consistency and Satisfiability under Language Extensions by Julian J. Schl"oder, Peter Koepke
goedcpuc: The G\"odel Completeness Theorem for Uncountable Languages by Julian J. Schl"oder, Peter Koepke
03B44: Temporal logic
ltlaxio2: The Derivations of Temporal Logic Formulas by Mariusz Giero
ltlaxio3: The Properties of Sets of Temporal Logic Subformulas by Mariusz Giero
ltlaxio4: Weak Completeness Theorem for Propositional Linear Time Temporal Logic by Mariusz Giero
03B45: Modal logic (including the logic of norms) (For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45)
modal_1: Introduction to Modal Propositional Logic by Alicia de~la~Cruz
03B70: Logic in computer science [See also 68-XX]
intpro_1: Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part I by Takao Inoue
03Cxx: Model theory
03C62: Models of arithmetic and set theory [See also 03Hxx]
zf_lang: A Model of ZF Set Theory Language by Grzegorz Bancerek
zf_model: Models and Satisfiability by Grzegorz Bancerek
zf_colla: The Contraction Lemma by Grzegorz Bancerek
zfmodel1: Properties of ZF Models by Grzegorz Bancerek
zf_lang1: Replacing of Variables in Formulas of ZF Theory by Grzegorz Bancerek
zf_refle: The Reflection Theorem by Grzegorz Bancerek
zfrefle1: Consequences of the Reflection Theorem by Grzegorz Bancerek
zfmodel2: Definable Functions by Grzegorz Bancerek
zf_fund1: Mostowski's Fundamental Operations --- Part I by Andrzej Kondracki
zf_fund2: Mostowski's Fundamental Operations --- Part II by Grzegorz Bancerek, Andrzej Kondracki
03Dxx: Computability and recursion theory
03D20: Recursive functions and relations, subrecursive hierarchies
recdef_2: Recursive Definitions. Part II by Artur Kornilowicz
03Exx: Set theory
03E02: Partition relations
eqrel_1: Equivalence Relations and Classes of Abstraction by Konrad Raczkowski, Pawel Sadowski
partit1: A Theory of Partitions. Part I by Shunichi Kobayashi, Kui Jia
03E04: Ordered sets and their cofinalities; pcf theory
orders_1: Partially Ordered Sets by Wojciech A. Trybulec
03E10: Ordinal and cardinal numbers
ordinal1: The Ordinal Numbers by Grzegorz Bancerek
wellord1: The Well Ordering Relations by Grzegorz Bancerek
numerals: Numerals --- Requirements by Library Committee
ordinal2: Sequences of Ordinal Numbers by Grzegorz Bancerek
ordinal3: Ordinal Arithmetics by Grzegorz Bancerek
card_1: Cardinal Numbers by Grzegorz Bancerek
classes1: Tarski's Classes and Ranks by Grzegorz Bancerek
card_3: K\"onig's Theorem by Grzegorz Bancerek
card_2: Cardinal Arithmetics by Grzegorz Bancerek
classes2: Universal Classes by Bogdan Nowak, Grzegorz Bancerek
ordinal4: Increasing and Continuous Ordinal Sequences by Grzegorz Bancerek
card_4: Countable Sets and Hessenberg's Theorem by Grzegorz Bancerek
card_5: On Powers of Cardinals by Grzegorz Bancerek
ordinal5: Epsilon Numbers and Cantor Normal Form by Grzegorz Bancerek
ordinal6: Veblen Hierarchy by Grzegorz Bancerek
03E20: Other classical set theory (including functions, relations, and set algebra)
xboole_0: Boolean Properties of Sets --- Definitions by Library Committee
boole: Boolean Properties of Sets --- Requirements by Library Committee
xboole_1: Boolean Properties of Sets --- Theorems by Library Committee
enumset1: Enumerated Sets by Andrzej Trybulec
xtuple_0: Kuratowski pairs. Tuples and projections. by Grzegorz Bancerek, Artur Kornilowicz, Andrzej Trybulec
xregular: by
zfmisc_1: Some Basic Properties of Sets by Czeslaw Bylinski
subset_1: Properties of Subsets by Zinaida Trybulec
subset: Basic Properties of Subsets --- Requirements by Library Committee
setfam_1: Families of Sets by Beata Padlewska
relat_1: Relations and Their Basic Properties by Edmund Woronowicz
funct_1: Functions and Their Basic Properties by Czeslaw Bylinski
grfunc_1: Graphs of Functions by Czeslaw Bylinski
relat_2: Properties of Binary Relations by Edmund Woronowicz, Anna Zalewska
relset_1: Relations Defined on Sets by Edmund Woronowicz
partfun1: Partial Functions by Czeslaw Bylinski
mcart_1: Tuples, Projections and Cartesian Products by Andrzej Trybulec
funct_2: Functions from a Set to a Set by Czeslaw Bylinski
binop_1: Binary Operations by Czeslaw Bylinski
domain_1: Domains and Their Cartesian Products by Andrzej Trybulec
funct_3: Basic Functions and Operations on Functions by Czeslaw Bylinski
funcop_1: Binary Operations Applied to Functions by Andrzej Trybulec
funct_4: The Modification of a Function by a Function and the Iteration of the Composition of a Function by Czeslaw Bylinski
multop_1: Three-Argument Operations and Four-Argument Operations by Michal Muzalewski, Wojciech Skaba
sysrel: Some Properties of Binary Relations by Waldemar Korczynski
finset_1: Finite Sets by Agata Darmochwal
pboole: Many-sorted Sets by Andrzej Trybulec
finsub_1: Boolean Domains by Andrzej Trybulec, Agata Darmochwal
fraenkel: Function Domains and Fr\aenkel Operator by Andrzej Trybulec
funct_5: Curried and Uncurried Functions by Grzegorz Bancerek
partfun2: Partial Functions from a Domain to a Domain by Jaroslaw Kotowicz
funct_6: Cartesian Product of Functions by Grzegorz Bancerek
membered: On the Sets Inhabited by Numbers by Andrzej Trybulec
valued_0: Number-valued Functions by Library Committee
binop_2: Binary Operations on Numbers by Library Committee
member_1: Collective Operations on Number-Membered Sets by Artur Kornilowicz
margrel1: Many-Argument Relations by Edmund Woronowicz
toler_1: Relations of Tolerance by Krzysztof Hryniewiecki
rfunct_1: Partial Functions from a Domain to the Set of Real Numbers by Jaroslaw Kotowicz
funct_7: Miscellaneous Facts about Functions by Grzegorz Bancerek, Andrzej Trybulec
scheme1: Schemes of Existence of Some Types of Functions by Jaroslaw Kotowicz
abian: Abian's Fixed Point Theorem by Piotr Rudnicki, Andrzej Trybulec
pzfmisc1: Some Basic Properties of Many Sorted Sets by Artur Kornilowicz
mssubfam: Certain Facts about Families of Subsets of Many Sorted Sets by Artur Kornilowicz
relset_2: Properties of First and Second Order Cutting of Binary Relations by Krzysztof Retel
03E25: Axiom of choice and related propositions
wellord2: Zermelo Theorem and Axiom of Choice by Grzegorz Bancerek
wellset1: Zermelo's Theorem by Bogdan Nowak, Slawomir Bialecki
orders_2: Kuratowski - Zorn Lemma by Wojciech A. Trybulec, Grzegorz Bancerek
03E30: Axiomatics of classical set theory and its fragments
tarski: Tarski Grothendieck Set Theory by Andrzej Trybulec
03E55: Large cardinals
card_fil: Basic Facts about Inaccessible and Measurable Cardinals by Josef Urban
card_lar: Mahlo and Inaccessible Cardinals by Josef Urban
03E99: None of the above, but in this section
finseq_1: Segments of Natural Numbers and Finite Sequences by Grzegorz Bancerek, Krzysztof Hryniewiecki
finseq_2: Finite Sequences and Tuples of Elements of a Non-empty Sets by Czeslaw Bylinski
finseqop: Binary Operations Applied to Finite Sequences by Czeslaw Bylinski
finseq_3: Non-contiguous Substrings and One-to-one Finite Sequences by Wojciech A. Trybulec
comseq_1: Complex Sequences by Agnieszka Banachowicz, Anna Winnicka
comseq_2: Conjugate Sequences, Bounded Complex Sequences and Convergent Complex Sequences by Adam Naumowicz
finseq_4: Pigeon Hole Principle by Wojciech A. Trybulec
finsop_1: Binary Operations on Finite Sequences by Wojciech A. Trybulec
seqm_3: Monotone Real Sequences. Subsequences by Jaroslaw Kotowicz
rfinseq: Functions and Finite Sequences of Real Numbers by Jaroslaw Kotowicz
finseq_5: Some Properties of Restrictions of Finite Sequences by Czeslaw Bylinski
finseq_6: On the Decomposition of Finite Sequences by Andrzej Trybulec
seqfunc: Functional Sequence from a Domain to a Domain by Beata Perkowska
afinsq_1: Zero-Based Finite Sequences by Tetsuya Tsunetou, Grzegorz Bancerek, Yatsuka Nakamura
finseq_7: On Replace Function and Swap Function for Finite Sequences by Hiroshi Yamazaki, Yoshinori Fujisawa, Yatsuka Nakamura
finseq_8: Concatenation of Finite Sequences Reducing Overlapping Part and an Argument of Separators of Sequential Files by Hirofumi Fukura, Yatsuka Nakamura
afinsq_2: Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences by Yatsuka Nakamura, Hisashi Ito
wellfnd1: On Same Equivalents of Well-foundedness by Piotr Rudnicki, Andrzej Trybulec
03Gxx: Algebraic logic
03G05: Boolean algebras [See also 06Exx]
xboolean: On the Arithmetic of Boolean Values by Library Committee
mboolean: Definitions and Basic Properties of Boolean and Union of Many Sorted Sets by Artur Kornilowicz
03G25: Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35]
normform: Algebra of Normal Forms by Andrzej Trybulec
heyting1: Algebra of Normal Forms Is a Heyting Algebra by Andrzej Trybulec
heyting2: Lattice of Substitutions is a Heyting Algebra by Adam Grabowski
heyting3: The Incompleteness of the Lattice of Substitutions by Adam Grabowski
05-XX: COMBINATORICS (For finite fields, see 11Txx)
05Axx: Enumerative combinatorics (For enumeration in graph theory, see 05C30)
05A10: Factorials, binomial coeficients, combinatorial functions [See also 11B65, 33Cxx]
newton: Factorial and Newton Coefficients by Rafal Kwiatek
05Cxx: Graph theory (For applications of graphs, see 68R10, 81Q30, 81T15, 82B20, 82C20, 90C35, 92E10, 94C15)
05C05: Trees
trees_1: Introduction to Trees by Grzegorz Bancerek
trees_2: K\"onig's Lemma by Grzegorz Bancerek
trees_a: Replacement of Subtrees in a Tree by Oleg Okhotnikov
trees_3: Sets and Functions of Trees and Joining Operations of Trees by Grzegorz Bancerek
trees_4: Joining of Decorated Trees by Grzegorz Bancerek
trees_9: Subtrees by Grzegorz Bancerek
huffman1: Constructing Binary Huffman Tree by Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
05C17: Perfect graphs
mycielsk: The Mycielskian of a Graph by Piotr Rudnicki, Lorna Stewart
05C20: Directed graphs (digraphs), tournaments
glib_000: Alternative Graph Structures by Gilbert Lee, Piotr Rudnicki
graph_1: Graphs by Krzysztof Hryniewiecki
05C40: Connectivity
friends1: The Friendship Theorem by Karol Pak
05C99: None of the above, but in this section
msscyc_1: The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. Part I by Czeslaw Bylinski, Piotr Rudnicki
msscyc_2: The Correspondence Between Monotonic Many Sorted Signatures and Well-Founded Graphs. Part II by Czeslaw Bylinski, Piotr Rudnicki
necklace: The Class of Series -- Parallel Graphs. Part I by Krzysztof Retel
neckla_2: The Class of Series-Parallel Graphs. Part II by Krzysztof Retel
neckla_3: The Class of Series-Parallel Graphs. Part III by Krzysztof Retel
06-XX: ORDER, LATTICES, ORDERED ALGEBRAIC STRUCTURES [See also 18B35]
06Axx: Ordered sets
06A06: Partial order, general
yellow_0: Bounds in Posets and Relational Substructures by Grzegorz Bancerek
yellow_1: Boolean Posets, Posets under Inclusion and Products of Relational Structures by Adam Grabowski, Robert Milewski
waybel_0: Directed Sets, Nets, Ideals, Filters, and Maps by Grzegorz Bancerek
yellow_2: Properties of Relational Structures, Posets, Lattices and Maps by Mariusz Zynel, Czeslaw Bylinski
yellow_5: Miscellaneous Facts about Relation Structure by Agnieszka Julia Marasik
yellow_7: Duality in Relation Structures by Grzegorz Bancerek
yellow16: Retracts and Inheritance by Grzegorz Bancerek
06A11: Algebraic aspects of posets
yellow10: The Properties of Product of Relational Structures by Artur Kornilowicz
06A15: Galois correspondences, closure operators
waybel_1: Galois Connections by Czeslaw Bylinski
waybel10: Closure Operators and Subalgebras by Grzegorz Bancerek
waybel34: Duality Based on Galois Connection. Part I by Grzegorz Bancerek
06Bxx: Lattices [See also 03G10]
06B05: Structure theory
lattices: Introduction to Lattice Theory by Stanislaw Zukowski
lattice2: Finite Join and Finite Meet, and Dual Lattices by Andrzej Trybulec
06B10: Ideals, congruence relations
filter_0: Filters --- Part I by Grzegorz Bancerek
filter_1: Filters - Part II. Quotient Lattices Modulo Filters and Direct Product of Two Lattices by Grzegorz Bancerek
waybel_7: Prime Ideals and Filters by Grzegorz Bancerek
filter_2: Ideals by Grzegorz Bancerek
waybel20: Kernel Projections and Quotient Lattices by Piotr Rudnicki
06B23: Complete lattices, completions
waybel11: Scott Topology by Andrzej Trybulec
waybel14: The Scott Topology. Part II by Czeslaw Bylinski, Piotr Rudnicki
waybel17: Scott-Continuous Functions by Adam Grabowski
waybel19: The Lawson Topology by Grzegorz Bancerek
waybel21: Lawson Topology in Continuous Lattices by Grzegorz Bancerek
waybel28: Lim-Inf Convergence by Bartlomiej Skorulski
waybel29: The Characterization of the Continuity of Topologies by Grzegorz Bancerek, Adam Naumowicz
06B30: Topological lattices, order topologies [See also 06F30, 22A26, 54F05, 54H12]
yellow13: Introduction to Meet-Continuous Topological Lattices by Artur Kornilowicz
06B35: Continuous lattices and posets, applications [See also 06B30, 06D10, 06F30, 18B35, 22A26, 68Q55]
waybel_2: Meet -- Continuous Lattices by Artur Kornilowicz
waybel_3: The ``Way-Below'' Relation by Grzegorz Bancerek
waybel_5: The Equational Characterization of Continuous Lattices by Mariusz Zynel
waybel_4: Auxiliary and Approximating Relations by Adam Grabowski
waybel_6: Irreducible and Prime Elements by Beata Madras (Beata Madras-Kobus)
waybel_8: Algebraic Lattices by Robert Milewski
waybel_9: On the Topological Properties of Meet-Continuous Lattices by Artur Kornilowicz
yellow11: On the Characterization of Modular and Distributive Lattices by Adam Naumowicz
waybel13: Algebraic and Arithmetic Lattices. Part I by Robert Milewski
waybel15: Algebraic and Arithmetic Lattices. Part II by Robert Milewski
waybel16: Completely-Irreducible Elements by Robert Milewski
waybel22: Representation Theorem for Free Continuous Lattices by Piotr Rudnicki
waybel23: Bases of Continuous Lattices by Robert Milewski
waybel26: Continuous Lattices of Maps between T$_0$ Spaces by Grzegorz Bancerek
waybel27: Function Spaces in the Category of Directed Suprema Preserving Maps by Grzegorz Bancerek, Adam Naumowicz
waybel30: Meet Continuous Lattices Revisited by Artur Kornilowicz
waybel31: Weights of Continuous Lattices by Robert Milewski
waybel35: Morphisms Into Chains. Part I by Artur Kornilowicz
06B99: None of the above, but in this section
setwiseo: Semilattice Operations on Finite Subsets by Andrzej Trybulec
real_lat: The Lattice of Real Numbers. The Lattice of Real Functions by Marek Chmur
nat_lat: The Lattice of Natural Numbers and The Sublattice of it. The Set of Prime Numbers. by Marek Chmur
yellow_4: Definitions and Properties of the Join and Meet of Subsets by Artur Kornilowicz
yellow_9: Bases and Refinements of Topologies by Grzegorz Bancerek
06Dxx: Distributive lattices
06D99: None of the above, but in this section
latticea: Prime Filters and Ideals in Distributive Lattices by Adam Grabowski
06Exx: Boolean algebras (Boolean rings) [See also 03G05]
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.) [See also 03G25, 03F45]
robbins1: Robbins Algebras vs. Boolean Algebras by Adam Grabowski
06E30: Boolean functions [See also 94C10]
bvfunc_1: A Theory of Boolean Valued Functions and Partitions by Shunichi Kobayashi, Kui Jia
bvfunc_2: A Theory of Boolean Valued Functions and Quantifiers with Respect to Partitions by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc_3: Predicate Calculus for Boolean Valued Functions. Part I by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc_4: Predicate Calculus for Boolean Valued Functions. Part II by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc_5: Propositional Calculus for Boolean Valued Functions. Part I by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc_6: Propositional Calculus for Boolean Valued Functions. Part II by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc_7: Propositional Calculus for Boolean Valued Functions. Part III by Shunichi Kobayashi
bvfunc_8: Propositional Calculus for Boolean Valued Functions. Part IV by Shunichi Kobayashi
bvfunc_9: Propositional Calculus for Boolean Valued Functions. Part V by Shunichi Kobayashi
bvfunc10: Propositional Calculus for Boolean Valued Functions. Part VI by Shunichi Kobayashi
bvfunc11: Predicate Calculus for Boolean Valued Functions. Part III by Shunichi Kobayashi, Yatsuka Nakamura
bvfunc14: Predicate Calculus for Boolean Valued Functions. Part VI by Shunichi Kobayashi
bvfunc25: Propositional Calculus for Boolean Valued Functions. Part VII by Shunichi Kobayashi
bvfunc26: Propositional Calculus for Boolean Valued Functions. Part VIII by Shunichi Kobayashi
06Fxx: Ordered structures
06F25: Ordered rings, algebras, modules (For ordered fields, see 12J15; see also 13J25, 16W80)
termord: Term Orders by Christoph Schwarzweller
06F35: BCK-algebras, BCI-algebras [See also 03G25]
bcialg_1: Several Classes of BCI-algebras and Their Properties by Yuzhong Ding
bcialg_2: Congruences and Quotient Algebras of BCI-algebras by Yuzhong Ding, Zhiyong Pang
bcialg_3: Several Classes of BCK-algebras and Their Properties by Tao Sun, Dahai Hu, Xiquan Liang
bcialg_4: BCI-Algebras with Condition (S) and Their Properties by Tao Sun, Junjie Zhao, Xiquan Liang
bcialg_5: General Theory of Quasi-Commutative BCI-algebras by Tao Sun, Weibo Pan, Chenglong Wu, Xiquan Liang
bcialg_6: BCI-Homomorphisms by Yuzhong Ding, Fuguo Ge, Chenglong Wu
08-XX: GENERAL ALGEBRAIC SYSTEMS
08Axx: Algebraic structures [See also 03C05]
08A02: Relational systems, laws of composition
yellow_3: Cartesian Products of Relations and Relational Structures by Artur Kornilowicz
08A05: Structure theory
struct_0: Preliminaries to Structures by Library Committee
instalg1: Institution of Many Sorted Algebras. Part I: Signature Reduct of an Algebra by Grzegorz Bancerek
algspec1: Technical Preliminaries to Algebraic Specifications by Grzegorz Bancerek
08A30: Subalgebras, congruence relations
tdgroup: A Construction of an Abstract Space of Congruence of Vectors by Grzegorz Lewandowski, Krzysztof Prazmowski
unialg_2: Subalgebras of the Universal Algebra. Lattices of Subalgebras by Ewa Burakowska
msualg_2: Subalgebras of Many Sorted Algebra. Lattice of Subalgebras by Ewa Burakowska
msualg_5: Lattice of Congruences in Many Sorted Algebra by Robert Milewski
msualg_7: More on the Lattice of Many Sorted Equivalence Relations by Robert Milewski
unialg_3: On the Lattice of Subalgebras of a Universal Algebra by Miroslaw Jan Paszek
msualg_8: More on the Lattice of Congruences in Many Sorted Algebra by Robert Milewski
msualg_9: On the Trivial Many Sorted Algebras and Many Sorted Congruences by Artur Kornilowicz
08A35: Automorphisms, endomorphisms
autalg_1: On the Group of Automorphisms of Universal Algebra and Many Sorted Algebra by Artur Kornilowicz
endalg: On the Monoid of Endomorphisms of Universal Algebra and Many Sorted Algebra by Jaroslaw Gryko
08A40: Operations, polynomials, primal algebras
polyalg1: The Algebra of Polynomials by Ewa Gradzka
08A55: Partial algebras
pua2mss1: Minimal Signature for Partial Algebra by Grzegorz Bancerek
08A99: None of the above, but in this section
unialg_1: Basic Notation of Universal Algebra by Jaroslaw Kotowicz, Beata Madras (Beata Madras-Kobus), Malgorzata Korolkiewicz
msualg_1: Many Sorted Algebras by Andrzej Trybulec
msualg_3: Homomorphisms of Many Sorted Algebras by Malgorzata Korolkiewicz
alg_1: Homomorphisms of Algebras. Quotient Universal Algebra by Malgorzata Korolkiewicz
msualg_4: Many Sorted Quotient Algebra by Malgorzata Korolkiewicz
msuhom_1: The Correspondence Between Homomorphisms of Universal Algebra \& Many Sorted Algebra by Adam Grabowski
aff_1: Parallelity and Lines in Affine Spaces by Henryk Oryszczyszyn, Krzysztof Prazmowski
aff_2: Classical Configurations in Affine Planes by Henryk Oryszczyszyn, Krzysztof Prazmowski
aff_3: Affine Localizations of Desargues Axiom by Eugeniusz Kusak, Henryk Oryszczyszyn, Krzysztof Prazmowski
transgeo: Transformations in Affine Spaces by Henryk Oryszczyszyn, Krzysztof Prazmowski
aff_4: Planes in Affine Spaces by Wojciech Leonczuk, Henryk Oryszczyszyn, Krzysztof Prazmowski
afproj: A Projective Closure and Projective Horizon of an Affine Space by Henryk Oryszczyszyn, Krzysztof Prazmowski
15-XX: LINEAR AND MULTILINEAR ALGEBRA; MATRIX THEORY
15Axx: Basic linear algebra
15A03: Vector spaces, linear dependence, rank
rlvect_1: Vectors in Real Linear Space by Wojciech A. Trybulec
rlsub_1: Subspaces and Cosets of Subspaces in Real Linear Space by Wojciech A. Trybulec
vectsp_1: Abelian Groups, Fields and Vector Spaces by Eugeniusz Kusak, Wojciech Leonczuk, Michal Muzalewski
rlsub_2: Operations on Subspaces in Real Linear Space by Wojciech A. Trybulec
rlvect_2: Linear Combinations in Real Linear Space by Wojciech A. Trybulec
rlvect_3: Basis of Real Linear Space by Wojciech A. Trybulec
vectsp_4: Subspaces and Cosets of Subspaces in Vector Space by Wojciech A. Trybulec
vectsp_5: Operations on Subspaces in Vector Space by Wojciech A. Trybulec
vectsp_6: Linear Combinations in Vector Space by Wojciech A. Trybulec
vectsp_7: Basis of Vector Space by Wojciech A. Trybulec
rlvect_5: The Steinitz Theorem and the Dimension of a Real Linear Space by Jing-Chao Chen
vectsp_9: The Steinitz Theorem and the Dimension of a Vector Space by Mariusz Zynel
vectsp_8: On the Lattice of Subspaces of a Vector Space by Andrzej Iwaniuk
vectsp10: Quotient Vector Spaces and Functionals by Jaroslaw Kotowicz
nbvectsp: $n$-dimensional Binary Vector Spaces by Kenichi Arai, Hiroyuki Okazaki
15A04: Linear transformations, semilinear transformations
matrlin2: Linear Map of Matrices by Karol Pak
15A06: Linear equations
matrix15: Solutions of Linear Equations by Karol Pak
15A09: Matrix inversion, generalized inverses
matrix14: Invertibility of Matrices of Field Elements by Yatsuka Nakamura, Kunio Oniumi, Wenpai Chang
15A15: Determinants, permanents, other special matrix functions [See also 19B10, 19B14]
matrix_0: by
matrix_3: The Product and the Determinant of Matrices with Entries in a Field by Katarzyna Zawadzka
matrix_4: Calculation of Matrices of Field Elements. Part I by Yatsuka Nakamura, Hiroshi Yamazaki
matrix_7: Determinant of Some Matrices of Field Elements by Yatsuka Nakamura
matrix_9: On the Permanent of a Matrix by Ewa Romanowicz, Adam Grabowski
matrix11: Basic Properties of Determinants of Square Matrices over a Field by Karol Pak
matrixr2: Determinant and Inverse of Matrices of Real Elements by Nobuyuki Tamura, Yatsuka Nakamura
matrix13: Basic Properties of the Rank of Matrices over a Field by Karol Pak
15A18: Eigenvalues, singular values, and eigenvectors
vectsp11: Eigenvalues of a Linear Transformation by Karol Pak
15A23: Factorization of matrices
matrixj1: Block Diagonal Matrices by Karol Pak
matrixj2: Jordan Matrix Decomposition by Karol Pak
15A30: Algebraic systems of matrices [See also 16S50, 20Gxx, 20Hxx]
matrix_1: Matrices. Abelian Group of Matrices by Katarzyna Jankowska (Katarzyna Zawadzka)
matrix_2: Transpose Matrices and Groups of Permutations by Katarzyna Jankowska (Katarzyna Zawadzka)
matrlin: Associated Matrix of Linear Map by Robert Milewski
15A63: Quadratic and bilinear forms, inner products [See mainly 11Exx]
symsp_1: Construction of a bilinear antisymmetric form in symplectic vector space by Eugeniusz Kusak, Wojciech Leonczuk, Michal Muzalewski
15A99: Miscellaneous topics
matrix_5: A Theory of Matrices of Complex Elements by Wenpai Chang, Hiroshi Yamazaki, Yatsuka Nakamura
matrixr1: A Theory of Matrices of Real Elements by Yatsuka Nakamura, Nobuyuki Tamura, Wenpai Chang
matrixc1: The Inner Product and Conjugate of Matrix of Complex Numbers by Wenpai Chang, Hiroshi Yamazaki, Yatsuka Nakamura
matrix_6: Some Properties Of Some Special Matrices by Xiaopeng Yue, Xiquan Liang, Zhongpin Sun
matrix10: Some Special Matrices of Real Elements and Their Properties by Xiquan Liang, Fuguo Ge, Xiaopeng Yue
matrix12: Some Properties of Line and Column Operations of Matrices by Xiquan Liang, Tao Sun, Dahai Hu
matrix16: Basic Properties of Circulant Matrices and Anti-circular Matrices by Xiaopeng Yue, Xiquan Liang
matrix17: Some Basic Properties of Some Special Matrices, Part III by Xiquan Liang, Tao Wang
16-XX: ASSOCIATIVE RINGS AND ALGEBRAS (For the commutative case, see 13-XX)
16Dxx: Modules, bimodules and ideals
16D10: General module theory
mod_2: Rings and Modules --- Part II by Michal Muzalewski
lmod_5: Linear Independence in Left Module over Domain by Michal Muzalewski, Wojciech Skaba
rmod_2: Submodules and Cosets of Submodules in Right Module over Associative Ring by Michal Muzalewski, Wojciech Skaba
rmod_3: Operations on Submodules in Right Module over Associative Ring by Michal Muzalewski, Wojciech Skaba
rmod_4: Linear Combinations in Right Module over Associative Ring by Michal Muzalewski, Wojciech Skaba
mod_3: Free Modules by Michal Muzalewski
lmod_6: Submodules by Michal Muzalewski
mod_4: Opposite Rings, Modules and Their Morphisms by Michal Muzalewski
lmod_7: Domains of Submodules, Join and Meet of Finite Sequences of Submodules and Quotient Modules by Michal Muzalewski
16D99: None of the above, but in this section
algseq_1: Construction of Finite Sequence over Ring and Left-, Right-, and Bi-Modules over a Ring by Michal Muzalewski, Leslaw W. Szczerba
16Wxx: Rings and algebras with additional structure
16W60: Valuations, completions, formal power series and related constructions [See also 13Jxx]
fvaluat1: Valuation Theory, Part I by Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
18-XX: CATEGORY THEORY; HOMOLOGICAL ALGEBRA (For commutative rings see 13Dxx, for associative rings 16Exx, for groups 20Jxx, for topological groups and related structures 57Txx; see also 55Nxx and 55Uxx for algebraic topology)
18Axx: General theory of categories and functors
18A05: Definitions, generalizations
cat_1: Introduction to Categories and Functors by Czeslaw Bylinski
cat_2: Subcategories and Products of Categories by Czeslaw Bylinski
oppcat_1: Opposite Categories and Contravariant Functors by Czeslaw Bylinski
cat_3: Products and Coproducts in Categories by Czeslaw Bylinski
altcat_1: Categories without Uniqueness of \rm cod and \rm dom by Andrzej Trybulec
altcat_2: Examples of Category Structures by Andrzej Trybulec
altcat_3: Basic Properties of Objects and Morphisms by Beata Madras-Kobus
altcat_4: On the Categories Without Uniqueness of \bf cod and \bf dom . Some Properties of the Morphisms and the Functors by Artur Kornilowicz
yellow18: Concrete Categories by Grzegorz Bancerek
yellow20: Miscellaneous Facts about Functors by Grzegorz Bancerek
yellow21: Categorial Background for Duality Theory by Grzegorz Bancerek
altcat_5: Products in Categories without Uniqueness of \bf cod and \bf dom by Artur Kornilowicz
cat_6: Object Free Category by Marco Riccardi
18Bxx: Special categories
18B05: Category of sets, characterizations [See also 03-XX]
yoneda_1: Yoneda Embedding by Miroslaw Wojciechowski
18B40: Groupoids, semigroupoids, semigroups, groups (viewed as categories) [See also 20Axx, 20L05, 20Mxx]
grcat_1: Categories of Groups by Michal Muzalewski
18B99: None of the above, but in this section
nattra_1: Natural transformations. Discrete categories by Andrzej Trybulec
20-XX: GROUP THEORY AND GENERALIZATIONS
20Axx: Foundations
20A05: Axiomatics and elementary properties
realset1: Group and Field Definitions by Jozef Bialas
group_1: Groups by Wojciech A. Trybulec
group_2: Subgroup and Cosets of Subgroups by Wojciech A. Trybulec
group_3: Classes of Conjugation. Normal Subgroups by Wojciech A. Trybulec
realset2: Properties of Fields by Jozef Bialas
realset3: Several Properties of Fields. Field Theory by Jozef Bialas
group_5: Commutator and Center of a Group by Wojciech A. Trybulec
group_6: Homomorphisms and Isomorphisms of Groups. Quotient Group by Wojciech A. Trybulec, MichalJ?. Trybulec
group_8: Properties of Groups by Gijs Geleijnse, Grzegorz Bancerek
20Dxx: Abstract finite groups
20D25: Special subgroups (Frattini, Fitting, etc.)
weddwitt: Witt's Proof of the Wedderburn Theorem by Broderick Arneson, Matthias Baaz, Piotr Rudnicki
20Exx: Structure and classification of infinite or finite groups
20E15: Chains and lattices of subgroups, subnormal subgroups [See also 20F22]
group_4: Lattice of Subgroups of a Group. Frattini Subgroup by Wojciech A. Trybulec
20Fxx: Special aspects of infinite or finite groups
20F34: Fundamental groups and their automorphisms [See also 57M05, 57Sxx]
topalg_1: The Fundamental Group by Artur Kornilowicz, Yasunari Shidama, Adam Grabowski
topalg_2: The Fundamental Group of Convex Subspaces of $\cal E^n_\rm T$ by Artur Kornilowicz
topalg_3: On the Isomorphism of Fundamental Groups by Artur Kornilowicz
topalg_4: On the Fundamental Groups of Products of Topological Spaces by Artur Kornilowicz
topalg_5: The Fundamental Group of the Circle by Artur Kornilowicz
topalg_6: Fundamental Group of $n$-sphere for $n \geq 2$ by Marco Riccardi, Artur Kornilowicz
topalg_7: Commutativeness of Fundamental Groups of Topological Groups by Artur Kornilowicz
20Gxx: Linear algebraic groups and related topics (For arithmetic theory, see 11E57, 11H56; for geometric theory, see 14Lxx, 22Exx; for other methods in representation theory, see 15A30, 22E45, 22E46, 22E47, 22E50, 22E55)
20G15: Linear algebraic groups over arbitrary fields
vectmetr: Real Linear-Metric Space and Isometric Functions by Robert Milewski
20Kxx: Abelian groups
20K30: Automorphisms, homomorphisms, endomorphisms, etc.
group_14: Isomorphisms of Direct Products of Finite Cyclic Groups by Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
group_17: Isomorphisms of Direct Products of Finite Commutative Groups by Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
group_18: Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order by Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
20Mxx: Semigroups
20M05: Free semigroups, generators and relations, word problems [See also 03D40, 08A50, 20F10]
algstr_4: Free Magmas by Marco Riccardi
20M14: Commutative semigroups
algstr_0: Basic Algebraic Structures by Library Committee
20Nxx: Other generalizations of groups
20N02: Sets with a single binary operation (groupoids)
setwop_2: Semigroup Operations on Finite Subsets by Czeslaw Bylinski
20N05: Loops, quasigroups [See also 05Bxx]
algstr_1: From Loops to Abelian Multiplicative Groups with Zero by Michal Muzalewski, Wojciech Skaba
algstr_2: From Double Loops to Fields by Wojciech Skaba, Michal Muzalewski
20N10: Ternary systems (heaps, semiheaps, heapoids, etc.)
algstr_3: Ternary Fields by Michal Muzalewski, Wojciech Skaba
22-XX: TOPOLOGICAL GROUPS, LIE GROUPS (For transformation groups, see 54H15, 57Sxx, 58-XX. For abstract harmonic analysis, see 43-XX)
22Axx: Topological and differentiable algebraic systems (For topological rings and fields, see 12Jxx, 13Jxx, 16W80)
22A05: Structure of general topological groups
topgrp_1: The Definition and Basic Properties of Topological Groups by Artur Kornilowicz
26-XX: REAL FUNCTIONS [See also 54C30]
26Axx: Functions of one variable
26A03: Foundations: limits and generalizations, elementary topology of the line
limfunc1: The Limit of a Real Function at Infinity by Jaroslaw Kotowicz
limfunc2: The One-Side Limits of a Real Function at a Point by Jaroslaw Kotowicz
limfunc3: The Limit of a Real Function at a Point by Jaroslaw Kotowicz
fcont_3: Monotonic and Continuous Real Function by Jaroslaw Kotowicz
limfunc4: The Limit of a Composition of Real Functions by Jaroslaw Kotowicz
l_hospit: The de l'Hospital Theorem by Malgorzata Korolkiewicz
rfunct_3: Properties of Partial Functions from a Domain to the Set of Real Numbers by Jaroslaw Kotowicz, Yuji Sakai
weierstr: The Theorem of Weierstrass by Jozef Bialas, Yatsuka Nakamura
uproots: Little Bezout Theorem (Factor Theorem) by Piotr Rudnicki
26A06: One-variable calculus
rolle: Average Value Theorems for Real Functions of One Variable by Jaroslaw Kotowicz, Konrad Raczkowski, Pawel Sadowski
comseq_3: Convergence and the Limit of Complex Sequences. Series by Yasunari Shidama, Artur Kornilowicz
cfcont_1: Property of Complex Sequence and Continuity of Complex Function by Takashi Mitsuishi, Katsumi Wasaki, Yasunari Shidama
integra3: Darboux's Theorem by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
integra4: Integrability of Bounded Total Functions by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
integra5: Definition of Integrability for Partial Functions from $\Bbb R$ to $\Bbb R$ and Integrability for Continuous Functions by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
integr12: Integrability Formulas -- Part I by Bo Li, Na Ma
integra8: Several Integrability Formulas of Special Functions by Cuiying Peng, Fuguo Ge, Xiquan Liang
integra6: Integrability and the Integral of Partial Functions from $\Bbb R$ into $\Bbb R$ by Noboru Endou, Yasunari Shidama, Masahiko Yamazaki
integra9: Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions by Bo Li, Yanping Zhuang, Bing Xie, Pan Wang
26A09: Elementary functions
square_1: Some Properties of Real Numbers Operations: min, max, square, and square root by Andrzej Trybulec, Czeslaw Bylinski
absvalue: Some Properties of Functions Modul and Signum by Jan Popiolek
26A24: Differentiation (functions of one variable): general theory, generalized derivatives, mean-value theorems [See also 28A15]
fdiff_1: Real Function Differentiability by Konrad Raczkowski, Pawel Sadowski
cfdiff_1: Complex Function Differentiability by Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura
fdiff_2: Real Function Differentiability --- Part II by Jaroslaw Kotowicz, Konrad Raczkowski
fdiff_3: Real Function One-Side Differentiability by Ewa Burakowska, Beata Madras (Beata Madras-Kobus)
fdiff_4: Several Differentiable Formulas of Special Functions by Yan Zhang, Xiquan Liang
fdiff_5: Some Differentiable Formulas of Special Functions by Jianbing Cao, Fahui Zhai, Xiquan Liang
fdiff_6: Several Differentiable Formulas of Special Functions -- Part II by Yan Zhang, Bo Li, Xiquan Liang
fdiff_7: Several Differentiation Formulas of Special Functions. Part III by Bo Li, Yan Zhang, Xiquan Liang
fdiff_8: Several Differentiation Formulas of Special Functions. Part IV by Bo Li, Peng Wang
fdiff_9: Several Differentiation Formulas of Special Functions -- Part V by Peng Wang, Bo Li
fdiff_10: Several Differentiation Formulas of Special Functions -- Part VI by Bo Li, Pan Wang
hfdiff_1: Several Higher Differentiation Formulas of Special Functions by Junjie Zhao, Xiquan Liang, Li Yan
ndiff_1: The Differentiable Functions on Normed Linear Spaces by Hiroshi Imura, Morishige Kimura, Yasunari Shidama
ndiff_2: Differentiable Functions on Normed Linear Spaces. Part II by Hiroshi Imura, Yuji Sakai, Yasunari Shidama
fdiff_11: Several Differentiation Formulas of Special Functions -- Part VII by Fuguo Ge, Bing Xie
ndiff_3: Differentiable Functions into Real Normed Spaces by Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
ndiff_5: Differentiable Functions on Normed Linear Spaces by Yasunari Shidama
ndiff_4: The Differentiable Functions from $\mathbbR$ into $\mathbbR^n$ by Keiko Narita, Artur Kornilowicz, Yasunari Shidama
ndiff_6: Differentiation in Normed Spaces by Noboru Endou, Yasunari Shidama
26A42: Integrals of Riemann, Stieltjes and Lebesgue type [See also 28-XX]
integra1: The Definition of the Riemann Definite Integral and some Related Lemmas by Noboru Endou, Artur Kornilowicz
integra2: Scalar Multiple of Riemann Definite Integral by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
integra7: Riemann Indefinite Integral of Functions of Real Variable by Yasunari Shidama, Noboru Endou, Katsumi Wasaki, Katuhiko Kanazashi
integr15: Riemann Integral of Functions $\mathbbbR$ into $\mathbbbR^n$ by Keiichi Miyajima, Yasunari Shidama
integr16: Riemann Integral of Functions $\mathbbbR$ into $\mathbbbC$ by Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
integr18: Riemann Integral of Functions from $\mathbbbR$ into Real Normed Space by Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
integr20: Riemann Integral of Functions from $\mathbbbR$ into Real Banach Space by Keiko Narita, Noboru Endou, Yasunari Shidama
integr21: The Linearity of Riemann Integral on Functions from $\mathbbbR$ into Real Banach Space by Keiko Narita, Noboru Endou, Yasunari Shidama
26A99: None of the above, but in this section
rat_1: Basic Properties of Rational Numbers by Andrzej Kondracki
rfunct_2: Properties of Real Functions by Jaroslaw Kotowicz
fcont_1: Real Function Continuity by Konrad Raczkowski, Pawel Sadowski
fcont_2: Real Function Uniform Continuity by Jaroslaw Kotowicz, Konrad Raczkowski
26Cxx: Polynomials, rational functions
26C15: Rational functions [See also 14Pxx]
ratfunc1: Introduction to Rational Functions by Christoph Schwarzweller
26Dxx: Inequalities (For maximal function inequalities, see 42B25; for functional inequalities, see 39B72; for probabilistic inequalities, see 60E15)
26D15: Inequalities for sums, series and integrals
series_3: On the Partial Product of Series and Related Basic Inequalities by Fuguo Ge, Xiquan Liang
series_5: On the Partial Product and Partial Sum of Series and Related Basic Inequalities by Fuguo Ge, Xiquan Liang
holder_1: H\"older's Inequality and Minkowski's Inequality by Yasumasa Suzuki
26D20: Other analytical inequalities
quin_1: Quadratic Inequalities by Jan Popiolek
26Exx: Miscellaneous topics [See also 58Cxx]
26E50: Fuzzy real analysis [See also 03E72, 28E10]
fuzzy_1: The Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation by Takashi Mitsuishi, Noboru Endou, Yasunari Shidama
fuzzy_2: Basic Properties of Fuzzy Set Operation and Membership Function by Takashi Mitsuishi, Katsumi Wasaki, Yasunari Shidama
fuzzy_4: Properties of Fuzzy Relation by Noboru Endou, Takashi Mitsuishi, Keiji Ohkubo
28-XX: MEASURE AND INTEGRATION (For analysis on manifolds, see 58-XX)
supinf_2: Series of Positive Real Numbers. Measure Theory by Jozef Bialas
measure1: The $\sigma$-additive Measure Theory by Jozef Bialas
measure2: Several Properties of the $\sigma$-additive Measure by Jozef Bialas
measure3: Completeness of the $\sigma$-Additive Measure. Measure Theory by Jozef Bialas
measure4: Properties of Caratheodor's Measure by Jozef Bialas
measure5: Properties of the Intervals of Real Numbers by Jozef Bialas
measure6: Some Properties of the Intervals by Jozef Bialas
measure7: The One-Dimensional Lebesgue Measure by Jozef Bialas
28A20: Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence
mesfunc1: Definitions and Basic Properties of Measurable Functions by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
mesfunc2: The Measurability of Extended Real Valued Functions by Noboru Endou, Katsumi Wasaki, Yasunari Shidama
28A25: Integration with respect to measures and other set functions
mesfunc3: Lebesgue Integral of Simple Valued Function by Yasunari Shidama, Noboru Endou
mesfunc4: Linearity of Lebesgue Integral of Simple Valued Function by Noboru Endou, Yasunari Shidama
mesfunc5: Integral of Measurable Function by Noboru Endou, Yasunari Shidama
mesfunc6: Integral of Real-Valued Measurable Function by Yasunari Shidama, Noboru Endou
30-XX: FUNCTIONS OF A COMPLEX VARIABLE (For analysis on manifolds, see $1-XX)
30Axx: General properties
30A99: None of the above, but in this section
cfunct_1: Property of Complex Functions by Takashi Mitsuishi, Katsumi Wasaki, Yasunari Shidama
vfunct_1: Algebra of Vector Functions by Hiroshi Yamazaki, Yasunari Shidama
vfunct_2: Algebra of Complex Vector Valued Functions by Noboru Endou
30Cxx: Geometric function theory
30C25: Covering theorems in conformal mapping theory
uniform1: Lebesgue's Covering Lemma, Uniform Continuity and Segmentation of Arcs by Yatsuka Nakamura, Andrzej Trybulec
32-XX: SEVERAL COMPLEX VARIABLES AND ANALYTIC SPACES (For infinite-dimensional holomorphy, see 46G20, 58B12)
32Bxx: Local analytic geometry [See also 13-XX and 14-XX]
32B25: Triangulation and related questions
triang_1: On the Concept of the Triangulation by Beata Madras (Beata Madras-Kobus)
33-XX: SPECIAL FUNCTIONS (33-XX DEALS WITH THE PROPERTIES OF FUNCTIONS AS FUNCTIONS) (For orthogonal functions, see 42Cxx; for aspects of combinatorics see 05Axx; for number-theoretic aspects see 11-XX; for representation theory see 22Exx)
33Bxx: Elementary classical functions
33B10: Exponential and trigonometric functions
prepower: Integer and Rational Exponents by Konrad Raczkowski
power: Real Exponents and Logarithms by Konrad Raczkowski, Andrzej Nedzusiak
sin_cos: Trigonometric Functions and Existence of Circle Ratio by Yuguang Yang, Yasunari Shidama
sin_cos2: Properties of the Trigonometric Function by Takashi Mitsuishi, Yuguang Yang
sin_cos3: Trigonometric Functions on Complex Space by Takashi Mitsuishi, Noboru Endou, Keiji Ohkubo
sin_cos4: Formulas and Identities of Trigonometric Functions by Pacharapokin Chanapat, Kanchun , Hiroshi Yamazaki
sin_cos5: Formulas and Identities of Trigonometric Functions by Yuzhong Ding, Xiquan Liang
sin_cos6: Inverse Trigonometric Functions Arcsin and Arccos by Artur Kornilowicz, Yasunari Shidama
sin_cos7: Formulas And Identities of Inverse Hyperbolic Functions by Fuguo Ge, Xiquan Liang, Yuzhong Ding
sin_cos8: Formulas and Identities of Hyperbolic Functions by Pacharapokin Chanapat, Hiroshi Yamazaki
sin_cos9: Inverse Trigonometric Functions Arctan and Arccot by Xiquan Liang, Bing Xie
sincos10: Inverse Trigonometric Functions Arcsec1, Arcsec2, Arccosec1 and Arccosec2 by Bing Xie, Xiquan Liang, Fuguo Ge
33B99: None of the above, but in this section
supinf_1: Infimum and Supremum of the Set of Real Numbers. Measure Theory by Jozef Bialas
34-XX: ORDINARY DIFFERENTIAL EQUATIONS
34Kxx: Functional-differential and differential-difference equations [See also 37-XX]
34K25: Asymptotic theory
asympt_0: Asymptotic Notation. Part I: Theory by Richard Krueger, Piotr Rudnicki, Paul Shelley
asympt_1: Asymptotic Notation. Part II: Examples and Problems by Richard Krueger, Piotr Rudnicki, Paul Shelley
37-XX: DYNAMICAL SYSTEMS AND ERGODIC THEORY [See also 26A18, 28Dxx, 34Cxx, 34Dxx, 35Bxx, 46Lxx, 58Jxx, 70-XX]
37Jxx: Finite-dimensional Hamiltonian, Lagrangian, contact, and nonholonomic systems [See also 53Dxx, 70Fxx, 70Hxx]
37J10: Symplectic mappings, fixed points
ali2: Fix Point Theorem for Compact Spaces by Alicia de~la~Cruz
40-XX: SEQUENCES, SERIES, SUMMABILITY
40Axx: Convergence and divergence of infinite limiting processes
40A05: Convergence and divergence of series and sequences
seq_1: Real Sequences and Basic Operations on Them by Jaroslaw Kotowicz
seq_2: Convergent Sequences and the Limit of Sequences by Jaroslaw Kotowicz
seq_4: Convergent Real Sequences. Upper and Lower Bound of Sets of Real Numbers by Jaroslaw Kotowicz
series_1: Series by Konrad Raczkowski, Andrzej Nedzusiak
series_4: Partial Sum and Partial Product of Some Series by Jianbing Cao, Fahui Zhai, Xiquan Liang
series_2: Partial Sum of Some Series by Ming Liang, Yuzhong Ding
dblseq_1: Double Sequences and Limits by Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
40Jxx: Summability in abstract structures [See also 43A55, 46A35, 46B15]
40J05: Summability in abstract structures [See also 43A55, 46A35, 46B15] (should also be assigned at least one other classification number in this section)
rvsum_1: The Sum and Product of Finite Sequences of Real Numbers by Czeslaw Bylinski
41-XX: APPROXIMATIONS AND EXPANSIONS (For all approximation theory in the complex domain, see 30E05 and 30E10; for all trigonometric approximation and interpolation, see 42A10 and 42A15; for numerical approximation, see 65Dxx)
41Axx: Approximations and expansions (For all approximation theory in the complex domain, see 30E05 and 30E10; for all trigonometric approximation and interpolation, see 42A10 and 42A15; for numerical approximation, see 65Dxx)
41A58: Series expansions (e.g. Taylor, Lidstone series, but not Fourier series)
taylor_1: The Taylor Expansions by Yasunari Shidama
taylor_2: The Maclaurin Expansions by Akira Nishino, Yasunari Shidama
46-XX: FUNCTIONAL ANALYSIS (For manifolds modeled on topological linear spaces, see 57Nxx, 58Bxx)
46Bxx: Normed linear spaces and Banach spaces; Banach lattices (For function spaces, see 46Exx)
46B45: Banach sequence spaces [See also 46A45]
rsspace: Real Linear Space of Real Sequences by Noboru Endou, Yasumasa Suzuki, Yasunari Shidama
rsspace3: Banach Space of Absolute Summable Real Sequences by Yasumasa Suzuki, Noboru Endou, Yasunari Shidama
rsspace4: Banach Space of Bounded Real Sequences by Yasumasa Suzuki
46B99: None of the above, but in this section
normsp_0: Preliminaries to Normed Spaces by Andrzej Trybulec
normsp_1: Real Normed Space by Jan Popiolek
46Cxx: Inner product spaces and their generalizations, Hilbert spaces (For function spaces, see 46Exx)
46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
bhsp_1: Introduction to Banach and Hilbert Spaces --- Part I by Jan Popiolek
bhsp_2: Introduction to Banach and Hilbert Spaces --- Part II by Jan Popiolek
bhsp_3: Introduction to Banach and Hilbert Spaces --- Part III by Jan Popiolek
rsspace2: Hilbert Space of Real Sequences by Noboru Endou, Yasumasa Suzuki, Yasunari Shidama
bhsp_4: Series in Banach and Hilbert Spaces by Elzbieta Kraszewska, Jan Popiolek
bhsp_5: Bessel's Inequality by Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura
bhsp_6: On Some Properties of Real Hilbert Space. Part I by Hiroshi Yamazaki, Yasumasa Suzuki, Takao Inoue, Yasunari Shidama
bhsp_7: On Some Properties of Real Hilbert Space. Part II by Hiroshi Yamazaki, Yasumasa Suzuki, Takao Inoue, Yasunari Shidama
clvect_1: Complex Linear Space and Complex Normed Space by Noboru Endou
clvect_2: Convergent Sequences in Complex Unitary Space by Noboru Endou
clvect_3: Cauchy Sequence of Complex Unitary Space by Yasumasa Suzuki, Noboru Endou
46Exx: Linear function spaces and their duals [See also 30H05, 32A38, 46F05] (For function algebras, see 46J10)
46E30: Spaces of measurable functions ( L p-spaces, Orlicz spaces, Kothe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.)
rearran1: Introduction to Theory of Rearrangement by Yuji Sakai, Jaroslaw Kotowicz
47-XX: OPERATOR THEORY
47Axx: General theory of linear operators
47A05: General (adjoints, conjugates, products, inverses, domains, ranges, etc.)
lopban_7: Banach's Continuous Inverse Theorem and Closed Graph Theorem by Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
47Hxx: Nonlinear operators and their properties (For global and geometric aspects, see 49J53, 58-XX, especially 58Cxx)
47H10: Fixed-point theorems [See also 37C25, 54H25, 55M20, 58C30]
treal_1: The Brouwer Fixed Point Theorem for Intervals by Toshihiko Watanabe
51-XX: GEOMETRY (For algebraic geometry, see 14-XX)
51Axx: Linear incidence geometry
51A05: General theory and projective geometries
incsp_1: Axioms of Incidency by Wojciech A. Trybulec
51Exx: Finite geometry and special incidence structures
51E15: Affine and projective planes
translac: Translations in Affine Planes by Henryk Oryszczyszyn, Krzysztof Prazmowski
54-XX: GENERAL TOPOLOGY (For the topology of manifolds of all dimensions, see 57Nxx)
54Axx: Generalities
54A05: Topological spaces and generalizations (closure spaces, etc.)
pre_topc: Topological Spaces and Continuous Functions by Beata Padlewska, Agata Darmochwal
tops_1: Subsets of Topological Spaces by Miroslaw Wysocki, Agata Darmochwal
connsp_1: Connected Spaces by Beata Padlewska
tops_2: Families of Subsets, Subspaces and Mappings in Topological Spaces by Agata Darmochwal
compts_1: Compact Spaces by Agata Darmochwal
t_0topsp: \Tzero\ Topological Spaces by Mariusz Zynel, Adam Guzowski
tsep_1: Separated and Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno
tops_3: Remarks on Special Subsets of Topological Spaces by Zbigniew Karno
urysohn1: Dyadic Numbers and T$_4$ Topological Spaces by Jozef Bialas, Yatsuka Nakamura
tmap_1: Continuity of Mappings over the Union of Subspaces by Zbigniew Karno
tex_1: On Discrete and Almost Discrete Topological Spaces by Zbigniew Karno
tex_2: Maximal Discrete Subspaces of Almost Discrete Topological Spaces by Zbigniew Karno
tex_4: Maximal Anti-Discrete Subspaces of Topological Spaces by Zbigniew Karno
tsp_1: On Kolmogorov Topological Spaces by Zbigniew Karno
yellow12: On the Characterization of Hausdorff Spaces by Artur Kornilowicz
t_1topsp: On \Tone\ Reflex of Topological Space by Adam Naumowicz, Mariusz Lapinski
tsep_2: On a Duality Between Weakly Separated Subspaces of Topological Spaces by Zbigniew Karno
tex_3: On Nowhere and Everywhere Dense Subspaces of Topological Spaces by Zbigniew Karno
tsp_2: Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space by Zbigniew Karno
yellow15: Components and Basis of Topological Spaces by Robert Milewski
urysohn2: Some Properties of Dyadic Numbers and Intervals by Jozef Bialas, Yatsuka Nakamura
urysohn3: The Urysohn Lemma by Jozef Bialas, Yatsuka Nakamura
tietze: Tietze Extension Theorem by Artur Kornilowicz, Grzegorz Bancerek, Adam Naumowicz
yellow17: The Tichonov Theorem by Bartlomiej Skorulski
yellow19: On the Characterizations of Compactness by Grzegorz Bancerek, Noboru Endou, Yuji Sakai
tops_4: Miscellaneous Facts about Open Functions and Continuous Functions by Artur Kornilowicz
54A10: Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)
rcomp_1: Topological Properties of Subsets in Real Numbers by Konrad Raczkowski, Pawel Sadowski
tdlat_1: The Lattice of Domains of a Topological Space by Toshihiko Watanabe
tdlat_2: Completeness of the Lattices of Domains of a Topological Space by Zbigniew Karno, Toshihiko Watanabe
54Bxx: Basic constructions
54B10: Product spaces
yellow14: Some Properties of Isomorphism between Relational Structures. On the Product of Topological Spaces by Jaroslaw Gryko, Artur Kornilowicz
54B99: None of the above, but in this section
topgen_2: On the characteristic and weight of a topological space by Grzegorz Bancerek
topgen_1: On the Boundary and Derivative of a Set by Adam Grabowski
topgen_3: On constructing topological spaces and Sorgenfrey line by Grzegorz Bancerek
topgen_4: On the Borel Families of Subsets of Topological Spaces by Adam Grabowski
topgen_5: Niemytzki Plane -- an Example of Tychonoff Space Which Is Not $T_4$ by Grzegorz Bancerek
topgen_6: Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane by Adam J.J. St. Arnaud, Piotr Rudnicki
54Exx: Spaces with richer structures
54E30: Moore spaces
yellow_6: Moore-Smith Convergence by Andrzej Trybulec
54E35: Metric spaces, metrizability
metric_1: Metric Spaces by Stanislawa Kanas, Adam Lecko, Mariusz Startek
metric_3: Metrics in Cartesian Product by Stanislawa Kanas, Jan Stankiewicz
tbsp_1: Totally Bounded Metric Spaces by Alicia de~la~Cruz
topmetr: Metric Spaces as Topological Spaces --- Fundamental Concepts by Agata Darmochwal, Yatsuka Nakamura
topmetr2: Some Facts about Union of Two Functions and Continuity of Union of Functions by Yatsuka Nakamura, Agata Darmochwal
topmetr3: Sequences of Metric Spaces and an Abstract Intermediate Value Theorem by Yatsuka Nakamura, Andrzej Trybulec
54E52: Baire category, Baire spaces
yellow_8: Baire Spaces, Sober Spaces by Andrzej Trybulec
waybel12: On the Baire Category Theorem by Artur Kornilowicz
normsp_2: Baire's Category Theorem and Some Spaces Generated from Real Normed Space by Noboru Endou, Yasunari Shidama, Katsumasa Okamura
54Fxx: Special properties
54F45: Dimension theory [See also 55M10]
topdim_1: Small Inductive Dimension of Topological Spaces by Karol Pak
topdim_2: Small Inductive Dimension of Topological Spaces, Part II by Karol Pak
54F65: Topological characterizations of particular spaces
topreal1: The Topological Space $\cal E^2_\rm T$. Arcs, Line Segments and Special Polygonal Arcs by Agata Darmochwal, Yatsuka Nakamura
topreal3: Basic Properties of Connecting Points with Line Segments in $\cal E^2_\rm T$ by Yatsuka Nakamura, Jaroslaw Kotowicz
topreal2: The Topological Space $\cal E^2_\rm T$. Simple Closed Curves by Agata Darmochwal, Yatsuka Nakamura
topreal4: Connectedness Conditions Using Polygonal Arcs by Yatsuka Nakamura, Jaroslaw Kotowicz
toprns_1: Sequences in $\cal E^N_\rm T$ by Agnieszka Sakowicz, Jaroslaw Gryko, Adam Grabowski
topreal5: Intermediate Value Theorem and Thickness of Simple Closed Curves by Yatsuka Nakamura, Andrzej Trybulec
sprect_1: On the Rectangular Finite Sequences of the Points of the Plane by Andrzej Trybulec, Yatsuka Nakamura
sprect_2: On the Order on a Special Polygon by Andrzej Trybulec, Yatsuka Nakamura
sprect_3: Some Properties of Special Polygonal Curves by Andrzej Trybulec, Yatsuka Nakamura
sprect_4: On the Components of the Complement of a Special Polygonal Curve by Andrzej Trybulec, Yatsuka Nakamura
topreal6: Compactness of the Bounded Closed Subsets of $\cal E^2_\rm T$ by Artur Kornilowicz
topreal7: Homeomorphism between [:$\cal E^i_\rm T, \cal E^j_\rm T$:] and $\cal E^i+j_\rm T$ by Artur Kornilowicz
topreal9: Intersections of Intervals and Balls in $\cal E^n_\rm T$ by Artur Kornilowicz, Yasunari Shidama
topreala: Some Properties of Rectangles on the Plane by Artur Kornilowicz, Yasunari Shidama
toprealb: Some Properties of Circles on the Plane by Artur Kornilowicz, Yasunari Shidama
topreal8: More on the Finite Sequences on the Plane by Andrzej Trybulec
sprect_5: Again on the Order on a Special Polygon by Andrzej Trybulec, Yatsuka Nakamura
nagata_1: The Nagata-Smirnov Theorem. Part I by Karol Pak
nagata_2: The Nagata-Smirnov Theorem. Part II by Karol Pak
toprealc: On the Continuity of Some Functions by Artur Kornilowicz
54Gxx: Peculiar spaces
54G05: Extremally disconnected spaces, F-spaces, etc.
tdlat_3: The Lattice of Domains of an Extremally Disconnected Space by Zbigniew Karno
60-XX: PROBABILITY THEORY AND STOCHASTIC PROCESSES (For additional applications, see 11Kxx, $1-XX, $1-XX, $1-XX, $1-XX, $1-XX, $1-XX)
60Axx: Foundations of probability theory
60A99: None of the above, but in this section
rpr_1: Introduction to Probability by Jan Popiolek
prob_1: $\sigma$-Fields and Probability by Andrzej Nedzusiak
prob_2: Probability by Andrzej Nedzusiak
prob_3: Set Sequences and Monotone Class by Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura
prob_4: The Relevance of Measure and Probability, and Definition of Completeness of Probability by Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura
60Cxx: Combinatorial probability
60C05: Combinatorial probability
dist_2: Posterior Probability on Finite Set by Hiroyuki Okazaki
68-XX: COMPUTER SCIENCE (For papers involving machine computations and programs in a specific mathematical area, see Section-04 in that area)
68Mxx: Computer system organization
68M07: Mathematical problems of computer architecture
amistd_1: Standard Ordering of Instruction Locations by Andrzej Trybulec, Piotr Rudnicki, Artur Kornilowicz
amistd_2: On the Composition of Macro Instructions of Standard Computers by Artur Kornilowicz
68Nxx: Software
68N20: Compilers and interpreters
scm_comp: A Compiler of Arithmetic Expressions for SCM by Grzegorz Bancerek, Piotr Rudnicki
68Pxx: Theory of data
68P05: Data structures
matroid0: Introduction to Matroids by Grzegorz Bancerek, Yasunari Shidama
stacks_1: Representation Theorem for Stacks by Grzegorz Bancerek
68P10: Searching and sorting
exchsort: Sorting by Exchanging by Grzegorz Bancerek
scmbsort: Bubble Sort on \SCMFSA by Jing-Chao Chen, Yatsuka Nakamura
scmisort: Insert Sort on \SCMFSA by Jing-Chao Chen
scpisort: Insert Sort on SCMPDS by Jing-Chao Chen
scpqsort: Quick Sort on SCMPDS by Jing-Chao Chen
68P15: Database theory
armstrng: Armstrong's Axioms by William W. Armstrong, Yatsuka Nakamura, Piotr Rudnicki
mmlquery: Semantic of MML Query by Grzegorz Bancerek
mmlquer2: The Semantics of MML Query -- Ordering by Grzegorz Bancerek
68P25: Data encryption [See also 94A60, 81P94]
aescip_1: Formalization of the Advanced Encryption Standard -- Part I by Kenichi Arai, Hiroyuki Okazaki
68Qxx: Theory of computing
68Q05: Models of computation (Turing machines, etc.) [See also 03D10, 68Q12, 81P68]
turing_1: Introduction to Turing Machines by Jing-Chao Chen, Yatsuka Nakamura
ami_2: On a Mathematical Model of Programs by Yatsuka Nakamura, Andrzej Trybulec
ami_3: Some Remarks on the Simple Concrete Model of Computer by Andrzej Trybulec, Yatsuka Nakamura
amistd_4: by
amistd_3: A Tree of Execution of a Macroinstruction by Artur Kornilowicz
amistd_5: by
scm_1: Development of Terminology for \bf SCM by Grzegorz Bancerek, Piotr Rudnicki
ami_5: On the Decomposition of the States of SCM by Yasushi Tanaka
scmfsa_3: Computation in \SCMFSA by Andrzej Trybulec, Yatsuka Nakamura
68Q42: Grammars and rewriting systems
rewrite1: Reduction Relations by Grzegorz Bancerek
rewrite2: String Rewriting Systems by Michal Trybulec
rewrite3: Labelled State Transition Systems by Michal Trybulec
68Txx: Artificial intelligence
68T35: Languages and software systems (knowledge-based systems, expert systems, etc.)
abcmiz_0: On Semilattice Structure of Mizar Types by Grzegorz Bancerek
abcmiz_1: Towards the construction of a model of Mizar concepts by Grzegorz Bancerek
abcmiz_a: A Model of Mizar Concepts -- Unification by Grzegorz Bancerek
68Wxx: Algorithms (For numerical algorithms, see 65-XX; for combinatorics and graph theory, see 05C85, 68Rxx)
68W01: General
aofa_000: Mizar Analysis of Algorithms: Preliminaries by Grzegorz Bancerek
aofa_i00: Mizar Analysis of Algorithms: Algorithms over Integers by Grzegorz Bancerek
aofa_a00: Program Algebra over an Algebra by Grzegorz Bancerek
aofa_a01: Analysis of Algorithms: An Example of a Sort Algorithm by Grzegorz Bancerek
68W40: Analysis of algorithms [See also 68Q25]
ami_4: Euclid's Algorithm by Andrzej Trybulec, Yatsuka Nakamura
ntalgo_1: Extended Euclidean Algorithm and CRT Algorithm by Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
91-XX: GAME THEORY, ECONOMICS, SOCIAL AND BEHAVIORAL SCIENCES
91Bxx: Mathematical economics (For econometrics, see 62P20)
91B10: Group preferences
prefer_1: Introduction to Formal Preference Spaces by Eliza Niewiadomska, Adam Grabowski
91Gxx: Mathematical finance
91G70: Statistical methods, econometrics
finance1: Elementary Introduction to Stochastic Finance in Discrete Time by Peter Jaeger
92-XX: BIOLOGY AND OTHER NATURAL SCIENCES
92Bxx: Mathematical biology in general
92B10: Taxonomy, cladistics, statistics
taxonom1: Lower Tolerance. Preliminaries to Wroclaw Taxonomy by Mariusz Giero, Roman Matuszewski
taxonom2: Hierarchies and Classifications of Sets by Mariusz Giero
92Dxx: Genetics and population dynamics
92D10: Genetics (For genetic algebras, see 17D92)
genealg1: Basic Properties of Genetic Algorithm by Akihiko Uchibori, Noboru Endou
93-XX: SYSTEMS THEORY; CONTROL (For optimal control, see $1-XX)
93Cxx: Control systems
93C62: Digital systems
binarith: Binary Arithmetics by Takaya Nishiyama, Yasuho Mizuhara
binari_2: Binary Arithmetics, Addition and Subtraction of Integers by Yasuho Mizuhara, Takaya Nishiyama
94-XX: INFORMATION AND COMMUNICATION, CIRCUITS
94Cxx: Circuits, networks
94C05: Analytic circuit theory
pre_circ: Preliminaries to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto
msafree2: Preliminaries to Circuits, II by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto
circuit1: Introduction to Circuits, I by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto
circuit2: Introduction to Circuits, II by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N. Kawamoto
circcomb: Combining of Circuits by Yatsuka Nakamura, Grzegorz Bancerek
facirc_1: Full Adder Circuit. Part I by Grzegorz Bancerek, Yatsuka Nakamura
circcmb2: Combining of Multi Cell Circuits by Grzegorz Bancerek, Shin'nosuke Yamaguchi, Yasunari Shidama
circcmb3: Preliminaries to Automatic Generation of Mizar Documentation for Circuits by Grzegorz Bancerek, Adam Naumowicz
fscirc_1: Full Subtracter Circuit. Part I by Katsumi Wasaki, Noboru Endou
circtrm1: Circuit Generated by Terms and Circuit Calculating Terms by Grzegorz Bancerek
facirc_2: Full Adder Circuit. Part II by Grzegorz Bancerek, Shin'nosuke Yamaguchi, Katsumi Wasaki
fscirc_2: Full Subtracter Circuit. Part II by Shin'nosuke Yamaguchi, Grzegorz Bancerek, Katsumi Wasaki
gfacirc1: Generalized Full Adder Circuits (GFAs). Part I by Shin'nosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
gfacirc2: Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II by Katsumi Wasaki
94C12: Fault detection; testing
hurwitz2: A Test for the Stability of Networks by Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
94C15: Applications of graph theory [See also 05Cxx, 68R10]
petri: Basic Petri Net Concepts by Pauline N. Kawamoto, Yasushi Fuwa, Yatsuka Nakamura
net_1: Some Elementary Notions of the Theory of Petri Nets by Waldemar Korczynski
94C99: None of the above, but in this section
gate_1: Logic Gates and Logical Equivalence of Adders by Yatsuka Nakamura
gate_2: Correctness of Binary Counter Circuits by Yuguang Yang, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura
gate_3: Correctness of Johnson Counter Circuits by Yuguang Yang, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura
gate_4: Correctness of a Cyclic Redundancy Check Code Generator by Yuguang Yang, Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura
gate_5: The Correctness of the High Speed Array Multiplier Circuits by Hiroshi Yamazaki, Katsumi Wasaki
twoscomp: 2's Complement Circuit by Katsumi Wasaki, Pauline N. Kawamoto