X-Nico

unusual facts about Schaefer's theorem


Schaefer's theorem

Schaefer's dichotomy theorem, a theorem about the theory of NP-completeness by Thomas J. Schaefer


Beck's theorem

Both appeared, alongside several other important theorems, in a well-known paper by József Beck.

Blizzard North

It was established in 1993 under the name Condor, founded by Max Schaefer, Erich Schaefer, and David Brevik.

Bloch's theorem

For the theorem named after Felix Bloch on wave functions of a particle in a periodic potential, see Bloch wave.

Bob Schaefer

Although Schaefer received positive notices for his work as the Red Sox' player development chief, he clashed with general manager Dan Duquette and was fired during the summer of 1998; several minor league managers and coaches, including Geren, departed the organization with Schaefer, who spent the next three years as a special assistant to the general manager of the Baltimore Orioles before returning to the Royals in 2001 as a bench coach and infielders coach.

Ceva's theorem

But it was proven much earlier by Yusuf Al-Mu'taman ibn Hűd, an eleventh-century king of Zaragoza.

Chaplygin sleigh

Because this constraint is nonholonomic, Liouville's theorem does not apply, and although energy is conserved, the motion is dissipative in the sense that phase space volume is not conserved.

Copeland–Erdős constant

The constant is irrational; this can be proven with Dirichlet's theorem on arithmetic progressions or Bertrand's postulate (Hardy and Wright, p. 113) or Ramare's theorem that every even integer is a sum of at most six primes.

De Bruijn's theorem

In a 1969 paper, Dutch mathematician Nicolaas Govert de Bruijn proved several results about packing congruent rectangular bricks (of any dimension) into larger rectangular boxes, in such a way that no space is left over.

Edwin M. Schaefer

Schaefer was elected as a Democrat to the Seventy-third and to the four succeeding Congresses (March 4, 1933 – January 3, 1943).

Endre Szemerédi

Ajtai and Szemerédi proved the corners theorem, an important step toward higher dimensional generalizations of the Szemerédi theorem.

Fáry's theorem

Heiko Harborth raised the question of whether every planar graph has a straight line representation in which all edge lengths are integers.

Fermat's theorem

The works of 17th century mathematician Pierre de Fermat engendered many theorems.

Friedrich Schottky

Friedrich Hermann Schottky (24 July 1851 – 12 August 1935) was a German mathematician who worked on elliptic, abelian, and theta functions and introduced Schottky groups and Schottky's theorem.

Gravitational lensing formalism

While gravitational lensing preserves surface brightness, as dictated by Liouville's theorem, lensing does change the apparent solid angle of a source.

Greedy embedding

For maximal planar graphs, in which every face is a triangle, a greedy planar embedding can be found by applying the Knaster–Kuratowski–Mazurkiewicz lemma to a weighted version of a straight-line embedding algorithm of Schnyder.

Henstock–Kurzweil integral

Cousin's theorem states that for every gauge \delta, such a \delta-fine partition P does exist, so this condition cannot be satisfied vacuously.

Hilbert's theorem

Hilbert's basis theorem, in commutative algebra, stating every ideal in the ring of multivariate polynomials over a Noetherian ring is finitely generated

Hilbert's irreducibility theorem, in number theory, concerning irreducible polynomials

Hilbert's syzygy theorem, a result of commutative algebra in connection with the syzygy problem of invariant theory

Hilbert's Theorem 90, an important result on cyclic extensions of fields that leads to Kummer theory

Jack Schaefer

Schaefer's novel Monte Walsh was made into a movie in 1970, with Lee Marvin in the title role, and again in 2003 as a TV movie starring Tom Selleck.

Janet S. Owens

In early July 2006, when asked if he would debate Owens, Schaefer said he "wouldn't debate her on how to bake a chocolate cake." In the primary election on September 12, 2006, Owens garnered more votes than Schaefer, but Peter Franchot received the most votes, earning the Democratic party's nomination for Comptroller.

Kellogg's theorem

Kellogg's theorem is a pair of related results in the mathematical study of the regularity of harmonic functions on sufficiently smooth domains by Oliver Dimon Kellogg.

Kirchhoff's theorem

Cayley's formula follows from Kirchhoff's theorem as a special case, since every vector with 1 in one place, −1 in another place, and 0 elsewhere is an eigenvector of the Laplacian matrix of the complete graph, with the corresponding eigenvalue being n.

Kolmogorov–Smirnov test

This result may also be known as the Kolmogorov theorem; see Kolmogorov's theorem for disambiguation.

Komura

Kōmura's theorem, result on the differentiability of absolutely continuous Banach space-valued functions

Lee Qualm

2010 When District 21 incumbent Republican Representatives Thomas Deadrick was term limited and retired and left a District 21 seat open, Qualm ran in the three-way June 8, 2010 Republican Primary but lost to incumbent Representative Kent Juhnke and James Schaefer, who went on to win the four-way November 2, 2010 General election against Democratic nominees David Reis (a perennial candidate who had sought legislative seats in 2002, 2004, 2006, and 2008) and Norm Cihak.

Liouville number

The following lemma is usually known as Liouville's theorem (on diophantine approximation), there being several results known as Liouville's theorem.

Montel's theorem

For example, the first version of Montel's theorem stated above is the analog of Liouville's theorem, while the second version corresponds to Picard's theorem.

Morley's theorem

Morley's categoricity theorem, a theorem related to model theory, discovered by Michael D. Morley

Morley's trisector theorem, a theorem related to geometry, discovered by Frank Morley

Okishio's theorem

Between 1999 and 2004, David Laibman, a Marxist economist, published at least nine pieces dealing with the Temporal single-system interpretation (TSSI) of Marx's value theory.

Or Records

--THE US DRONE METAL ONE-->, Farmersmanual (aka Farmers Manual or Farmer's Manual), Gescom, Zbigniew Karkowski & Helmut Schäfer (aka Helmut Schaefer), Francisco López, MAZK (Masami Akita & Zbigniew Karkowski), Daniel Menche, Shirt Trax (aka Shirttrax), Stützpunkt Wien 12 – plus (on anthologies) Hecker, and Incapacitants.

Pfaffian function

In the 1990s, Alex Wilkie showed that one has the same result if instead of adding every analytic function, one just adds the exponential function to R to get the ordered real field with exponentiation, Rexp, a result known as Wilkie's theorem.

Poynting

Poynting's theorem on conservation of energy in electromagnetic field

Rado graph

Then, for any sets U and V, by the Chinese remainder theorem, the numbers that are quadratic resides modulo every prime in U and nonresidues modulo every prime in V form a periodic sequence, so by Dirichlet's theorem on primes in arithmetic progressions this number-theoretic graph has the extension property.

Reflections on the Motive Power of Fire

The Reflections contain a number of principles such as the Carnot cycle, the Carnot heat engine, Carnot's theorem, thermodynamic efficiency.

Representability

Brauer's theorem on the representability of zero by forms over certain fields in sufficiently many variables

Riemann–Roch theorem

The theorem for compact Riemann surfaces can be deduced from the algebraic version using Chow's theorem and the GAGA principle: in fact, every compact Riemann surface is defined by algebraic equations in some complex projective space.

Rouché's theorem

Theodor Estermann (1902–1991) proved in his book Complex Numbers and Functions the following relation: Let K\subset G be a bounded region with continuous boundary \partial K.

Sara Schaefer

Schaefer was raised in Midlothian, Virginia, the daughter of Billie Knight (née Hehl) and William Linwood "Bill" Schaefer.

Savitch's theorem

In computational complexity theory, Savitch's theorem, proved by Walter Savitch in 1970, gives a relationship between deterministic and non-deterministic space complexity.

Superslow process

Stagnation zones theorems are closely related to pre-Liouville's theorems about evaluation of solutions fluctuation, which direct consequences are the different versions of the classic Liouville theorem about conversion of the entire doubly periodic function into the identical constant.

Syamadas Mukhopadhyaya

Syamadas Mukhopadhyaya (June 22, 1866 – May 8, 1937) was an Indian mathematician who introduced the four-vertex theorem and Mukhopadhyaya's theorem in plane geometry.

Taylor's theorem

An earlier version of the result is already mentioned in 1671 by James Gregory.

The Slackers and Friends

The album consists of collaborations with various figures from the ska and reggae scenes, including Cornell Campbell, Glen Adams of The Upsetters, Ari Up of the Slits, Doreen Schaefer of the Skatalites, and acoustic ska artist Chris Murray.

Thévenin's theorem

The theorem was independently derived in 1853 by the German scientist Hermann von Helmholtz and in 1883 by Léon Charles Thévenin (1857–1926), an electrical engineer with France's national Postes et Télégraphes telecommunications organization.

Timeline of women in mathematics worldwide

1930s: British mathematician Mary Cartwright proved her theorem, now known as Cartwright's theorem, which gives an estimate for the maximum modulus of an analytic function that takes the same value no more than p times in the unit disc.

Topological graph

The prototype of such results is Turán's theorem, where there is one forbidden subgraph: a complete graph with k vertices (k is fixed).

Vincent's theorem

Thesis "Vincent's Theorem in Algebraic Manipulation", North Carolina State University, USA, 1978.


see also