of the three-dimensional case of de Bruijn's theorem, based on the algebra of polynomials. The third of de Bruijn's results is that, if a brick is not...

The De Bruijn–Erdős theorem may refer to: De Bruijn–Erdős theorem (incidence geometry) De Bruijn–Erdős theorem (graph theory) This disambiguation page...

In incidence geometry, the De Bruijn–Erdős theorem, originally published by Nicolaas Govert de Bruijn and Paul Erdős in 1948, states a lower bound on the...

De Bruijn notation, a syntax for terms in the λ calculus De Bruijn's theorem, a theorem regarding the packing of bricks into boxes Bruijn De Bruyn De...

In graph theory, the De Bruijn–Erdős theorem relates graph coloring of an infinite graph to the same problem on its finite subgraphs. It states that,...

has media related to Nicolaas Govert de Bruijn (mathematician). Nicolaas Govert de Bruijn's obituary Bruijn N.G. de Archived 2012-03-04 at the Wayback Machine...

number Linear-feedback shift register n-sequence BEST theorem Superpermutation de Bruijn (1946). de Bruijn (1975). Brown (1869); Stein (1963); Kak (2000); Knuth...

references are shown with arrows. De Bruijn indices are commonly used in higher-order reasoning systems such as automated theorem provers and logic programming...

Dawson–Gärtner theorem (asymptotic analysis) de Branges's theorem (complex analysis) de Bruijn's theorem (discrete geometry) De Bruijn–Erdős theorem (incidence...

arXiv:2004.07558. Weisstein, Eric W. "Klarner's Theorem". MathWorld. Weisstein, Eric W. "de Bruijn's Theorem". MathWorld. Wikimedia Commons has media related...

fixed. Circle packing in a rectangle Square packing in a square De Bruijn's theorem: packing congruent rectangular bricks of any dimension into rectangular...

provide nontrivial lower bounds for the Furstenberg–Sárközy theorem. The Moser–de Bruijn sequence obeys a property similar to that of a Sidon sequence:...

In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map...

puzzle with the clues 1 in one corner and 64 in the opposite corner. De Bruijn's theorem concerns the impossibility of packing certain cuboids into a larger...

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving...

The BEST theorem is due to van Aardenne-Ehrenfest and de Bruijn (1951), §6, Theorem 6. Their proof is bijective and generalizes the de Bruijn sequences...

polyomino tiling, including the mutilated chessboard problem and De Bruijn's theorem that a rectangle tiled by smaller 1 × n {\displaystyle 1\times n}...

compactness, such as the De Bruijn–Erdős theorem stating that every minimal k-chromatic graph is finite, and the Curtis–Hedlund–Lyndon theorem providing a topological...

with multiplicity) is b. Theorem: For any non-trivial PBD, v ≤ b. This result also generalizes the Erdős–De Bruijn theorem: For a PBD with λ = 1 having...

version of Dilworth's theorem, every finite subset S of P has a w-colorable incomparability graph. Therefore, by the De Bruijn–Erdős theorem, P itself also has...

hypothesis is true, then the theorem is true. If the generalized Riemann hypothesis is false, then the theorem is true. Thus, the theorem is true!! Care should...

problem Sylvester–Gallai theorem and De Bruijn–Erdős theorem Cauchy's theorem Borsuk's conjecture Schröder–Bernstein theorem Wetzel's problem on families...

sequence is countable, so f is zero almost everywhere. In fact, the de Bruijn–Post Theorem states the converse of the above criterion: If f is a function such...

circuits in digraphs can be calculated using the so-called BEST theorem, named after de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte. The formula states...

non-trivial PBD, v ≤ b. This result also generalizes the famous Erdős–De Bruijn theorem: For a PBD with λ = 1 having no blocks of size 1 or size v, v ≤ b...

informal correspondence is as follows: N. G. de Bruijn used the lambda notation for representing proofs of the theorem checker Automath, and represented propositions...

leave out "Hausdorff" we get a theorem equivalent to the full axiom of choice. In graph theory, the de Bruijn–Erdős theorem is another equivalent to BPI...

Erdős theorems de Bruijn–Erdős theorem (graph theory) de Bruijn–Erdős theorem (incidence geometry) Davenport–Erdős theorem Erdős–Anning theorem Erdős–Beck...

properties of the underlying graph from vertices into edges, and by Whitney's theorem the same translation can also be done in the other direction. Line graphs...

the last sentence in a formal proof is called a theorem of the formal system. The notion of theorem is generally effective, but there may be no method...