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

Shashamane

Image
city in Oromia, Ethiopia Shashamane ሻሸመኔ (in Amharic) , Shashemane (in Oromo) Shashe city Main Street Shashamane Shashamane Location within Ethiopia Coordinates: 7°12′N 38°36′E  /  7.200°N 38.600°E  / 7.200; 38.600 Country Ethiopia Region Oromia Zone Mirab Arsi Population (2012)  • Total 122,046 Time zone UTC+3 (EAT) Climate Cwb Shashamane (or Shashemene , Oromo) is a town and a separate woreda in West Arsi Zone, Oromia Region, Ethiopia. The town lies on the Trans-African Highway 4 Cairo-Cape Town, about 150 miles (240 km) from the capital of Addis Ababa. It has a latitude of 7° 12' north and a longitude of 38° 36' east. The 2007 national census reported a total population for this town of 100,454, of whom 50,654 were men and 49,800 were women. A plurality of the inhabitants practiced Ethiopian Orthodox Christianity, with 43.44% of the population reporting they observed this belief, while 31.15% of the population said
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

Deprivation index

Image
Deprivation indices are a measure of the level of deprivation in an area. Examples include: Indices of deprivation 2004 (ID2004) Indices of deprivation 2007 (ID2007) Underprivileged area score Carstairs index Department of Environment Index v t e Indices of Deprivation National (general deprivation) Carstairs index Index of Multiple Deprivation 2000 (IMD2000) Indices of deprivation 2004 (ID2004) Indices of deprivation 2007 (ID2007) Indices of deprivation 2010 (ID2010) National (subject specific deprivation) Underprivileged area score Department of Environment Index This economics-related article is a stub. You can help Wikipedia by expanding it. v t e This sociology-related article is a stub. You can help Wikipedia by expanding it. v t e This page is only for reference, If you need detailed information, please check here
Read more