The following pages link to Proofs from THE BOOK (Q5902174):
Displayed 50 items.
- On model flexibility of the Jessen orthogonal icosahedron (Q304548) (← links)
- Kernelization of edge perfect code and its variants (Q317422) (← links)
- A note on eigenvalue bounds for independence numbers of non-regular graphs (Q400541) (← links)
- Cauchy-Binet for pseudo-determinants (Q401214) (← links)
- Extremal edge polytopes (Q405274) (← links)
- Proofs (not) from The Book (Q483555) (← links)
- The Green-Tao theorem: an exposition (Q489922) (← links)
- A recursive algorithm for trees and forests (Q507491) (← links)
- Applications of dimensionality reduction and exponential sums to graph automorphism (Q551192) (← links)
- A graph theoretic method for determining generating sets of prime ideals in quantum matrices (Q555559) (← links)
- New definite integrals and a two-term dilogarithm identity (Q663556) (← links)
- Illuminating spindle convex bodies and minimizing the volume of spherical sets of constant width (Q664363) (← links)
- CERES in higher-order logic (Q716500) (← links)
- The illumination conjecture for spindle convex bodies (Q741176) (← links)
- A variant of the Hadwiger-Debrunner \((p,q)\)-problem in the plane (Q745667) (← links)
- Finding equal-diameter triangulations in polygons (Q747574) (← links)
- Generating series and asymptotics of classical spin networks (Q891759) (← links)
- The ins and outs of mathematical explanation (Q1622650) (← links)
- A bijective proof of the Shor recurrence (Q1746570) (← links)
- Finding temporal paths under waiting time constraints (Q1979453) (← links)
- The \(p\)-restricted edge-connectivity of Kneser graphs (Q2008197) (← links)
- On the stability of interval decomposable persistence modules (Q2039307) (← links)
- No more than \(2^{d+1}-2\) nearly neighbourly simplices in \({\mathbb{R}}^d\) (Q2046444) (← links)
- Election in fully anonymous shared memory systems: tight space bounds and algorithms (Q2097346) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- A visit to mutual exclusion in seven dates (Q2136281) (← links)
- An improved planar graph product structure theorem (Q2152790) (← links)
- Structural and numerical studies of some topological properties for Alexandroff spaces (Q2169256) (← links)
- Bisecting and \(D\)-secting families for set systems (Q2181239) (← links)
- On the exponential generating function of labelled trees (Q2219985) (← links)
- Cardinality estimation of support of the global minimizer for the interaction energy with mildly repulsive potentials (Q2223376) (← links)
- Efficient FFT-based upscaling of the permeability of porous media discretized on uniform grids with estimation of RVE size (Q2236179) (← links)
- The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints (Q2238737) (← links)
- On the sets of \(n\) points forming \(n+1\) directions (Q2290351) (← links)
- Linking and cutting spanning trees (Q2331458) (← links)
- On a system of equations with primes (Q2341683) (← links)
- Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth (Q2347800) (← links)
- On the nonexistence of \(k\)-reptile simplices in \(\mathbb R^3\) and \(\mathbb R^4\) (Q2363691) (← links)
- Asynchronous rumor spreading on random graphs (Q2408097) (← links)
- Convex hull of face vectors of colored complexes (Q2441631) (← links)
- Partitions of graphs into small and large sets (Q2446835) (← links)
- On \(k\)-diametral point configurations in Minkowski spaces (Q2666592) (← links)
- The (u,v)-Calkin–Wilf forest (Q2810676) (← links)
- Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
- A fresh approach to classical Eisenstein series and the newer Hilbert–Eisenstein series (Q2978904) (← links)
- (Q3305185) (← links)
- Improved Bounds for Wireless Localization (Q3512449) (← links)
- Two-Sided, Unbiased Version of Hall’s Marriage Theorem (Q4575219) (← links)
- A Short Proof of Cayley's Tree Formula (Q4576987) (← links)
- Pyramids Over Regular 3-Tori (Q4602854) (← links)