Solvability
71List of University of Michigan alumni — There are more than 425,000 living alumni of the University of Michigan. Famous alumni include the father of the iPod, the founders of Sun Microsystems and Google, the father of information theory, the voice of Darth Vader, the first doctor… …
72Detailed balance — The principle of detailed balance is formulated for kinetic systems which are decomposed into elementary processes (collisions, or steps, or elementary reactions): At equilibrium, each elementary process should be equilibrated by its reverse… …
73Artin-Schreier theory — See Artin Schreier theorem for theory about real closed fields. In mathematics, Artin Schreier theory is a branch of Galois theory, and more specifically is a positive characteristic analogue of Kummer theory, for extensions of degree equal to… …
74Karp-Lipton theorem — The Karp–Lipton theorem in complexity theory states that if the boolean satisfiability problem (SAT) can be solved by Boolean circuits with a polynomial number of logic gates, then :Pi 2 , = Sigma 2 , and therefore mathrm{PH} , = Sigma 2 ,.That… …
75Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… …
76Brauer's theorem on induced characters — Brauer s theorem on induced characters, often known as Brauer s induction theorem, and named after Richard Brauer, is a basic result in the branch of mathematics known as character theory, which is, in turn, part of the representation theory of a …
77Victor Isakov — (b.1947) is a mathematician working in the field of inverse problems for partial differential equations and related topics (potential theory, uniqueness of continuation and Carleman estimates, nonlinear functional analysis and calculus of… …
78Mark Krasnosel'skii — Mark Alexandrovich Krasnosel skii (Russian: Марк Александрович Красносельский) (April 27, 1920, Starokostiantyniv – February 13, 1997, Moscow) was a Soviet, Russian and Ukrainian mathematician renowned for his work on nonlinear functional… …
79Ellipsoid method — The ellipsoid method is an algorithm for solving convex optimization problems. It was introduced by Naum Z. Shor, Arkady Nemirovsky, and David B. Yudin in 1972, and used by Leonid Khachiyan to prove the polynomial time solvability of linear… …
80Chevalley theorem — Several theorems proved by the French mathematician Claude Chevalley bear his name. Chevalley–Shephard–Todd theorem in invariant theory of finite groups. Chevalley–Warning theorem concerning solvability of polynomial equations over finite fields …
