{"id":"https://openalex.org/W1523167216","doi":"https://doi.org/10.1007/11856290_17","title":"Solving Dynamic Geometric Constraints Involving Inequalities","display_name":"Solving Dynamic Geometric Constraints Involving Inequalities","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1523167216","doi":"https://doi.org/10.1007/11856290_17","mag":"1523167216"},"language":"en","primary_location":{"id":"doi:10.1007/11856290_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11856290_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102050300","display_name":"Hoon Hong","orcid":"https://orcid.org/0000-0002-3735-7199"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hoon Hong","raw_affiliation_strings":["Department of Mathematics, North Carolina State University, Box 8205, Raleigh, NC, 27695, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, North Carolina State University, Box 8205, Raleigh, NC, 27695, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059368182","display_name":"Liyun Li","orcid":"https://orcid.org/0000-0002-8400-2374"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liyun Li","raw_affiliation_strings":["LMIB \u2013 School of Science, Beihang University, Beijing, 100083, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMIB \u2013 School of Science, Beihang University, Beijing, 100083, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086504933","display_name":"Tielin Liang","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tielin Liang","raw_affiliation_strings":["Department of Mathematics, University of Science and Technology of China, Hefei, 230026, Anhui, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Science and Technology of China, Hefei, 230026, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100737019","display_name":"Dongming Wang","orcid":"https://orcid.org/0000-0003-2762-6567"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN","FR"],"is_corresponding":false,"raw_author_name":"Dongming Wang","raw_affiliation_strings":["LMIB \u2013 SKLSDE \u2013 School of Science, Beihang University, 100083, Beijing, China","LMIB \u2013 School of Science, Beihang University, Beijing, 100083, China","Laboratoire d\u2019Informatique de Paris 6, Universit\u00e9 Pierre et Marie Curie \u2013 CNRS, 8 rue du Capitaine Scott, F-75015, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LMIB \u2013 SKLSDE \u2013 School of Science, Beihang University, 100083, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"LMIB \u2013 School of Science, Beihang University, Beijing, 100083, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Laboratoire d\u2019Informatique de Paris 6, Universit\u00e9 Pierre et Marie Curie \u2013 CNRS, 8 rue du Capitaine Scott, F-75015, Paris, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210159731"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.09823222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9677000045776367,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.7139706015586853},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6736788749694824},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.6414642333984375},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6035377979278564},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.5923267602920532},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4260132908821106},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41329631209373474},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3925301134586334},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.34181955456733704},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2825067639350891},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15775763988494873},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10735675692558289}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.7139706015586853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6736788749694824},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6414642333984375},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6035377979278564},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.5923267602920532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4260132908821106},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41329631209373474},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3925301134586334},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.34181955456733704},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2825067639350891},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15775763988494873},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10735675692558289},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/11856290_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11856290_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01351426v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01351426","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The 8th International Conference on Artificial Intelligence and Symbolic Computation, Sep 2006, Beijing, China. pp.181-195, ⟨10.1007/11856290_17⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W5248521","https://openalex.org/W611235695","https://openalex.org/W1489363541","https://openalex.org/W1535634013","https://openalex.org/W1570149161","https://openalex.org/W1570787829","https://openalex.org/W1930661832","https://openalex.org/W1966161069","https://openalex.org/W2007074311","https://openalex.org/W2119767720","https://openalex.org/W2121633746","https://openalex.org/W2136481685","https://openalex.org/W2155330305","https://openalex.org/W2161197388","https://openalex.org/W2480995471","https://openalex.org/W4205227699","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3095068681","https://openalex.org/W2035631589","https://openalex.org/W1813686459","https://openalex.org/W2039279140","https://openalex.org/W1617297050","https://openalex.org/W1995150618","https://openalex.org/W3217399827","https://openalex.org/W2049666462","https://openalex.org/W2589479599","https://openalex.org/W2034907872"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}