This website uses cookies to ensure you get the best experience. Learn more

lemma

The generic approximation lemma (pdf, ps, bibtex) Graham Hutton and Jeremy Gibbons.

10lemma liii.

11Suppose somebody suggests an approach to an unsolved problem that involves proving an intermediate lemma.

00We also show how to use these results to prove a weak version of the conjectured probabilistic embedding lemma.

00Now we can continue the sequence ` beyond infinity ' by using the basic lemma repeatedly, starting at t w.

00Each line in the resource file shows an inflected form, its part of speech, its related lemma and its morphological information.

00lemma frequency were found.

00lemma database mentioned above.

00lemma frequency effects were found in the regressions.

00However, the area has been going through spectacular growth recently due to the advent of new tools like the so-called hypergraph regularity lemma.

00We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.

00We may give in the first place an elementary proof of the converse proposition by the aid of a simple lemma: Lemma.

00The lemma is enunciated as follows: " Quaestiones omnes, quae per sinus, tangentes, atque secantes absolvi solent, per solam prosthaphaeresim, id est, per solam additionem, subtractionem, sine laboriosa numerorum multiplicatione divisioneque expedire."

00contains also (I), under the head of the de determinate sectione of Apollonius, lemmas which, closely examined, are seen to be cases of the involution of six points; (2) important lemmas on the Porisms of Euclid (see PoRIsM); (3) a lemma upon the Surface Loci of Euclid which states that the locus of a point such that its distance from a given point bears a constant ratio to its distance from a given straight line is a conic, and is followed by proofs that the conic is a parabola, ellipse, or hyperbola according as the constant ratio is equal to, less than or greater than i (the first recorded proofs of the properties, which do not appear in Apollonius).

00Justification: lemma bounding the number of roots of a polynomial of degree d in n variables.

00One of the most important rules of the method forms the second lemma of the second book of the Principia.

01

The word usage examples above have been gathered from various sources to reflect current and historial usage. They do not represent the opinions of YourDictionary.com.