classical topology
81Mathematics Subject Classification — The Mathematics Subject Classification (MSC) is an alphanumerical classification scheme collaboratively produced by staff of and based on the coverage of the two major mathematical reviewing databases, Mathematical Reviews and Zentralblatt MATH.… …
82K-theory (physics) — In string theory, the K theory classification refers to a conjectured application of K theory (in abstract algebra and algebraic topology) to superstrings, to classify the allowed Ramond Ramond field strengths as well as the charges of stable D… …
83Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …
84Topological group — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …
85Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha …
86Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… …
87Complex projective space — The Riemann sphere, the one dimensional complex projective space, i.e. the complex projective line. In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a …
88Adams spectral sequence — In mathematics, the Adams spectral sequence is a spectral sequence introduced by Adams (1958). Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a… …
89Specialization (pre)order — In the branch of mathematics known as topology, the specialization (or canonical) preorder is a natural preorder on the set of the points of a topological space. For most spaces that are considered in practice, namely for all those that satisfy… …
90Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …
