lemma

Also found in: Dictionary, Thesaurus, Medical, Acronyms, Wikipedia.

lemma

(lĕm`ə): see theoremtheorem,
in mathematics and logic, statement in words or symbols that can be established by means of deductive logic; it differs from an axiom in that a proof is required for its acceptance.
..... Click the link for more information. .

lemma

[′lem·ə]

(botany)

Either of the pair of bracts that are borne above the glumes and enclose the flower of a grass spikelet.

(mathematics)

A mathematical fact germane to the proof of some theorem.

lemma

(logic)

A result already proved, which is needed in the proof of some further result.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

References in periodicals archive ?

By Lemma 11 and [11, Corollaire 2] we have [h.sup.1] (N, [I.sub.C[intersection]N,N](t)) = 0 if t [greater than or equal to] 5 and the plane N contains neither a line R with deg(R [intersection] C) [greater than or equal to] t + 2 nor a conic D with deg(D [intersection] C) [greater than or equal to] 2t + 2.

Curves of low positive genus and low degree on a general heptic hypersurface of [P.sup.5]

Noticing that the measure [absolute value of {x [member of] B : [absolute value of [b, [T.sub.[OMEGA]]]u - [([b, [T.sub.[OMEGA]]]u).sub.B]] > 0}] > 0, we could use Lemma 6.

The Higher Integrability of Commutators of Calderon-Zygmund Singular Integral Operators on Differential Forms

Moreover, by Lemma 2.2(ii), we may assume that [x'.sub.1] is sufficiently large such that for all x [greater than or equal to] [x'.sub.1] and all t > 0,

ASYMPTOTICS FOR THE RUIN PROBABILITIES OF A TWO-DIMENSIONAL RENEWAL RISK MODEL

In a way similar to the proof of Lemma 13, we get that [mathematical expression not reproducible], which contradicts with the boundedness of f(x), x [member of] F.

A Quasi-Monte-Carlo-Based Feasible Sequential System of Linear Equations Method for Stochastic Programs with Recourse

By Lemma 7, G must be isomorphic to the sandglass graph S([C.sub.3], [P.sub.h], [C.sub.3]).

Per-Spectral Characterizations of Bicyclic Networks

Then, by Lemma 8, we have g(r) > 0 for all r > 0 and g(r) [right arrow] +[infinity] as r [right arrow] +[infinity].

Solutions for a Class of Nonperiodic Superquadratic Hamiltonian Elliptic Systems Involving Gradient Terms

A particular case of Lemma 5 provides a constant C independent of w [member of] D such that

Weighted Composition Operators between the Fractional Cauchy Spaces and the Bloch-Type Spaces

We know from [4, Lemma 1] that, for every n [greater than or equal to] 1, [G.sub.u,n] = [G.sub.[bar.u],n] if and only if u [equivalent to] [bar.u] mod n.

Chromatic Numbers of Suborbital Graphs for the Modular Group and the Extended Modular Group

By Lemma 2.3 (3), then [[sigma].sub.l](A) is an infinite set and its elements are of the same modulus and real part.

Right linear map preserving the left spectrum of 2 x 2 quaternion matrices/Kvaternioonide (2 x 2)-maatriksite vasakspektrit sailitavad parempoolsed lineaarsed kujutused

* Step 4: Compute the new iterate [mathematical expression not reproducible] by Lemma 1 and [mathematical expression not reproducible].

An Arc Search Interior-Point Algorithm for Monotone Linear Complementarity Problems over Symmetric Cones

Letting a [member of] S, then by using Lemma 1, we get

A Study of Ordered Ag-Groupoids in terms of Semilattices via Smallest (Fuzzy) Ideals