Tags
A tag is a keyword or label that categorizes your question with other, similar questions.
Context-free grammars give a set of rules for generating formal languages. The formal languages generated by a context-free grammar are known as context-free languages.
980 questions
For questions about the law of large numbers, a classical limit theorem in probability about the asymptotic behavior (in almost sure or in probability) of the average of random variables. To be used with the tags (tag:probability-theory) and (tag: limit-theorems).
976 questions
This tag is about questions regarding the integral equations. An integral equation is an equation in which the unknown function appears under the integral sign. There is no universal method for solving integral equations. Solution methods and even the existence of a solution depend on the particular form of the integral equation.
970 questions
In descriptive set theory we mostly study Polish spaces such as the Baire space, the Cantor space, and the reals. Questions about the Borel hierarchy, the projective hierarchy,
Polish spaces, infinite games and determinacy related topics, all fit into this category very well.
970 questions
Use this tag for questions about Abelian categories, which are categories that possess most of properties of categories of modules over a ring, and are easy to work with using techniques of homological algebra.
966 questions
This tag is used for question related to time series models such as AR, ARMA, ARCH, GARCH and their properties and techniques used for inference.
965 questions
A function is analytic if it has a converging power series expansion. Please also use one of (real-analysis) or (complex-analysis) to specify real or complex analyticity: though the definition is the same, the properties of functions analytic over real numbers are quite different from the properties of functions over the complex numbers.
965 questions
For questions about visualizing mathematical concepts. This includes questions about visualization of mathematical theorems and proofs without words.
955 questions
This tag is suited for questions involving Turing machines. Not to be confused with finite state machines and finite automata.
954 questions
For mathematical questions about Python; questions purely about the language, syntax, or runtime errors are off-topic here and would likely be better received on Stack Overflow.
952 questions
Representations of numeric values in decimal, binary, octal, hexadecimal, and other bases; one's-complement and two's-complement signed numbers; scientific notation; floating-point numbers in digital computers; history of number systems; nonstandard number systems; algorithms for arithmetic within specific number systems or for conversions between number systems.
949 questions
Should be used with the (group-theory) tag. Free groups are the free objects in the category of groups and can be classified up to isomorphism by their rank. Thus, we can talk about *the* free group of rank $n$, denoted $F_n$.
942 questions
Filters (and ultrafilters) are used in various areas of mathematics, e.g. general topology, set theory, boolean algebras, model theory.
In topology they can be used to study convergence in a more general way than just convergence of sequences.
For questions about filters in the sense of signal processing, do not use this tag and instead use (signal-processing) or another appropriate tag.
936 questions
For questions concerning natural deduction, a formal proof system studied in proof theory. A natural deduction proof starts with a set of premises and applies introduction and elimination rules to arrive at the conclusion. This tag is not specific to any particular logic, classical or intuitionistic, propositional or allowing quantifiers.
929 questions
In mathematics, solid geometry was the traditional name for the geometry of three-dimensional Euclidean space. (Ref: http://en.m.wikipedia.org/wiki/Solid_geometry)
924 questions
For questions about or related to trigonometric series, i.e. series of the form $a_0 + \sum_{n = 1}^{\infty} (a_n \cos{nx} + b_n \sin{nx})$ or $\sum_n c_n e^{inx}$.
923 questions
A subject that lies at the intersection of algebraic geometry and number theory dealing with varieties, the Mordell conjecture, Arakelov theory, and elliptic curves.
923 questions
Questions asking for advice on various mathematical matters. Be careful that your question is answerable, and also that it is not a polling question (e.g. "What is the best / your favorite way to...").
917 questions
For questions about categorical limits and colimits, including questions about (co)limits of general diagrams, questions about specific special kinds of (co)limits such as (co)products or (co)equalizers, and questions about generalizations such as weighted (co)limits and (co)ends.
915 questions
The study of the geometric structure of measures, as well as the study of geometry from a measure-theoretic viewpoint, geometric measure theory has applications in partial differential equations, harmonic analysis, differential geometry, Riemannian geomerty, sub-Riemannian geometry, as well as calculus of variations. Statements such as the isoperimetric inequality and the coarea formula, and subjects such as the Plateau problem belong under this tag.
915 questions
For questions about matrices which are defined block wise, like $\pmatrix{A&B\\ C&D}$ where $A,B,C$ and $D$ are themselves matrices. Use this tag with (matrices), and often with (linear-algebra).
908 questions
For questions concerning groups defined via a presentation by generators and relations. Should probably be used along with the general (group-theory) tag.
907 questions
For questions concerning stability of equilibria and of other solutions of ordinary differential equations and their systems.
906 questions
For questions about principal ideal domains: rings without zero divisors where every ideal is principal.
897 questions
For questions related to the Chinese Remainder Theorem and its applications.
895 questions
A lattice in $\mathbb R^n$ is a discrete subgroup of $\mathbb R^n$ or, equivalently, it is a subgroup of $\mathbb R^n$ generated by linearly independent vectors. Lattices have applications in geometric number theory, e.g. via Minkowski's theorem.
894 questions
The study of algebraic structures and properties applying to large classes of such structures. For example, ideas from group theory and ring theory are extended and considered for structures with other signatures (systems of basic or fundamental operations).
891 questions
Combinatorial geometry is concerned with combinatorial properties and constructive methods of discrete geometric objects. Questions on this topic are on packing, covering, coloring, folding, symmetry, tiling, partitioning, decomposition, and illumination problems.
890 questions
geometry as on the surface of a sphere, where "lines" are great circles and any pair of lines must intersect
889 questions
For questions regarding the theory and evaluation of the Gaussian integral, also known as the Euler–Poisson integral is the integral of the Gaussian function $~e^{−x^2}~$ over the entire real line. . It is named after the German mathematician Carl Friedrich Gauss.
888 questions
For questions about or involving geometric series, a series where successive terms have a common ratio.
886 questions
Separation axioms are properties of topological space which, roughly speaking, say in what way two points, a point and a closed set, or two closed sets can be "separated". Most important are $T_0$-spaces, $T_1$-spaces, Hausdorff, regular, completely regular and normal spaces.
880 questions
In calculus of variations, the Euler–Lagrange equation, Euler's equation, or Lagrange's equation, is a second-order partial differential equation whose solutions are the functions for which a given functional is stationary.
877 questions
A binary operation on a set $X$ is a map $\ast : X \times X \to X$. Usually, we denote $\ast(x, y)$ by $x\ast y$. For questions about operations in binary arithmetic (base 2), use the tag (binary) instead.
875 questions