George E. Collins




George E. Collins (January 10, 1928, Stuart, Iowa – November 21, 2017, Madison, Wisconsin)[1] was an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting[G60][2]
and of the method of quantifier elimination by cylindrical algebraic decomposition.[G75][3]



Selected publications





G60.
George E. Collins: A Method for Overlapping and Erasure of Lists, Commun. ACM, volume 3, number 12, 1960.




G75.
George E. Collins: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Second GI Conf. Automata Theory and Formal Languages, Springer LNCS 33, 1975.


References





  1. ^ In Memoriam: Professor Emeritus George E. Collins


  2. ^ Jones, Richard; Lins, Rafael (1996), Garbage collection: algorithms for automatic dynamic memory management, Wiley, p. 40, ISBN 9780471941484, The first, though cumbersome and error-prone, reference counting technique was described by J. Gelertner, J.R. Hansen, and C.L. Gerberich [Gelernter et al, 1960] but the standard reference counting algorithm is due to George Collins [Collins, 1960]..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  3. ^ Caviness, Bob F.; Johnson, Jeremy R., eds. (1998), Quantifier elimination and cylindrical algebraic decomposition, Springer, p. v, ISBN 9783211827949, A symposium on Quantifier Elimination and Cylindrical Algebraic Decomposition was held October 6–8, 1993 ... the symposium celebrated the 20th anniversary of George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields (Collins 1973b), and was devoted to the many advances in this subject since Collins' discovery.












-

Popular posts from this blog

Italian cuisine

Image
"Italian restaurant" redirects here. For the television series, see Italian Restaurant. Some typical Italian gastronomic products in a window display in Imola Pizza is one of the world's most popular foods and a common fast food item Part of a series on the Culture of Italy History People Languages Traditions Mythology and folklore Mythology folklore Cuisine Festivals Religion Art Literature Music and performing arts Music Media Television Cinema Sport Monuments World Heritage Sites Symbols Flag Coat of arms Italy portal v t e Italian cuisine History Ancient Roman cuisine Medieval cuisine Early modern cuisine Contemporary cuisine Regional cuisines Apulian cuisine Lombard cuisine Neapolitan cuisine Roman cuisine Sicilian cuisine Venetian cuisine Cuisine of Abruzzo Cuisine of Sardinia Lists Chefs Dishes Pas
Read more

Bulgarian cuisine

Image
Part of a series on Bulgarians .mw-parser-output .nobold{font-weight:normal} българи Culture Literature Music Art Cinema Names Cuisine Dances Costume Sport Public holidays in Bulgaria By country Albania Australia Canada Czechoslovakia Greece New Zealand Romania Serbia South America Turkey Ukraine United States Bulgarian citizens France Germany Hungary Italy Lebanon Lithuania Macedonia Spain United Kingdom Subgroups Anatolian Balkanian Banat Bulgarians Bessarabian Bulgarian Dobrujans Macedonian Ruptsi Balkandzhii Pomaks (Bulgarian Muslims) Thracian Shopi/Torlaks Şchei Religion Bulgarian Orthodox Church Islam Catholic Church Protestant denominations Language Bulgarian Dialects Banat Bulgarian Other List of Bulgarians People of Bulgarian descent v t e Tarator is a cold soup made of yogurt, water, minced cucumber, dill, garlic, and sunflower or olive oil (Chips are
Read more

Carrot

Image
Root vegetable, usually orange in color This article is about the cultivated vegetable. For other uses, see Carrot (disambiguation). Carrot Scientific classification Kingdom: Plantae Clade : Angiosperms Clade : Eudicots Clade : Asterids Order: Apiales Family: Apiaceae Genus: Daucus Species: D. carota Subspecies: D. c. subsp. sativus Trinomial name Daucus carota subsp. sativus (Hoffm.) Schübl. & G. Martens The carrot ( Daucus carota subsp. sativus ) is a root vegetable, usually orange in colour, though purple, black, red, white, and yellow cultivars exist. [1] Carrots are a domesticated form of the wild carrot, Daucus carota , native to Europe and southwestern Asia. The plant probably originated in Persia and was originally cultivated for its leaves and seeds. The most commonly eaten part of the plant is the taproot, although the stems and leaves are eaten as well. The domestic carrot ha
Read more