Pages that link to "Item:Q2484506"
From MaRDI portal
The following pages link to A method for proving polynomial enumeration formulas (Q2484506):
Displaying 14 items.
- Automatic proofs for formulae enumerating proper polycubes (Q322211) (← links)
- Short proof of the ASM theorem avoiding the six-vertex model (Q739388) (← links)
- The number of monotone triangles with prescribed bottom row (Q863313) (← links)
- Sequences of labeled trees related to Gelfand-Tsetlin patterns (Q1761468) (← links)
- The operator formula for monotone triangles - simplified proof and three generalizations (Q1957969) (← links)
- Computations versus bijections for tiling enumeration (Q2081913) (← links)
- A bijective proof of the ASM theorem. I: The operator formula (Q2194086) (← links)
- The first bijective proof of the refined ASM theorem (Q2199809) (← links)
- Alternating sign matrices and totally symmetric plane partitions (Q2199878) (← links)
- A method for counting the number of polynomial equivalence classes (Q2846950) (← links)
- The mysterious story of square ice, piles of cubes, and bijections (Q5073160) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- Alternating sign matrices and totally symmetric plane partitions (Q6634438) (← links)
- Bounded Littlewood identity related to alternating sign matrices (Q6656597) (← links)