George E. Collins (10 de enero de 1928 en Stuart, Iowa – 21 de noviembre de 2017 en Madison, Wisconsin ) [1] fue un matemático y científico informático estadounidense . Es el inventor de la recolección de basura por conteo de referencias [G60] [2] y del método de eliminación de cuantificadores por descomposición algebraica cilíndrica [G75] [ 3]
Recibió su doctorado de la Universidad de Cornell en 1955. [4] Trabajó en IBM , la Universidad de Wisconsin-Madison (1966-1986) , la Universidad Estatal de Ohio , RISC-Linz , la Universidad de Delaware y la Universidad Estatal de Carolina del Norte . [1]
aunque engorrosa y propensa a errores, fue descrita por H. Gelertner , JR Hansen y CL Gerberich [Gelernter et al, 1960], pero el algoritmo de conteo de referencias estándar se debe a George Collins [Collins, 1960].
sobre eliminación de cuantificadores y descomposición algebraica cilíndrica... el simposio celebró el 20º aniversario del descubrimiento de George Collins de la descomposición algebraica cilíndrica (CAD) como método para la eliminación de cuantificadores (QE) para la teoría elemental de campos reales cerrados (Collins 1973b), y se dedicó a los muchos avances en este tema desde el descubrimiento de Collins.