About: http://fr.dbpedia.org/resource/George_E.

Property	Value
dbo:abstract	George Edwin Collins, né le 10 janvier 1928 à Stuart (Iowa) et mort le 21 novembre 2017 à Madison (Wisconsin) et un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références et de la méthode de décomposition cylindrique algébrique en calcul formel. (fr) George Edwin Collins, né le 10 janvier 1928 à Stuart (Iowa) et mort le 21 novembre 2017 à Madison (Wisconsin) et un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références et de la méthode de décomposition cylindrique algébrique en calcul formel. (fr)
dbo:almaMater	dbpedia-fr:Université_Cornell
dbo:award	wikidata:Q18748039
dbo:birthPlace	dbpedia-fr:Iowa
dbo:citizenship	dbpedia-fr:États-Unis
dbo:deathDate	2017-11-21 (xsd:date)
dbo:deathPlace	dbpedia-fr:Madison_(Wisconsin)
dbo:doctoralAdvisor	dbpedia-fr:John_Barkley_Rosser
dbo:doctoralStudent	wikidata:Q102111026 wikidata:Q102256635 wikidata:Q102259904 wikidata:Q102265760 wikidata:Q102265830 wikidata:Q102265954 wikidata:Q102265958 wikidata:Q102266034 wikidata:Q102266038 wikidata:Q102266054 wikidata:Q102290705 wikidata:Q102311217 wikidata:Q103035916 wikidata:Q18631179 wikidata:Q5237857
dbo:occupation	dbpedia-fr:Informaticien dbpedia-fr:Mathématicien
dbo:wikiPageExternalLink	http://dblp.uni-trier.de/pers/hd/c/Collins:George_E= https://link.springer.com/chapter/10.1007%2F3-540-07407-4_17
dbo:wikiPageID	11307504 (xsd:integer)
dbo:wikiPageLength	6680 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	171509659 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Calcul_formel category-fr:Décès_en_novembre_2017 category-fr:Décès_à_89_ans category-fr:Décès_à_Madison_(Wisconsin) category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_dans_le_comté_d'Adair_(Iowa) category-fr:Naissance_en_janvier_1928 category-fr:Personnalité_américaine_en_informatique dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:Factorisation_des_polynômes dbpedia-fr:Informatique_théorique dbpedia-fr:John_Barkley_Rosser dbpedia-fr:Madison_(Wisconsin) dbpedia-fr:Plus_grand_commun_diviseur dbpedia-fr:Racine_d'un_polynôme_réel_ou_complexe dbpedia-fr:Ramasse-miettes_(informatique) dbpedia-fr:Résultant dbpedia-fr:Stuart_(Iowa) dbpedia-fr:Université_Cornell dbpedia-fr:Université_d'État_de_l'Iowa dbpedia-fr:Université_du_Wisconsin_à_Madison dbpedia-fr:États-Unis dbpedia-fr:Mathématicien dbpedia-fr:Calcul__formel
prop-fr:année	1960 (xsd:integer) 1966 (xsd:integer) 1974 (xsd:integer) 1975 (xsd:integer) 1976 (xsd:integer) 1988 (xsd:integer)
prop-fr:auteur	George E. Collins (fr) George E. Collins (fr)
prop-fr:collection	Texts Monogr. Symbol. Comput. (fr) Texts Monogr. Symbol. Comput. (fr)
prop-fr:doi	10.114500 (xsd:double)
prop-fr:issn	163 (xsd:integer)
prop-fr:journal	Commun. ACM (fr) ACM SIGSAM Bulletin (fr) Commun. ACM (fr) ACM SIGSAM Bulletin (fr)
prop-fr:libellé	1960 (xsd:integer) 1966 (xsd:integer) 1974 (xsd:integer) 1975 (xsd:integer) 1976 (xsd:integer) 1998 (xsd:integer)
prop-fr:lieu	Vienne (fr) Vienne (fr)
prop-fr:mathReviews	1634188 (xsd:integer) 1634190 (xsd:integer)
prop-fr:nom	Collins (fr) Collins (fr)
prop-fr:numéro	1 (xsd:integer) 3 (xsd:integer) 8 (xsd:integer) 12 (xsd:integer)
prop-fr:numéroDansCollection	33 (xsd:integer)
prop-fr:pages	10 (xsd:integer) 80 (xsd:integer) 134 (xsd:integer) 578 (xsd:integer) 655 (xsd:integer)
prop-fr:passage	8 (xsd:integer) 85 (xsd:integer)
prop-fr:prénom	George E. (fr) George E. (fr)
prop-fr:périodique	Second GI Conf. Automata Theory and Formal Languages (fr) Second GI Conf. Automata Theory and Formal Languages (fr)
prop-fr:série	Lecture Notes in Computer Science (fr) Lecture Notes in Computer Science (fr)
prop-fr:titre	Quantifier elimination by cylindrical algebraic decomposition—twenty years of progress (fr) Quantifier elimination for real closed fields by cylindrical algebraic decomposition (fr) A Method for Overlapping and Erasure of Lists (fr) PM, a system for polynomial manipulation (fr) Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition (fr) Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report (fr) Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition (fr) Quantifier elimination by cylindrical algebraic decomposition—twenty years of progress (fr) Quantifier elimination for real closed fields by cylindrical algebraic decomposition (fr) A Method for Overlapping and Erasure of Lists (fr) PM, a system for polynomial manipulation (fr) Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition (fr) Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report (fr) Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition (fr)
prop-fr:titreOuvrage	Quantifier elimination and cylindrical algebraic decomposition (fr) Quantifier elimination and cylindrical algebraic decomposition (fr)
prop-fr:url	https://link.springer.com/chapter/10.1007%2F3-540-07407-4_17
prop-fr:volume	3 (xsd:integer) 8 (xsd:integer) 9 (xsd:integer) 10 (xsd:integer)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Date_de_décès dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Infobox_biographie2
prop-fr:éditeur	Springer (fr) Springer (fr)
dct:subject	category-fr:Décès_en_novembre_2017 category-fr:Décès_à_89_ans category-fr:Décès_à_Madison_(Wisconsin) category-fr:Mathématicien_américain_du_XXIe_siècle category-fr:Mathématicien_américain_du_XXe_siècle category-fr:Naissance_dans_le_comté_d'Adair_(Iowa) category-fr:Naissance_en_janvier_1928 category-fr:Personnalité_américaine_en_informatique
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species
rdfs:comment	George Edwin Collins, né le 10 janvier 1928 à Stuart (Iowa) et mort le 21 novembre 2017 à Madison (Wisconsin) et un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références et de la méthode de décomposition cylindrique algébrique en calcul formel. (fr) George Edwin Collins, né le 10 janvier 1928 à Stuart (Iowa) et mort le 21 novembre 2017 à Madison (Wisconsin) et un mathématicien et informaticien théoricien américain. Il est l'inventeur du ramasse-miettes par comptage de références et de la méthode de décomposition cylindrique algébrique en calcul formel. (fr)
rdfs:label	George E. Collins (fr) جورج إي. كولينز (ar) جورج اى. كولينز (arz) George E. Collins (fr) جورج إي. كولينز (ar) جورج اى. كولينز (arz)
rdfs:seeAlso	http://isni.org/isni/0000_0001_0932_2151 https://dl.acm.org/author_page.cfm?id=81405595908 https://zbmath.org/authors/?q=ai:collins.george-e http://genealogy.math.ndsu.nodak.edu/id.php?id=75933 http://aut.nkp.cz/mzk2004228045 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=56534
owl:sameAs	dbr:George_E._Collins wikidata:Q16090778 dbpedia-ar:جورج_إي._كولينز http://arz.dbpedia.org/resource/جورج_اى._كولينز https://d-nb.info/gnd/1071013300 http://viaf.org/viaf/108897319 https://dblp.org/pid/15/3541 https://id.loc.gov/authorities/names/n82095760 http://g.co/kg/m/0_g_w4s http://id.worldcat.org/fast/1453503 https://data.bibliotheken.nl/doc/thes/p069123500
prov:wasDerivedFrom	wikipedia-fr:George_E._Collins?oldid=171509659&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:George_E._Collins
is dbo:doctoralStudent of	dbpedia-fr:John_Barkley_Rosser
is dbo:wikiPageWikiLink of	dbpedia-fr:1928_en_science dbpedia-fr:2017_en_science dbpedia-fr:Liste_des_Fellows_de_l'Association_for_Computing_Machinery
is oa:has_target of	tag-fr:ArFrResource tag-fr:ArzFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:George_E._Collins

About: http://fr.dbpedia.org/resource/George_E._Collins