The following pages link to (Q4501772):
Displayed 15 items.
- The elementary proof of the prime number theorem (Q842502) (← links)
- Computerized deconstruction. (Q1408271) (← links)
- Proofs and guarantees (Q1702532) (← links)
- Skew shape asymptotics, a case-based introduction (Q2145989) (← links)
- Relating the cut distance and the weak* topology for graphons (Q2222051) (← links)
- Hook formulas for skew shapes. III: Multivariate and product formulas (Q2328136) (← links)
- Evolution and design inside and outside mathematics (Q2580252) (← links)
- Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns (Q4626557) (← links)
- Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant (Q5051990) (← links)
- Varieties of mathematical understanding (Q5860471) (← links)
- Permutations with equal orders (Q5886112) (← links)
- Three-rowed CHOMP (Q5933436) (← links)
- Proving quadratic reciprocity: explanation, disagreement, transparency and depth (Q6088591) (← links)
- Formalising the Kruskal-Katona theorem in Lean (Q6159369) (← links)
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society (Q6182827) (← links)