The following pages link to (Q4501772):
Displaying 20 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)
- The diversity of mathematical cultures: one past and some possible futures (Q2410949) (← links)
- Evolution and design inside and outside mathematics (Q2580252) (← links)
- (Q3794105) (← 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)
- (Q5079290) (← 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)
- Three old problems from the Polish school of mathematics (Q6592833) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)
