{"id":"https://openalex.org/W2024195715","doi":"https://doi.org/10.1007/s11390-006-0756-7","title":"Automated Reasoning and Equation Solving with the Characteristic Set Method","display_name":"Automated Reasoning and Equation Solving with the Characteristic Set Method","publication_year":2006,"publication_date":"2006-09-01","ids":{"openalex":"https://openalex.org/W2024195715","doi":"https://doi.org/10.1007/s11390-006-0756-7","mag":"2024195715"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-006-0756-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-006-0756-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},"type":"article","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/A5087136057","display_name":"Wen-ts\u00fcn Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wen-Tsun Wu","raw_affiliation_strings":["Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, 100080, P.R. China","Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, P.R. China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, 100080, P.R. China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, P.R. China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017479931","display_name":"Xiao-Shan Gao","orcid":"https://orcid.org/0000-0003-2021-9395"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao-Shan Gao","raw_affiliation_strings":["Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, 100080, P.R. China","Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, P.R. China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, 100080, P.R. China","institution_ids":["https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing, P.R. China","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087136057"],"corresponding_institution_ids":["https://openalex.org/I19820366"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.11300344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"21","issue":"5","first_page":"756","last_page":"764"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9987000226974487,"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.9987000226974487,"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.9945999979972839,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9664000272750854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.677379846572876},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6472316384315491},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6202404499053955},{"id":"https://openalex.org/keywords/algebraic-equation","display_name":"Algebraic equation","score":0.5247499942779541},{"id":"https://openalex.org/keywords/algebraically-closed-field","display_name":"Algebraically closed field","score":0.5028497576713562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4995756149291992},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.489360511302948},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4755377769470215},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.46163415908813477},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.434698224067688},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42171159386634827},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3589668571949005},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.315538227558136},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2931068241596222},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17116102576255798},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.14185556769371033},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.06239950656890869}],"concepts":[{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.677379846572876},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6472316384315491},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6202404499053955},{"id":"https://openalex.org/C23917780","wikidata":"https://www.wikidata.org/wiki/Q50698","display_name":"Algebraic equation","level":3,"score":0.5247499942779541},{"id":"https://openalex.org/C203701370","wikidata":"https://www.wikidata.org/wiki/Q1047547","display_name":"Algebraically closed field","level":2,"score":0.5028497576713562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4995756149291992},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.489360511302948},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4755377769470215},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.46163415908813477},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.434698224067688},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42171159386634827},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3589668571949005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.315538227558136},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2931068241596222},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17116102576255798},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.14185556769371033},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.06239950656890869},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11390-006-0756-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-006-0756-7","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W145236249","https://openalex.org/W158485348","https://openalex.org/W937717134","https://openalex.org/W1493593949","https://openalex.org/W1578861052","https://openalex.org/W1975442862","https://openalex.org/W1976944931","https://openalex.org/W1985565156","https://openalex.org/W1996430549","https://openalex.org/W2009763164","https://openalex.org/W2013727939","https://openalex.org/W2026253506","https://openalex.org/W2038864046","https://openalex.org/W2069029200","https://openalex.org/W2077378514","https://openalex.org/W2079572923","https://openalex.org/W2097649661","https://openalex.org/W2109485737","https://openalex.org/W2120467997","https://openalex.org/W2130747331","https://openalex.org/W2162009465","https://openalex.org/W2168552854","https://openalex.org/W2913982944","https://openalex.org/W3143504415","https://openalex.org/W4213292180","https://openalex.org/W4248084437"],"related_works":["https://openalex.org/W2074052495","https://openalex.org/W3191608549","https://openalex.org/W2376336218","https://openalex.org/W2361715264","https://openalex.org/W4380343522","https://openalex.org/W2003007890","https://openalex.org/W2293427636","https://openalex.org/W2949390709","https://openalex.org/W4302824655","https://openalex.org/W2073422248"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}