George E. Collins

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

George E. Collins (born January 10, 1928, Stuart, Iowa) is an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting[pub 1][1] and of the method of quantifier elimination by cylindrical algebraic decomposition.[pub 2][2]

Selected publications

  1. ↑ George E. Collins: A Method for Overlapping and Erasure of Lists, Commun. ACM, volume 3, number 12, 1960
  2. ↑ 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. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.


<templatestyles src="Asbox/styles.css"></templatestyles>

Flag of United StatesScientist icon Racine carrée bleue.svg

This article about an American mathematician is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=George_E._Collins&oldid=714528086"