To summarize the principle of our approach, we used Bayes' theorem to rewrite the posterior pdf as a function of a prior and a likelihood. |
|
The projections of the four individual submodels were integrated into a single prediction based upon Bayes' theorem. |
|
No mathematical theorem could require the number of pages these fellows were taking! |
|
There is a theorem proved by Kurt Godel in 1931, which is the Incompleteness Theorem for mathematics. |
|
There is a famous theorem in the field of mathematics known as graph theory. |
|
Nash and I proved the same theorem, or, rather, two theorems very close to each other. |
|
In order to prove the theorem, Wiles had to draw on and extend several ideas at the core of modern mathematics. |
|
He proved a major theorem concerning the measure-preserving property of Hamiltonian dynamics. |
|
In 1964 John Bell, an Irish theoretical physicist, published a theorem that seemed to prove the argument for non-locality. |
|
In 1976, Kenneth Appel and Wolfgang Haken finally managed to prove the theorem for a second time. |
|
A mathematical theorem about diagonals of rectangles might mention two equal and similar triangles which are, nonetheless, distinct. |
|
Bonnet used Codazzi's formulas to prove the existence theorem in the theory of surfaces. |
|
The proposal is to build a new higher-order automatic theorem prover incorporating the lessons of recent research. |
|
This theorem accounts for both the unexplainable growth in outstandings and the lack of delinquencies! |
|
However, Ulam did make a fundamental contribution in proposing the antipodal map theorem. |
|
In Book 9 Saunderson presents the binomial theorem and the theory of logarithms. |
|
The Steiner theorem states that the two pencils by which a conic is projected from two of its points are projectively related. |
|
Kronecker never published the theorem and it was Castelnuovo's version which appeared in print. |
|
This theorem gave, as a corollary, the complete structure of all finite projective geometries. |
|
The only flexibility in this theorem is choosing the order in which the values of k are used. |
|
|
It happened when he came across a theorem which stated that points in the plane could be specified with a single coordinate. |
|
The next year, Littlewood proved a profound converse of a famous theorem of Norwegian mathematician Abel on the summation of series. |
|
He has a theorem named after him which concerns the intersection of surfaces. |
|
Of course, an analysis of the notion of finitism cannot be presented as a theorem. |
|
This theorem, also called the infinitude of primes theorem, was proved by Euclid in Proposition IX.20 of the Elements. |
|
In fact he is remembered for Farkas theorem which is used in linear programming and also for his work on linear inequalities. |
|
It then follows from the Menelaus theorem, that every three such points are collinear provided all or two of the bisectors are external. |
|
The foundation for such an study is provided by the implicit function theorem, formulated below. |
|
His most famous theorem gives the weight of a body immersed in a liquid, called Archimedes' principle. |
|
We will give a proof here, independent of Wilson's theorem, that all permutations are possible. |
|
In 1826 he generalised his theorem to a hyperboloid of revolution, rather than a cone. |
|
Parallelogram of Forces is the famous theorem that can be used to determine the resultant of two forces acting at a point. |
|
He lectured on and wrote up notes on Tate's theorem on homomorphisms between abelian varieties over finite fields. |
|
In 1943 he proved the Gelfand Naimark theorem on self-adjoint algebras of operators in Hilbert space. |
|
In particular in two papers published in 1900 and 1901, he proved the central limit theorem using a technique based on characteristic functions. |
|
The Skolem-Lowenheim theorem asserts that any first-order theory having an infinite model has other models of all smaller infinite cardinalities. |
|
In his talk, he gave an outline of some of Thompson's work, beginning with the odd order theorem of Feit and Thompson. |
|
To prove our theorem on the sphere, move the figure by a rotation so that P is at the south pole, then project onto the plane. |
|
And where a theorem may present some problem, he may always look down to the numerical examples for help. |
|
By chapter two he is proving Pythagoras' theorem from first principles and introducing non-Euclidean geometry. |
|
|
Einstein observes that the Menelaus theorem is symmetric with respect to the vertices of the triangle. |
|
If writing to ask for extra money, he would sometimes include a mathematical theorem for possible use in exams to soften his father up. |
|
According to the prime number theorem, the average gap length up to a certain prime equals the value of the natural logarithm of that prime. |
|
If the problem is difficult enough, a theorem like this can be a significant achievement. |
|
His ideas centred around the so-called polynomial theorem which was a generalisation of the binomial theorem. |
|
The paper draws an analogy between the binomial theorem and the successive derivatives of the product of functions. |
|
In 1925 he proved the Krull-Schmidt theorem for decomposing abelian groups of operators. |
|
In the same year he generalised von Neumann's spectral theorem to locally compact abelian groups. |
|
Smith also extended Gauss's theorem on real quadratic forms to complex quadratic forms. |
|
This is a beautiful description of the binomial theorem using the Pascal triangle. |
|
Bell's theorem states that there is no local realistic description of quantum theory. |
|
The following year he published An elementary proof of the prime number theorem for arithmetic progressions. |
|
Unfortunately, it's the only theorem I remember from school. That may be why it took me two goes to get my maths O level. |
|
Fermat subsequently died, leaving mathematicians to search for 350 years for a proof of the theorem. |
|
Again it is a theorem of intuitionistic arithmetic that every natural number is either prime or composite. |
|
In this work he gave what Thomson considered the first proof of the Waterston-Maxwell equipartition theorem. |
|
The theorem thus implies existence of the total of 18 equilateral triangles. |
|
Of course, none of this disconfirms the standard theorem that the intersection of a circle and a tangent is a single point. |
|
The theorem states that all central division algebras over algebraic number fields are cyclic algebras. |
|
This gave powerful results such as a purely algebraic proof of the Riemann Roch theorem. |
|
|
The papers look at algebraic curves, the Riemann Roch theorem and algebraic polynomials. |
|
He proved that every field has an algebraically closed extension field, perhaps his most important single theorem. |
|
Also in this book is al-Samawal's description of the binomial theorem where the coefficients are given by the Pascal triangle. |
|
However, he was more interested in mathematics than he was in the law and at the age of 20 Buffon discovered the binomial theorem. |
|
Generalizing the Pythagorean equation for triangles with integer sides to powers greater than 2 leads to Fermat's last theorem. |
|
By pulling these observations together with some mathematical syntax, a theorem is formed relating to the expansion of binomial terms. |
|
This last theorem implies, in particular, the proposition that free groups are residually finite. |
|
In proving these learnable results, crucial use is made of a theorem on the concept known as finite elasticity. |
|
Thomson's theorem states that electrically charged particles arrange themselves so as to have the least energy. |
|
He gave a reducibility theorem for Riemann spaces which is fundamental in the development of Riemannian geometry. |
|
Using this theorem, Euclid can perform the old Pythagorean proof of Pythagoras' theorem correctly. |
|
A Pythagorean triple is a set of three natural numbers that satisfies Pythagoras' theorem. |
|
A formula for the line integral of the geodesic curvature along a closed curve is known as the Gauss Bonnet theorem. |
|
Twenty years earlier Gordan had proved the finite basis theorem for binary forms using a highly computational approach. |
|
The fundamental theorem of calculus becomes almost obvious once the nonstandard terminology is invoked and interpreted in its full literality. |
|
Suffice it to say that the headaches of algebra, Pythagoras' theorem, and geometry didn't tickle his fancy. |
|
The method is an application of the weak transversality theorem used in catastrophe theory. |
|
The problem of calculating loxodromes is exactly the problem of the fundamental theorem of calculus. |
|
He gave a topological characterisation of the plane which simplified considerably the Jordan curve theorem. |
|
Thus they visit the classic marginal-value theorem and its graphical solution by constructing a tangent to the mean gain curve. |
|
|
Largely under the impetus of the odd order theorem, there was an awakening interest in finite group theory. |
|
This is an algebraic expression of the disjunctive normal form theorem of sentential logic. |
|
The Sulba Sutras demonstrate that India had Pythagoras' theorem before the great Greek was born. |
|
Following Bayes' theorem, the posterior distribution over the parameter space is proportional to the likelihood times the prior distribution. |
|
His ergodic theorem gave the kinetic theory of gases a rigorous basis. |
|
The proof of this theorem makes essential use of free choice sequences. |
|
In a nutshell, it asks for the simplest proof of any theorem. |
|
We wish to expound in detail some of the many proofs of this theorem. |
|
To me it sounds like we're all stupid, helpless idiots, no different from our kissing cousins, the chimpanzees, trying to learn the Pythagorean theorem. |
|
When I send you one, you take it from me, generalise it at a glance, bestow it thus generalised upon society at large, and make me the second discoverer of a known theorem. |
|
Euler's theorem is far from the whole story for face vectors of polytopes, but it is not difficult to show that it is the whole story of linear equations on face numbers. |
|
Perhaps the most famous example of this is Stokes' theorem in vector calculus, which allows us to convert line integrals into surface integrals and vice versa. |
|
A theorem of Peter Gustav Lejeune Dirichlet on primes in arithmetic progression guarantees that all the other notes are heard infinitely often when one plays all the primes. |
|
Since Euclid's axiomatic formulation of geometry mathematicians had been trying to prove his fifth postulate as a theorem deduced from the other four axioms. |
|
The proof of Euler's theorem actually gives us a way of solving the maze. |
|
Once these parameters have been estimated, Bayes' theorem is used to estimate the posterior probability that a given site came from the class of positively selected sites. |
|
A follower of Clifford might object if there was no philosophical discussion of rival explanations or of the application here of Bayes' theorem in the theory of probability. |
|
The paper gives a proof of the intermediate value theorem with Bolzano's new approach and in the work he defined what is now called a Cauchy sequence. |
|
A theorem of Riemann's geometry is that the sum of the interior angles of a triangle is always greater than 180 degrees, and increases as the areas of triangles increase. |
|
One can do this by basing the material on the Cox-Ross-Rubinstein theorem and the like, approximating the Black-Scholes model with discrete-time binomial trees. |
|
|
One of the results on which al-Karaji uses this form of induction comes from his work on the binomial theorem, the binomial coefficients and the Pascal triangle. |
|
The discovery of the binomial theorem for integer exponents by al-Karaji was a major factor in the development of numerical analysis based on the decimal system. |
|
Consider, for example, the Pythagorean theorem that the square on the hypotenuse of a right triangle is equal to the sum of the squares on the other two sides. |
|
A generalization of Morley's theorem would be an appropriate contribution to the coming centennial anniversary of the discovery of this wonderful result. |
|
This is called Zeckendorf's theorem, and the subsequence of Fibonacci numbers which add up to a given integer is called its Zeckendorf representation. |
|
The 255 page proof of the odd order theorem, filling an entire issue of the Pacific Journal, had set the tone, but it was by far not the longest paper. |
|
This paper contains his famous deep implicit function theorem. |
|
In classical mathematics, he founded modern topology by establishing, for example, the topological invariance of dimension and the fixpoint theorem. |
|
As a corollary to this theorem Higman proved the existence of a universal finitely presented group containing every finitely presented group as a subgroup. |
|
He studied primitive permutation groups and proved a finiteness theorem. |
|
Now, both the original Asymmetric Propeller and Napoleon's theorem start with three equilateral triangles and discover the fourth one by construction. |
|
Since such a thermometer presumes Lorentz invariant equipartition theorem, a moving object appears neither cold nor hot. |
|
Unlike the circle used as a familiar shape, the indicatrix is based upon Tissot's theorem of map projection distortion. |
|
Unfortunately for Pythagoras, his theorem led at once to the discovery of incommensurables, which appeared to disprove his whole philosophy. |
|
We give a combinatorial proof of this theorem and prove several additional statements on three-codimensional faces of parallelohedral tiling. |
|
The formula is further related to the particle's decay rate by the optical theorem. |
|
From this we prove the structure theorem that every transitive action of a gyrogroup can be realized as a gyrogroup action by left gyroaddition. |
|
According to Birkhoff's theorem, it is the only vacuum solution that is spherically symmetric. |
|
If a composition is monic then, by theorem, the pre-composite of it is monic as well. |
|
He also created the binomial theorem, worked extensively on optics, and created a law of cooling. |
|
|
In what follows, we will use the mean value theorem, another one of Lagrange's many contributions to numerical analysis. |
|
This means that we should not think that a theorem is ultimately true, only that no counterexample has yet been found. |
|
Converting the surface integral into a volume integral via the divergence theorem gives. |
|
The fundamental theorem of calculus states that differentiation and integration are inverse operations. |
|
Then, seemingly as an afterthought, he noted that that meant that Fermat's last theorem was true. |
|
The modularity theorem involved elliptic curves, which was also Wiles's own specialist area. |
|
The use of the Bayes theorem has been extended in science and in other fields. |
|
Bayes's theorem is a relationship between the conditional probabilities of two events. |
|
Other topics include the geometry of numbers, transcendental numbers, the Roth theorem, Hensel's lemma and the local-global principle. |
|
The law of large numbers and the central limit theorem play important roles in individual risk theory. |
|
The law of large numbers and the central limit theorem are the cornerstones of inferential statistics. |
|
Extensions of the stability theorem of the Minkowski space in general relativity. |
|
Penrose uses a variant of Turing's halting theorem to demonstrate that a system can be deterministic without being algorithmic. |
|
As further applications of our methods in Section 3 we prove a limitation theorem and two Tauberian theorems for factorable matrices. |
|
In his work, and in collaboration with Penrose, Hawking extended the singularity theorem concepts first explored in his doctoral thesis. |
|
Hence A is a maximal set with uni-element and by theorem 1 and definition A, a maximal set of B forms a Boolean ring. |
|
Unknown to the committee, the theorem had already been proven, in 1922, by Jarl Waldemar Lindeberg. |
|
In 1935, at the age of 22, he was elected a fellow of King's on the strength of a dissertation in which he proved the central limit theorem. |
|
Newton is generally credited with the generalised binomial theorem, valid for any exponent. |
|
A concept from economics called the median voter theorem provides one explanation for this wobbliness. |
|
|
This strong growth of local azimuthal velocity near the bathtub drain hole can be explained by Lord Kelvin's circulation theorem. |
|
In order to identify the main assumptions and conclusions of the PBR theorem we first briefly restate the original reasoning of ref. |
|
Or why spiritual writers, invoking the unfalsifiability theorem, say that God always answers our prayers, but sometimes God just says no. |
|
The completeness theorem and the incompleteness theorem, despite their names, do not contradict one another. |
|
In 1665, he discovered the generalised binomial theorem and began to develop a mathematical theory that later became calculus. |
|
Raizen's research is the first direct test of the equipartition theorem for Brownian particles, one of the basic tenets of statistical mechanics. |
|
They begin by describing Hecke's main correspondence theorem and establish a couple of useful lemmas, then work through a fundamental region. |
|
Yes, but we need not only Quadratic Reciprocity but also Dirichlet's theorem on primes in arithmetic progressions to see this. |
|
The Steinitz theorem is a very satisfactory understanding of the graphs of three-dimensional polytopes. |
|
I've never had to deploy Pythagoras' theorem or make the stewed apples we learned to concoct in first year home economics. |
|
The kids will use Pythagoras' theorem to calculate how high each rocket flew, he said. |
|
In the case of R2 being a positive number Pythagoras' theorem holds only exceptionally. |
|
How does Pythagoras' theorem work, what's an enzyme, and how do you remember dates in history? |
|
The cadets gained an understanding of Pythagoras' theorem and trigonometry to ensure their rocket lifted-off on launch day. |
|
You wouldn't hesitate to ask your math teacher for help with the Pythagorean theorem. |
|
Carnot's theorem states that all reversible engines operating between the same heat reservoirs are equally efficient. |
|
In order to prove our theorem, we need the following lemmas. |
|
Elementary and secondary students are at least expected to complete similar courses, to learn the same rules of punctuation and applications of the Pythagorean theorem. |
|
According to the Routh-Hurwitz theorem a necessary condition for local stability of the system is that the determinant of the Jacobian is negative. |
|
The mean value theorem for derivatives provides an important link between the derivative of f on an interval and the behavior of f over the interval. |
|
|
However, a boundary integral equation based on Green's representation theorem or based on a layer approach will lack uniqueness for certain wave numbers. |
|
Robbins' and Rumsey's investigation of Dodgson condensation, a method of evaluating determinants, led them to the Alternating Sign Matrix conjecture, now a theorem. |
|
He continues with Abel's theorem, the gamma function, universal covering spaces, Cauchy's theorem for non-holomorphic functions and harmonic conjugates. |
|
We provide an overview of stabilization methods for point processes and apply these methods to deduce a central limit theorem for statistical estimators of dimension. |
|
It is an easy theorem of ZFCU that all sets have a definite cardinality. |
|
The purpose of this short note is to give a remark on the decomposition theorem for direct images of canonical sheaves tensorized with Nakano semipositive vector bundles. |
|
However, the one monopoly profit theorem is not true if customers in the monopoly good are stranded or poorly informed, or if the tied good has high fixed costs. |
|
By Newton's time, the fundamental theorem of calculus was known. |
|
In order to obey Kuratowski's theorem, Nature had no choice but to bring in more particles, notably the leptons and the electroweak interaction bosons. |
|
Kochen, another Princeton mathematician, proved the free will theorem, a startling version of the 'no hidden variables' principle of quantum mechanics. |
|
The starting point for many techniques in probabilistic classification is Bayes' theorem, which provides a way of relating evidence to a hypothesis. |
|
He begins the process of filling in that void, introducing sequent and tableau calculi as proof methods, and theorem providers obtained by implementing the proposed calculi. |
|
Based on the equipartition theorem, the thermal method is an energy balance in which the spring constant is obtained through the potential energy term. |
|
The potential energy density is equal to the kinetic energy, both contributing half to the wave energy density E, as can be expected from the equipartition theorem. |
|
The linear independence of this new basis is easily proved using our theorem involving Hopf algebra calculus, while we have not been able to find an elementary proof of it. |
|
Gerolamo Cardano, introduced the probability and established the binomial coefficients and binomial theorem and he also invented some essential onjects. |
|
By the Gauss divergence theorem that means that the rate of change of the charge in a fixed volume equals the current flowing in or out of the boundary. |
|
Ask me to figure out Pythagoras' theorem and I could give you an off-kilter quote about the sum of squares and opposite sides, but I'm still not entirely sure what it means. |
|
He stopped by his local library where he found a book about the theorem. |
|
This essay contains a statement of a special case of Bayes' theorem. |
|
|
We generalize the theorem of Kleiner to spaces with bicombings. |
|
We have now seen how Bayes' theorem enables us to correctly update a prior probability for some unknown event when we see evidence about the event. |
|