Tag: reference-request
- Has the following problem, resembling the lonely runner conjecture, been studied
- Contracting a set to a ball
- Initial reference on Gödel-Löb axiom in Kripke semantic of $GL$
- Is the category of computads for a finitary monad on $n$-globular sets cocomplete
- References for applications of Young diagrams/tableaux to Quantum Mechanics
- Name for vector spaces with two algebra structures that satisfy the exchange law
- Comparing cohomology of a total complex with the cohomology of semidirect product
- Largest part and length of a partition in play
- A Vandermonde like determinant with exponentials
- Identity involving Stirling number of the second kind