
	Where results make sense

Topic: List of lemmas

Related Topics

Lemma

Theorem

List of conjectures

List of fractal topics

Geometry

Unsolved problems in mathematics

Srinivasa Aaiyangar Ramanujan

List of numbers

Sierpinski triangle

Magic square

Trigonometry

PhiloSophy

Thales

Philosopher

	[No title]
		Preferably, the lemma belonged to a frequent morphological pattern Extending the lexical coverage: Selection of new lemmas for the STO lexicon The first version of the STO lexicon is planned to contain approximately 50,000 lemmas fully described with morphological and syntactic information, hereof approx.
		The selection of new lemma candidates was based on a list of general words we have been allowed to utilise.
		The lemmas selected should not be highly specialised terms of the domain, but rather words that laymen have to read and understand as part of their everyday life, words belonging to the so-called ‘grey area’ vocabulary.
	cst.dk /sto/referencer/lrec2002_Anna_Braasch.doc (4902 words)

	Lemma (mathematics) - Wikipedia, the free encyclopedia (via CobWeb/3.1 planetlab2.cs.unc.edu) (Site not responding. Last check: 2007-11-03)
		In mathematics, a lemma is a proven proposition which is used as a stepping stone to a larger result rather than an independent statement, in and of itself.
		The Greek word "lemma" (λημμα) itself means "anything which is received, such as a gift, profit, or a bribe." According to [1], the plural "lemmas" is commonly used.
		Both forms are used in English, although users of lemmas should be aware that Classical purists will consider their usage wrong, and users of lemmata should be aware that many readers may be unfamiliar with the term or consider its use unnecessarily pedantic.
	en.wikipedia.org.cob-web.org:8888 /wiki/Lemma_(mathematics) (224 words)

	Assessment
		For practical purposes, it was decided to base the lemmatized word list on the word-types that appeared 3 times or more per Corpus size.
		It should be pointed out that in order to estimate a person’s approximate vocabulary size the test must be designed so that the test person knows most of the words within the first test range and only a small percentage of words in the last test range.
		The 34,000 words (lemmas) and five alternatives to many of the test words are kept in a Paradox database.
	www.bobschwab.com /assessment.htm (1640 words)

	List of lemmas - Wikipedia, the free encyclopedia
		This following is a list of lemmas (or, "lemmata", i.e.
		See also list of theorems and list of conjectures.
		Poincaré lemma of closed and exact differential forms (differential forms)
	en.wikipedia.org /wiki/List_of_lemmas (80 words)

	American English Discussion -- Page 2 (Site not responding. Last check: 2007-11-03)
		The overall statistics are quite striking: the use rate of the first 100 most frequent words is so high that they account for a full 47.4 percent of all the text.
		We have listed the 3000 most frequently used English words in alphabetically arranged groups of two hundred.
		Amazingly our list of lemmas derived from this million-word database consists of 2,126 filtered from a slightly different means from the million-word database.
	www.paulnoll.com /China/Teach/English-discussion-2.html (319 words)

	Cognitive Linguistics is a part of the enterprise of Cognitive Science (Site not responding. Last check: 2007-11-03)
		Run through a list pairing lemmas with inflected forms, search for frequencies of all inflected forms, and sum the results for each lemma.
		A loop defines a criterion or set of criteria under which an operation or set of operations should be performed repeatedly.
		This means: For every element n in the list, print "n is a regular verb".
	www2.hawaii.edu /~bergen/corpus/lec12.htm (710 words)

	Vocabulary Lists and Flashcards
		It is now possible to create lists of vocabulary words with glosses in a number of ways, and then print those lists on flashcards for portable study.
		Vocabulary Lists are divided into sections, so before you can start adding any words, you have to create your first section.
		When creating vocabulary lists that follow a textbook, we like to create one section per chapter, as this makes it easy to print the cards for a single chapter, but you can organize your lists in other ways as well.
	www.logos.com /training/vocabularylists (1091 words)

	choosing lemma file
		You may choose to lemmatise all items in the current word list using a standard text file which groups words which belong together (be -> was, is, were, etc.).
		While it is time-consuming producing the text file the first time, it will be very useful if you want to lemmatise lots of word lists, and is much less "hit-and-miss" than auto-joining.
		There is an English-language lemma list from Yasumasa Someya at http://www.lexically.net/downloads/e_lemma.zip.
	lexically.net /downloads/version4/html/proc_wordlistlemmamatch_list.htm (284 words)

	Technical Notes for Lexicographers (via CobWeb/3.1 planetlab2.cs.unc.edu) (Site not responding. Last check: 2007-11-03)
		The first item in the description of a synset is a comma separated list of lemmas denoting the lexical realisations of the concept described.
		Lexemes with different realizations of the lemma form for male and female sexus are treated as one concept with unmarked sexus, if the realizations follow standard morphological rules.
		If several relator types are to be listed for a lexeme or concept, then they should be listed reverse to the order given in the Semantic Pointers table.
	www.sfs.uni-tuebingen.de.cob-web.org:8888 /lsd/LexTNotes.html (1714 words)

	[No title]
		For example, all examples of the lemma KAI would get sorted into a block of lines.) CAUTION: my algorithm is NOT an in-place sort.
		SUPERSRT NT51.TXT NT51.SRT 46 70 A CONSSORT NT51.SRT 46 70 Will create a list of all NT words sorted by LEMMA but then consolidated so that you have a alphabetized lists of lemmas & their frequencies.
		lemma is in column 1-12) 1) TRANSLIT myfile1.txt myfile2.txt 1 12 G 2) SUPERSRT myfile2.txt myfile2.srt 1 12 A 3) TRANSLIT myfile2.srt myfile2.out 1 12 R ===================================================================== NEW UTILITIES: 3/16/95 CONCFIX.BAT = CONCatenates FIX files Program uses standard DOS commands to scan current subdirectory and create one unified file of fixes under the user-specified name.
	www.gramcord.org /ftp/Phi/UTILSKEY.DOC (808 words)

	Using SALAMA (Swahili Language Manager) in corpus work
		They produce the basic raw analyzed list of lemmas, each with a different format for verbs.
		The number in the end of the command indicates the number of words to be cut in the general frequency list of Swahili.
		For example, vocabulary-less-top1000 cuts 1000 most common words and gives a lemma list of the rest of words, with all relevant lexical information and a gloss in English.
	www.aakkl.helsinki.fi /cameel/corpus/salamainfo.htm (2851 words)

	Multext-East - Deliverable D1.2
		The result is a list of lemmas with enough information for automatic generation of all word forms.
		So a choice of word forms and lemmas to be included in the WF lexicon has been performed.
		The lemmas were counted using a series of scripts like one in Appendix 1.
	www.cs.vassar.edu /~ide/papers/ME-D1.2.html (2394 words)

	LINGUIST List 13.972: Corpus Ling/Lexicography: Stubbs (2001)
		'Lemmas' (or lexemes), on the other hand, are abstract and a list of lemmas is usually used as a representation of a vocabulary: a dictionary lists lemmas.
		Sometimes, a unit longer than a single word is listed in a dictionary if the meaning is not predictable from individual word-forms (e.g.
		Similarly, there are cases where a meaning of a word-form cannot be determined in the absence of its collocates: e.g.
	www.ling.ed.ac.uk /linguist/issues/13/13-972.html (2223 words)

	List 1 Deponent and Nondeponent Verbs
		Verbs That Have Active Lemmas in BAGD but That Are Deponent in the First Century
		Vcrbs That Have Active Lemmas in BAGD but That Are Semideponent in the First Century
		Verbs That Have Nonactive Lemmas in BAGD, That Are Deponent in the First Century, and That Have Some Instances of True Passives
	www.silvermnt.com /AGNT/list_1.htm (98 words)

	Wordindex help
		Instead of NHG translations of the respective lemma you find meanings, which are listed at the bottom of your page.
		Compounds are listed as separate lemmas, but you may select these compounds from a list that appears on the same page with a given lemma serving as the basic component for these compounds.
		Each compound is a separate lemma and you may click on it to arrive at its own result page.
	mhdbdb.sbg.ac.at:8000 /help/dictionary.html (852 words)

	[No title]
		The corpus was lemmatized with the INESC's morphological analyzer Palavroso (Medeiros, 1995) and a frequency list of lemmas was extracted.
		About 18 thousand lemmas were selected from the subcorpus, but the percentages per grammatical category were not conformant to the percentages requested in the project.
		For the selection of abbreviations and acronyms, the list of Palavroso was complemented by a selection of Parole corpus occurrences and by suggestions from the lexicographers.
	www.ub.es /gilcub/SIMPLE/reports/parole/parole_port.html (906 words)

	Linguist List - Web Resource Listings
		In the latter, all identical forms belonging to different lemmas are disambiguated, while syntagmatic words (such as table's leg) are treated as single entries.
		The lexical lists (both forms and lemmas) are presently available for free download at http://alphalinguistica.sns.it/BancheDati.htm http://www.istc.cnr.it/material/database/colfis/ They are organized according to a number of possibilities: frequency rank, inverse alphabetical ordering, with or without capital / non-capital distinction, etc. The entire corpus is not yet available.
		IULA's UPF Textual, plurilingual, specialized Corpus: The main goal of the Corpus project is the construction and exploitation of a textual, plurilingual and specialized corpus.
	linguistlist.org /sp/Texts.html (5088 words)

	MHDBDB-Help: Dictionary
		The wordindex article on a given lemma does not only list all assigned variants and their respective grammatical forms in the form of grammar tags (example: NOM = Noun), but also lists all compound words formed with the lemma that have been integrated with the wordindex on the basis of the lemmatized texts.
		This means the lemma kleit has three different meanings, of which the third consists of more than one conceptual category.
		This will enter the category(ies) in a list, which can be transferred directly to the search window of either the wordindex or the text analysis by clicking on the respective option.
	mhdbdb.sbg.ac.at:8000 /help/dictionary-whatisit.html (765 words)

	Theory SList (Isabelle repository version)
		This enables the conservative construction of mutual recursive data-types such as datatype 'a m = Node 'a * ('a m) list Tidied by lcp.
		f(x)#r)" constdefs append :: "['a list, 'a list] => 'a list" (infixr "@" 65) "xs@ys == list_rec xs ys (%x l r.
		t # xs)" flat :: "'a list list => 'a list" "flat == foldr (op @) []" nth :: "[nat, 'a list] => 'a" "nth == nat_rec hd (%m r xs.
	www.cse.unsw.edu.au /~kleing/Isabelle-Library/Induct/SList.html (3060 words)

	Theory Group_ZF (Isabelle2005: October 2005)
		Used all the time, useful to have handy.} lemma* (in group0) group_op_closed: assumes "a∈G" "b∈G" shows "a·b ∈ G" using prems group0_2_L1 monoid0.group0_1_L1 by simp; text{*The group operation is associative.
		This is another technical lemma that allows to shorten the list of referenced lemmas in some proofs.} lemma* (in group0) group_oper_assoc: assumes "a∈G" "b∈G" "c∈G" shows "a·(b·c) = a·b·c" using groupAssum prems IsAgroup_def IsAmonoid_def IsAssociative_def group_op_closed by simp; text{*The group operation maps $G\times G$ into $G$.
		The next couple of lemmas will allow for that.} text{The neutral element of the subgroup is in the subgroup and it is both right and left neutral there.
	www.nongnu.org /isarmathlib/IsarMathLib/Group_ZF.html (4071 words)

	The Webcomic List - User Profile For Lemmas
		The Webcomic List presents a daily list of updated webcomics from all over the web, we currently have over 7900 web comics and online comics listed within our site.
		Below is a list of profile images made by Lemmas that are currently in use.
		The Webcomics List is operated and owned by Evoluted New Media who offer web design in sheffield and e-commerce in south yorkshire.
	www.thewebcomiclist.com /users/3687/images (220 words)

	[No title]
		The correct number of rewrites is ; ; n rewrites peak live storage (approximate, in bytes) ; 0 95024 ; 1 591777 ; 2 1813975 ; 3 5375678 ; 4 16445406 ; 5 51507739 ; Sboyer is a 2-phase benchmark.
		term)) term) (else (cons (get-name (car term)) (map untranslate-term (cdr term)))))) ; A symbol-record is represented as a vector with two fields: ; the symbol (for debugging) and ; the list of lemmas associated with the symbol.
		(define symbol-records-alist '()) ; A symbol-record is represented as a vector with two fields: ; the symbol (for debugging) and ; the list of lemmas associated with the symbol.
	www.ccs.neu.edu /home/will/Twobit/Benchmarks/sboyer.sch (822 words)

	Mathematica[Humour]
		However, suppose that there is a horse somewhere that does not have an infinite number of legs.
		Well, that would be a horse of a different color; and by the Lemma, it doesn't exist.
		Proof by Obfuscation: A long list of lemmas is helpful in this case - the more, the better.
	members.tripod.com /sfemail/mathemat2.htm (1073 words)

	Theory Examples (Isabelle repository version) (Site not responding. Last check: 2007-11-03)
		defs (overloaded) emb_list_def: "emb ≡ list_emb o map emb" proj_list_def: "proj ≡ map proj o list_proj" instance list :: (rep) rep by (intro_classes, unfold emb_list_def proj_list_def, induct_tac x, simp_all) subsubsection {* @{text functor} instance } datatype List* = List instance List :: tycon..
		[x]" bind_list :: "'a list => ('a => 'b list) => 'b list" "bind_list ≡ λxs f.
		return_list (f x))" by (unfold bind_list_def return_list_def, induct_tac xs, simp_all) lemma monad_left_unit_list: "bind_list (return_list x) f = f x" by (unfold bind_list_def return_list_def, simp) lemma monad_bind_assoc_list: "bind_list (bind_list xs f) g = bind_list xs (λx.
	www.cse.ogi.edu /~brianh/isabelle/HOL-Constructor/Examples.html (307 words)

	Kumo Generated Tatami Demos (Site not responding. Last check: 2007-11-03)
		A proof of behavioral correctness of array-with-pointer implementation of stack, using coinduction.
		An inductive proof for lists that the reverse of the reverse of a list is the list, plus some lemmas, including that
		A behavioral refinement proof of the correctness of implementing sets with lists, using attribute coinduction.
	www.cs.ucsd.edu /groups/tatami/demos (364 words)

	Tatami Homepage
		The first was generated by a duck score written at the beginning of this effort; it is striking that the lemmas needed to complete the proof can be deduced from the way that successive proof attempts fail.
		Here are the complete proofs for all three inductive properties of lists, including the two lemmas that are needed to establish the main goal.
		An inductive proof that the reverse of the reverse of a list is the list, with some lemmas, including that
	www-cse.ucsd.edu /groups/tatami (4051 words)

	E-Mail Intelligent Routing and Responding (Site not responding. Last check: 2007-11-03)
		Therefore, it is highly desirable that several variants of a same word (plural vs sinvs.lar, various verb declinations, construct forms) be mapped into a same canonical form, the "lemma", as they are conceptually identical.
		Assuming that a unique lemma has been obtained, the next step is to obtain a profile of indexing units that will characterize each document.
		The indexing stage consists of inferring from the list of lemmas that compose a text the most significant ones so as to form a "profile" or "document vector" in Salton's vector space model [Salton and McGill 83], in which each different indexing unit induces a distinct dimension.
	www.haifa.il.ibm.com /projects/software/mailresp/mailwhitepaper.html (1718 words)

	eHumorCentral: Prof Techniques
		A long list of lemmas is helpful in this case - the more, the better.
		This is a more refined form of proof by obfuscation.
		The long list of lemmas should be arranged into circular patterns of reasoning - and perhaps more baroque structures such as figure-eights and fleurs-de-lis.
	www.ehumorcentral.com /Directory/Jokes/711.html (252 words)

	Metalinguistic Keywords as a Structural Retrieval Tool
		In this section we shall examine from the point of view of their efficacity for information retrieval a few characteristic metalinguistic terms.
		We shall use the term Keyword List to refer to the alphabetical index containing the database addresses of occurrences of the metalinguistic keywords.
		The items of the Keyword List are lemmas grouping variant textual forms; for example, the lemma FEMININ gives access to the text strings «f.», «fem.», «fém.», «fémin.» and «féminin».
	www.chass.utoronto.ca /~wulfric/articles/rom1295/rome2.htm (1707 words)

	List-machine Benchmark (Site not responding. Last check: 2007-11-03)
		We propose specific criteria for evaluating the utility of mechanized metatheory systems; we have constructed solutions in both Coq and Twelf metatheory, and we draw conclusions about those two systems in particular.
		We provide Coq and Twelf solutions to the benchmark with most proofs and some supporting lemmas removed.
		They can be used as an exercise in learning Coq or Twelf.
	www.cs.princeton.edu /~appel/listmachine (115 words)

Try your search on: Qwika (all wikis)