Tags
A tag is a keyword or label that categorizes your question with other, similar questions.
For all questions about Möbius bands, Klein bottles, projective planes or surfaces built from these (via surgeries, gluings...), intersection or boundary problems, embeddings...
76 questions
For questions about finite state machine, which is a mathematical model of computation.
76 questions
Automatic proof checkers verify the validity of formal proofs, while proof assistants aid in the construction of formal proofs. Some popular systems: Mizar, Coq, Isabelle.
For automated theorem provers use the (automated-theorem-proving) tag
75 questions
Microlocal analysis involves using Fourier transform techniques to study linear and nonlinear PDEs. Topics include pseudo-differential operators, Fourier integral operators, wave front sets, and oscillatory integrals.
75 questions
This tag is for questions relating to Young's inequality, a special case of the weighted AM-GM inequality. It is very useful in real analysis, including as a tool to prove Hölder's inequality. It is also a special case of a more general inequality known as Young's inequality for increasing functions.
74 questions
Synthetic differential geometry is an axiomatic formulation of differential geometry in smooth toposes. The axioms ensure that a well-defined notion of infinitesimal spaces exists in the topos, whose existence concretely and usefully formalizes the wide-spread but often vague intuition about the role of infinitesimals in differential geometry.
74 questions
74 questions
This tag address to any question concerning weak-lp -spaces. which are larger spaces than classical lp-spaces. These spaces are particular cases of Lorentz-spaces.
73 questions
This tag should be used for questions about quotient sets that might not have any other quotient structure or quotient structures that don't have their own tag.
73 questions
For questions about normal families and their properties. A normal family is a precompact family of continuous functions.
73 questions
The classical groups are the general and special linear groups over the reals, the complex numbers and the quaternions, together with the automorphism groups of certain non-degenerate forms. These are symmetric or skew-symmetric bilinear forms over the reals or the complex numbers, hermitian forms over the complex numbers or the quaternions and skew-hermitian forms over the quaternions.
73 questions
For questions about Airy functions, the solution to Schrödinger's equation for a particle confined within a triangular potential well and for a particle in a one-dimensional constant force field.
73 questions
For questions regarding the formal analysis of collective decision problems.
72 questions
Robust statistics are statistics with good performance for data drawn from a wide range of probability distributions, especially for distributions that are not normally distributed. Robust statistical methods have been developed for many common problems, such as estimating location, scale and regression parameters.
72 questions
72 questions
Use this tag for questions about coordinate systems for Euclidean space for which coordinate lines may be curved.
72 questions
For questions about auction theory, an applied branch of economics which deals with how people act in auction markets and researches the properties of auction markets.
72 questions
For questions about Orlicz spaces, which are a generalization of classical Lebesgue spaces $\mathbb L^p$.
71 questions
Use this tag for questions about the dual space at a point of the tangent space.
71 questions
Use this tag for questions about the branch of astronomy dealing with motions of celestial objects.
71 questions
For questions related to French translations of Mathematical texts and reference requests for French texts.
70 questions
A Lindelöf space is a topological space in which every open cover has a countable subcover.
70 questions
This tag is used both for questions about iterated function systems in fractal geometry (finite families of contractions $f: X \to X$ on a complete metric space $(X,d)$ that are used to construct fractals) and questions about iterated function systems in probability theory (a random process associated to a finite family of maps $f_i:E \to E$ on a topological space $E$ and corresponding probabilities $p_i(x)$ for each $x \in E$).
70 questions
Gelfand representation is a way of representing commutative Banach algebras as algebras of continuous functions.
70 questions
The vectorization of a matrix is a linear transformation that converts the matrix into a column vector.
69 questions
In mathematics, transformation geometry (or transformational geometry) is the name of a mathematical and pedagogic approach to the study of geometry by focusing on groups of geometric transformations, and the properties of figures that are invariant under them.
69 questions
For question about Skorohod space, the space of functions which are right continuous and have left limits at each point.
69 questions
In abstract algebra and number theory, Kummer theory provides a description of certain types of field extensions involving the adjunction of nth roots of elements of the base field.
69 questions
This tag is for questions relating to "Kripke’s models" for modal logic (or variants thereof) are the basis for many modern approaches to reasoning about knowledge and belief. For philosophers, by far the most important examples are ‘Kripke models’, which have been adopted as the standard type of models for modal and related nonclassical logics.
69 questions
In algebraic number theory, the ring of integers of a number field $K$ is the ring of all elements of $K$ which are roots of a monic polynomial with rational integer coefficients.
69 questions