{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T07:33:31Z","timestamp":1649057611968},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8000-z","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"1-2","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Foreword to the Special Issue"],"prefix":"10.1007","volume":"32","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[]},{"given":"Hongbo","family":"Li","sequence":"additional","affiliation":[]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"issue":"1","key":"8000_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11424-019-8342-6","volume":"32","author":"J P Brasselet","year":"2019","unstructured":"Brasselet J P, On the contribution of Wu Wen-Ts\u00fcn to algebraic topology, Journal of Systems Science & Complexity, 2019, 32(1): 3\u201336.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11424-019-8356-0","volume":"32","author":"C Q Mou","year":"2019","unstructured":"Mou C Q and Wang D M, Characteristic decomposition: From regular sets to normal sets, Journal of Systems Science & Complexity, 2019, 32(1): 37\u201346.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s11424-019-8344-4","volume":"32","author":"B H Li","year":"2019","unstructured":"Li B H, Hilbert problem 15 and Ritt-Wu method (I), Journal of Systems Science & Complexity, 2019, 32(1): 47\u201361.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/s11424-019-8343-5","volume":"32","author":"Y R Hu","year":"2019","unstructured":"Hu Y R and Gao X S, Ritt-Wu characteristic set method for Laurent partial differential polynomial systems, Journal of Systems Science & Complexity, 2019, 32(1): 62\u201377.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR5","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/s11424-019-8350-6","volume":"32","author":"J Z Zhang","year":"2019","unstructured":"Zhang J Z, Peng X C, and Chen M, Self-evident automated proving based on point geometry from the perspective of Wu\u2019s method identity, Journal of Systems Science & Complexity, 2019, 32(1): 78\u201394.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11424-019-8354-2","volume":"32","author":"H B Li","year":"2019","unstructured":"Li H B, Automated theorem proving practice with null geometric algebra, Journal of Systems Science & Complexity, 2019, 32(1): 95\u2013123.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR7","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s11424-019-8347-1","volume":"32","author":"P Schreck","year":"2019","unstructured":"Schreck P, On the mechanization of straightedge and compass constructions, Journal of Systems Science & Complexity, 2019, 32(1): 124\u2013149.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR8","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/s11424-019-8341-7","volume":"32","author":"F Botana","year":"2019","unstructured":"Botana F and Recio T, A proposal for the automatic computation of envelopes of families of plane curves, Journal of Systems Science & Complexity, 2019, 32(1): 150\u2013157.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR9","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s11424-019-8351-5","volume":"32","author":"C Wang","year":"2019","unstructured":"Wang C, Yang Z H, and Zhi L H, Global optimization of polynomials over real algebraic sets, Journal of Systems Science & Complexity, 2019, 32(1): 158\u2013184.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11424-019-8349-z","volume":"32","author":"Y Wang","year":"2019","unstructured":"Wang Y and Xia B C, A hybrid procedure for finding real points on a real algebraic set, Journal of Systems Science & Complexity, 2019, 32(1): 185\u2013204.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR11","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11424-019-8345-3","volume":"32","author":"T Li","year":"2019","unstructured":"Li T, Sun Y, Huang Z Y, et al., Speeding up the GVW algorithm via a substituting method, Journal of Systems Science & Complexity, 2019, 32(1): 205\u2013233.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR12","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/s11424-019-8357-z","volume":"32","author":"D Lu","year":"2019","unstructured":"Lu D, Sun Y, and Wang D K, A survey on algorithms for computing comprehensive Gr\u00f6bner systems and comprehensive Gr\u00f6bner bases, Journal of Systems Science & Complexity, 2019, 32(1): 234\u2013255.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR13","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/s11424-019-8348-0","volume":"32","author":"F Winkler","year":"2019","unstructured":"Winkler F, The algebro-geometric method for solving algebraic differential equations \u2014 A survey, Journal of Systems Science & Complexity, 2019, 32(1): 256\u2013270.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11424-019-8355-1","volume":"32","author":"H Du","year":"2019","unstructured":"Du H and Li Z M, The Ore-Sato theorem and shift exponents in the q-difference case, Journal of Systems Science & Complexity, 2019, 32(1): 271\u2013286.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR15","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s11424-019-8367-x","volume":"32","author":"W Li","year":"2019","unstructured":"Li W and Yuan C M, Elimination theory in differential and difference algebra, Journal of Systems Science & Complexity, 2019, 32(1): 287\u2013316.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR16","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s11424-019-8377-8","volume":"32","author":"D Kapur","year":"2019","unstructured":"Kapur D, Conditional Congruence Closure over Uninterpreted and Interpreted Symbols, Journal of Systems Science & Complexity, 2019, 32(1): 317\u2013355.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR17","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/s11424-019-8346-2","volume":"32","author":"Z J Liu","year":"2019","unstructured":"Liu Z J and Wu B F, Recent results on constructing boolean functions with (potentially) optimal algebraic immunity based on decompositions of finite fields, Journal of Systems Science & Complexity, 2019, 32(1): 356\u2013374.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"1","key":"8000_CR18","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s11424-019-9008-0","volume":"32","author":"C P Shao","year":"2019","unstructured":"Shao C P, Li Y, and Li H B, Quantum algorithm design: Techniques and applications, Journal of Systems Science & Complexity, 2019, 32(1): 375\u2013452.","journal-title":"Journal of Systems Science & Complexity"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8000-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8000-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8000-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:04:28Z","timestamp":1581638668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8000-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8000"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8000-z","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"23 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}