The following pages link to Proofs from THE BOOK (Q5891435):
Displaying 35 items.
- Thue's lemma in \(\mathbb Z[i]\) and Lagrange's four-square theorem (Q670714) (← links)
- On the range of the relative higher index and the higher rho-invariant for positive scalar curvature (Q822695) (← links)
- Modified equations and the Basel problem (Q1670962) (← links)
- Optimal graphs for independence and \(k\)-independence polynomials (Q1756111) (← links)
- On the number of directions determined by a three-dimensional points set (Q1881677) (← links)
- The maximum spectral radius of non-bipartite graphs forbidding short odd cycles (Q2094864) (← links)
- Arrangements of approaching pseudo-lines (Q2117345) (← links)
- Say no to case analysis: automating the drudgery of case-based proofs (Q2117657) (← links)
- The free tangent law (Q2221762) (← links)
- Topological generation and matrix models for quantum reflection groups (Q2295464) (← links)
- Weighted Turán problems with applications (Q2319696) (← links)
- Acute sets of exponentially optimal size (Q2334500) (← links)
- Anderson localization for one-frequency quasi-periodic block Jacobi operators (Q2357091) (← links)
- The Stolarsky principle and energy optimization on the sphere (Q2413522) (← links)
- Asymptotic tensor rank of graph tensors: beyond matrix multiplication (Q2422766) (← links)
- Finding paths in sparse random graphs requires many queries (Q2951884) (← links)
- From Acute Sets to Centrally Symmetric 2-Neighborly Polytopes (Q3174697) (← links)
- The Group Inverse of the Laplacian Matrix of a Graph (Q4557579) (← links)
- Cayley′s Formula: A Page From The Book (Q4576536) (← links)
- (Q4576546) (← links)
- <i>λ</i>-stability of periodic billiard orbits (Q4578146) (← links)
- Two Short Proofs of the Infinitude of Primes (Q4581671) (← links)
- Using Brouwer’s Fixed Point Theorem (Q4604376) (← links)
- Pruned Hurwitz numbers (Q4604401) (← links)
- INTERPOLATED SCHUR MULTIPLE ZETA VALUES (Q4642368) (← links)
- Achromatic numbers of Kneser graphs (Q5013343) (← links)
- Affine dimers from characteristic polygons (Q5045934) (← links)
- Uniformly Connected Graphs — A Survey (Q5087054) (← links)
- (Q5110995) (← links)
- The Calkin–Wilf Tree of a Quadratic Surd (Q5238048) (← links)
- The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg (Q5241224) (← links)
- Area Difference Bounds for Dissections of a Square into an Odd Number of Triangles (Q5857573) (← links)
- Spectral extremal graphs for the bowtie (Q6056745) (← links)
- Refinement on Spectral Turán’s Theorem (Q6081801) (← links)
- Computers as a novel mathematical reality. II: Waring's problem (Q6148159) (← links)