{"id":"https://openalex.org/W2135633055","doi":"https://doi.org/10.1007/978-3-540-75221-9_4","title":"Generating Polynomial Invariants with DISCOVERER and QEPCAD","display_name":"Generating Polynomial Invariants with DISCOVERER and QEPCAD","publication_year":2007,"publication_date":"2007-08-30","ids":{"openalex":"https://openalex.org/W2135633055","doi":"https://doi.org/10.1007/978-3-540-75221-9_4","mag":"2135633055"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-75221-9_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75221-9_4","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/A5101581895","display_name":"Yinghua Chen","orcid":"https://orcid.org/0000-0002-5020-7507"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yinghua Chen","raw_affiliation_strings":["LMAM & School of Mathematical Sciences, Peking University,","LMAM & School of Mathematical Sciences, Peking University#TAB#"],"affiliations":[{"raw_affiliation_string":"LMAM & School of Mathematical Sciences, Peking University,","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"LMAM & School of Mathematical Sciences, Peking University#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065639971","display_name":"Bican Xia","orcid":"https://orcid.org/0000-0002-2570-2338"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bican Xia","raw_affiliation_strings":["LMAM & School of Mathematical Sciences, Peking University,","LMAM & School of Mathematical Sciences, Peking University#TAB#"],"affiliations":[{"raw_affiliation_string":"LMAM & School of Mathematical Sciences, Peking University,","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"LMAM & School of Mathematical Sciences, Peking University#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015452096","display_name":"Yang Lu","orcid":"https://orcid.org/0000-0002-2564-1993"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lu Yang","raw_affiliation_strings":["Institute of Theoretical Computing, East China Normal University,","Institute of Theoretical Computing,, East China Normal University"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computing, East China Normal University,","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"Institute of Theoretical Computing,, East China Normal University","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"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"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, South Fourth Street, No. 4, Zhong Guan Cun, Beijing, 100080, P.R. China","Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Zhong Guan Cun, Beijing, P.R. China#TAB#"],"affiliations":[{"raw_affiliation_string":"Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, South Fourth Street, No. 4, Zhong Guan Cun, Beijing, 100080, P.R. China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Zhong Guan Cun, Beijing, P.R. China#TAB#","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101581895"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.0837,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.95219847,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9965999722480774,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9922000169754028,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.766880989074707},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.688103199005127},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.619060218334198},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5868833661079407},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5465424656867981},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4325120449066162},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40862447023391724},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.253023236989975},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2176905870437622}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.766880989074707},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.688103199005127},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.619060218334198},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5868833661079407},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5465424656867981},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4325120449066162},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40862447023391724},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.253023236989975},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2176905870437622},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-75221-9_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75221-9_4","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:CiteSeerX.psu:10.1.1.105.7255","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.7255","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dur.ac.uk/guanhua.he/materials/constraint_solving/chen_ictac07-5.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.725.9702","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.725.9702","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://lcs.ios.ac.cn/%7Eznj/papers/Festschrift-Zhou.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W581920082","https://openalex.org/W1480600454","https://openalex.org/W1493593949","https://openalex.org/W1495570069","https://openalex.org/W1535550067","https://openalex.org/W1540180001","https://openalex.org/W1558198085","https://openalex.org/W1563374593","https://openalex.org/W1597204268","https://openalex.org/W1967845657","https://openalex.org/W1968482350","https://openalex.org/W1971043610","https://openalex.org/W1977100588","https://openalex.org/W1978367838","https://openalex.org/W1986264093","https://openalex.org/W1992483196","https://openalex.org/W2007074311","https://openalex.org/W2016056788","https://openalex.org/W2020812938","https://openalex.org/W2026489546","https://openalex.org/W2031373197","https://openalex.org/W2069300761","https://openalex.org/W2075913776","https://openalex.org/W2077378514","https://openalex.org/W2096035734","https://openalex.org/W2098045685","https://openalex.org/W2103953153","https://openalex.org/W2111706174","https://openalex.org/W2132661148","https://openalex.org/W2136333450","https://openalex.org/W2171834078","https://openalex.org/W2350895165","https://openalex.org/W2495304387","https://openalex.org/W2611288859","https://openalex.org/W2987907651","https://openalex.org/W2997561197","https://openalex.org/W3146075203","https://openalex.org/W3217399827","https://openalex.org/W4229917934","https://openalex.org/W4246575101","https://openalex.org/W4251912342"],"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/W1599897266"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}