Publication:4501772
From MaRDI portal
zbMath0998.00003MaRDI QIDQ4501772
Publication date: 10 September 2000
Related Items
Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns, Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant, Three-rowed CHOMP, Varieties of mathematical understanding, Permutations with equal orders, Proving quadratic reciprocity: explanation, disagreement, transparency and depth, Formalising the Kruskal-Katona theorem in Lean, Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society, The elementary proof of the prime number theorem, Computerized deconstruction., Proofs and guarantees, Skew shape asymptotics, a case-based introduction, Relating the cut distance and the weak* topology for graphons, Hook formulas for skew shapes. III: Multivariate and product formulas, Evolution and design inside and outside mathematics