Proofs from THE BOOK

DOI10.1007/978-3-642-00856-6zbMath1185.00001OpenAlexW4231710040WikidataQ56228603 ScholiaQ56228603MaRDI QIDQ5902174

Publication date: 29 October 2009

Full work available at URL: https://doi.org/10.1007/978-3-642-00856-6

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to real functions (26-01) Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Recreational mathematics (00A08) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to convex and discrete geometry (52-01)

Related Items

Uniform and Completely Nonequilibrium Invariant States for Weak Coupling Limit Type Quantum Markov Semigroups Associated with Eulerian Cycles ⋮ On the number of Hadamard matrices via anti-concentration ⋮ On the nonexistence of \(k\)-reptile simplices in \(\mathbb R^3\) and \(\mathbb R^4\) ⋮ The ins and outs of mathematical explanation ⋮ Beautiful formalizations in Isabelle/Naproche ⋮ A visit to mutual exclusion in seven dates ⋮ On model flexibility of the Jessen orthogonal icosahedron ⋮ A view from the bridge spanning combinatorics and probability ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Unnamed Item ⋮ Kernelization of edge perfect code and its variants ⋮ Fast Cluster Detection in Networks by First Order Optimization ⋮ An improved planar graph product structure theorem ⋮ Structural and numerical studies of some topological properties for Alexandroff spaces ⋮ Two-Sided, Unbiased Version of Hall’s Marriage Theorem ⋮ A Short Proof of Cayley's Tree Formula ⋮ Asynchronous rumor spreading on random graphs ⋮ On \(k\)-diametral point configurations in Minkowski spaces ⋮ Bisecting and \(D\)-secting families for set systems ⋮ The local weak limit of 𝑘-dimensional hypertrees ⋮ On some topological properties in the class of Alexandroff spaces ⋮ A note on eigenvalue bounds for independence numbers of non-regular graphs ⋮ Cauchy-Binet for pseudo-determinants ⋮ Generating series and asymptotics of classical spin networks ⋮ A post-quantum associative memory ⋮ Unnamed Item ⋮ Extremal edge polytopes ⋮ Proving quadratic reciprocity: explanation, disagreement, transparency and depth ⋮ Irrational Thoughts ⋮ Prolegomena to virtue-theoretic studies in the philosophy of mathematics ⋮ On time-lock cryptographic assumptions in abelian hidden-order groups ⋮ A new simple proof of Cayley's formula and its relationship with the Kirkwood-Salzburg equations ⋮ Graph product structure for non-minor-closed classes ⋮ Improved Bounds for Wireless Localization ⋮ Totally non-negativity of a family of change-of-basis matrices ⋮ Non-crossing Tree Realizations of Ordered Degree Sequences ⋮ Pyramids Over Regular 3-Tori ⋮ Unnamed Item ⋮ Hamiltonian Cycles and Subsets of Discounted Occupational Measures ⋮ Convex hull of face vectors of colored complexes ⋮ A fresh approach to classical Eisenstein series and the newer Hilbert–Eisenstein series ⋮ Unnamed Item ⋮ Partitions of graphs into small and large sets ⋮ An Appreciation of the First Book of Spherics ⋮ On the exponential generating function of labelled trees ⋮ Cardinality estimation of support of the global minimizer for the interaction energy with mildly repulsive potentials ⋮ Proofs (not) from The Book ⋮ New definite integrals and a two-term dilogarithm identity ⋮ Illuminating spindle convex bodies and minimizing the volume of spherical sets of constant width ⋮ The Green-Tao theorem: an exposition ⋮ Finding temporal paths under waiting time constraints ⋮ Efficient FFT-based upscaling of the permeability of porous media discretized on uniform grids with estimation of RVE size ⋮ The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints ⋮ A recursive algorithm for trees and forests ⋮ A bijective proof of the Shor recurrence ⋮ Unnamed Item ⋮ The \(p\)-restricted edge-connectivity of Kneser graphs ⋮ Applications of dimensionality reduction and exponential sums to graph automorphism ⋮ A graph theoretic method for determining generating sets of prime ideals in quantum matrices ⋮ CERES in higher-order logic ⋮ A new proof of the Hansen-Mullen irreducibility conjecture ⋮ Two trees enumerating the positive rationals ⋮ The magnitude of odd balls via Hankel determinants of reverse Bessel polynomials ⋮ On the geometry of real or complex supersolvable line arrangements ⋮ On the stability of interval decomposable persistence modules ⋮ On the sets of \(n\) points forming \(n+1\) directions ⋮ Cutting planes for families implying Frankl’s conjecture ⋮ The illumination conjecture for spindle convex bodies ⋮ No more than \(2^{d+1}-2\) nearly neighbourly simplices in \({\mathbb{R}}^d\) ⋮ The (u,v)-Calkin–Wilf forest ⋮ A survey of graphs with known or bounded crossing numbers ⋮ A variant of the Hadwiger-Debrunner \((p,q)\)-problem in the plane ⋮ Finding equal-diameter triangulations in polygons ⋮ Strict Sign-Central Matrices ⋮ Linking and cutting spanning trees ⋮ Election in fully anonymous shared memory systems: tight space bounds and algorithms ⋮ On a system of equations with primes ⋮ Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth ⋮ Expression for the Number of Spanning Trees of Line Graphs of Arbitrary Connected Graphs