lemma
lemma¹
Definition
lemma (lem′ə)
noun pl. -·mas or -·mata-ə tə
- a proposition proved, or sometimes assumed, to be true and used in proving a theorem
- the subject of a composition, gloss, or note, esp. when used as a heading
- a term glossed in a list
Etymology: L < Gr lēmma, something taken or received, something taken for granted < lambanein, to seize, assume < IE base *(s)lagw-, to grasp > latch
lemma²
Definition
lemma (lem′ə)
noun
the outer or lower of the two bracts or scales surrounding the flower of a grass
Etymology: Gr, a husk < base of lepein, to peel: see leper
lemma
Usage Examples
Converse of object
- prove: Suppose somebody suggests an approach to an unsolved problem that involves proving an intermediate lemma.
- use: What I would like is to just get the names of the lemmas directly used in the proof of test itself.
- pump: Standard results about normal forms, pumping lemmas, etc. , are used to chart the scope and limits of the context-free grammars.
- embed: We also show how to use these results to prove a weak version of the conjectured probabilistic embedding lemma.
- have: These words mostly fulfill syntactic functions; they have elaborate lemmas but lean lexical concepts.
- know: We do know three lemmas contained in The Porisms since Diophantus refers to them in the Arithmetica.
Adjective modifier
- simple: The answers use some simple lemmas which are not given in the book.
- generic: The generic approximation lemma ( pdf, ps, bibtex ) Graham Hutton and Jeremy Gibbons.
- basic: Now we can continue the sequence ` beyond infinity ' by using the basic lemma repeatedly, starting at t w.
- related: Each line in the resource file shows an inflected form, its part of speech, its related lemma and its morphological information.
Modifies a noun
- frequency: In contrast to previous, factorially designed experiments, no clear effects of lemma frequency were found.
- database: PVS provides restricted invocation of highly automated techniques for checking matters such as continuity, supported by the lemma database mentioned above.
- effect: No effects of affix homonymy were found, but clear lemma frequency effects were found in the regressions.
Noun used with modifier
- approximation: The generic approximation lemma ( pdf, ps, bibtex ) Graham Hutton and Jeremy Gibbons.
- regularity: However, the area has been going through spectacular growth recently due to the advent of new tools like the so-called hypergraph regularity lemma.
- substitution: We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.
Browse dictionary entries near lemma
- lemming
- lemniscus
- Lemnos
- lemon
- lemon balm
- lemon butter
- lemon drop
- lemon grass
- lemon verbena
- lemonade
