377:
390:
383:
343:
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
245:
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,
476:
270:
427:
471:
461:
205:
108:
481:
466:
170:
83:
420:
197:
182:
100:
274:
456:
336:
304:
344:
real closed fields (Collins 1973b), and was devoted to the many advances in this subject since
Collins' discovery.
213:
116:
413:
315:, J.R. Hansen, and C.L. Gerberich but the standard reference counting algorithm is due to George Collins .
231:
George E. Collins: A Method for
Overlapping and Erasure of Lists, Commun. ACM, volume 3, number 12, 1960.
209:
178:
112:
201:
104:
311:
The first, though cumbersome and error-prone, reference counting technique was described by
451:
446:
401:
8:
189:
174:
166:
158:
73:
61:
332:
312:
300:
128:
123:
397:
356:
138:
440:
162:
376:
389:
154:
42:
297:
Garbage collection: algorithms for automatic dynamic memory management
329:
Quantifier elimination and cylindrical algebraic decomposition
382:
193:
477:
2004 fellows of the
Association for Computing Machinery
357:"George Collins - the Mathematics Genealogy Project"
327:Caviness, Bob F.; Johnson, Jeremy R., eds. (1998),
271:"In Memoriam: Professor Emeritus George E. Collins"
396:This article about an American mathematician is a
438:
326:
237:
223:
421:
16:American mathematician and computer scientist
428:
414:
265:
263:
294:
219:
320:
260:
439:
295:Jones, Richard; Lins, Rafael (1996),
84:Garbage collection (computer science)
472:21st-century American mathematicians
462:20th-century American mathematicians
370:
288:
183:cylindrical algebraic decomposition
13:
14:
493:
388:
381:
375:
214:North Carolina State University
198:University of Wisconsin–Madison
117:North Carolina State University
101:University of Wisconsin–Madison
349:
244:
230:
1:
253:
482:American mathematician stubs
467:American computer scientists
400:. You can help Knowledge by
7:
10:
498:
369:
240:
226:
188:He received his PhD from
144:
134:
122:
96:
89:
79:
69:
50:
28:
21:
457:People from Stuart, Iowa
169:. He is the inventor of
331:, Springer, p. v,
157:– November 21, 2017 in
210:University of Delaware
192:in 1955. He worked at
179:quantifier elimination
113:University of Delaware
299:, Wiley, p. 40,
220:Selected publications
202:Ohio State University
177:and of the method of
153:(January 10, 1928 in
105:Ohio State University
23:George Edwin Collins
190:Cornell University
175:reference counting
171:garbage collection
167:computer scientist
161:) was an American
159:Madison, Wisconsin
74:Cornell University
62:Madison, Wisconsin
409:
408:
251:
250:
236:
235:
151:George E. Collins
148:
147:
135:Doctoral students
129:J. Barkley Rosser
91:Scientific career
54:November 21, 2017
489:
430:
423:
416:
392:
387:
386:
385:
379:
371:
361:
360:
353:
347:
346:
324:
318:
317:
292:
286:
285:
283:
282:
273:. Archived from
267:
238:
224:
124:Doctoral advisor
57:
39:January 10, 1928
38:
36:
19:
18:
497:
496:
492:
491:
490:
488:
487:
486:
437:
436:
435:
434:
380:
374:
367:
365:
364:
355:
354:
350:
339:
325:
321:
307:
293:
289:
280:
278:
269:
268:
261:
256:
247:
232:
222:
70:Alma mater
65:
59:
55:
46:
40:
34:
32:
24:
17:
12:
11:
5:
495:
485:
484:
479:
474:
469:
464:
459:
454:
449:
433:
432:
425:
418:
410:
407:
406:
393:
363:
362:
348:
337:
319:
305:
287:
258:
257:
255:
252:
249:
248:
242:
234:
233:
228:
221:
218:
146:
145:
142:
141:
139:Ellis Horowitz
136:
132:
131:
126:
120:
119:
98:
94:
93:
87:
86:
81:
80:Known for
77:
76:
71:
67:
66:
60:
58:(aged 89)
52:
48:
47:
41:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
494:
483:
480:
478:
475:
473:
470:
468:
465:
463:
460:
458:
455:
453:
450:
448:
445:
444:
442:
431:
426:
424:
419:
417:
412:
411:
405:
403:
399:
394:
391:
384:
378:
373:
372:
368:
358:
352:
345:
340:
338:9783211827949
334:
330:
323:
316:
314:
308:
306:9780471941484
302:
298:
291:
277:on 2018-09-09
276:
272:
266:
264:
259:
243:
239:
229:
225:
217:
215:
211:
207:
203:
199:
195:
191:
186:
184:
180:
176:
172:
168:
164:
163:mathematician
160:
156:
152:
143:
140:
137:
133:
130:
127:
125:
121:
118:
114:
110:
106:
102:
99:
95:
92:
88:
85:
82:
78:
75:
72:
68:
63:
53:
49:
44:
31:
27:
20:
402:expanding it
395:
366:
351:
342:
328:
322:
313:H. Gelertner
310:
296:
290:
279:. Retrieved
275:the original
200:(1966–1986)
187:
155:Stuart, Iowa
150:
149:
97:Institutions
90:
56:(2017-11-21)
43:Stuart, Iowa
452:2017 deaths
447:1928 births
441:Categories
281:2017-12-12
254:References
35:1928-01-10
206:RISC-Linz
109:RISC-Linz
335:
303:
212:, and
196:, the
64:, U.S.
45:, U.S.
246:1975.
398:stub
333:ISBN
301:ISBN
241:G75.
227:G60.
165:and
51:Died
29:Born
194:IBM
181:by
173:by
443::
341:,
309:,
262:^
216:.
208:,
204:,
185:.
115:,
111:,
107:,
103:,
429:e
422:t
415:v
404:.
359:.
284:.
37:)
33:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.