Tags
A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
15 questions
15 questions
For questions on mathematical problems arising from music theory, e.g. scales, harmonies, rhythms, and compositional techniques (such as dodecaphony or minimalism).
15 questions
15 questions
Coq is a formal proof management system, also called an interactive theorem prover. It is used to express mathematical assertions, mechanically check proofs of these assertions, find formal proofs, an…
15 questions
15 questions
15 questions
14 questions
14 questions
14 questions
14 questions
14 questions
14 questions
Mathematical proofs based on chasing elements in commutative diagrams
14 questions
14 questions
For questions about torsion theories in abelian categories and related concepts.
14 questions
14 questions
14 questions
14 questions
for questions involving differential inequalities.
14 questions
The polygamma function may be represented as $$\begin{align} \psi^{(m)}(z)&= (-1)^{m+1}\int_0^\infty\frac{t^m e^{-zt}} {1-e^{-t}}\ dt\\ &=-\int_0^1\frac{t^{z-1}}{1-t}\ln^mt\ dt \end{align}$$
which ho…
14 questions
Given a Lie group $G$, it acts smoothly on the dual $\mathfrak g^*$ of its Lie algebra $\mathfrak g$ by the coadjoint action. The orbits of that action are called coadjoint orbits.
14 questions
Discrete Morse Theory is a combinatorial analogue of Morse Theory, introduced by Forman. It provides techniques for computing homological properties of simplicial sets/complexes.
14 questions
14 questions
Condensed matter physics deals with properties of condensed phases of matter, seeking to understand these phases by using the fundamental laws, e.g. quantum statistical mechanics, etc. The familiar co…
14 questions
A quadratically constrained quadratic program (QCQP) is an optimization problem in which both the objective function and the constraints are quadratic functions.
14 questions
13 questions
13 questions
13 questions
13 questions
13 questions
Kähler-Ricci flow is a Kähler version of Ricci-flow for Kähler manifolds
13 questions
13 questions
13 questions
13 questions