{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:50Z","timestamp":1725798230739},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_81","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"537-544","source":"Crossref","is-referenced-by-count":0,"title":["A Method to Determine if Two Parametric Polynomial Systems Are Equal"],"prefix":"10.1007","author":[{"given":"Jie","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"81_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties, and Algorithms","author":"D. Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms, 3rd edn. Springer, New York (2007)","edition":"3"},{"key":"81_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11555964_19","volume-title":"Computer Algebra in Scientific Computing","author":"L. Gonzalez\u2013Vega","year":"2005","unstructured":"Gonzalez\u2013Vega, L., Traverso, C., Zanoni, A.: Hilbert stratification and parametric Gr\u00f6bner bases. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol.\u00a03718, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"81_CR3","first-page":"29","volume-title":"Proc. ISSAC 2010","author":"D. Kapur","year":"2010","unstructured":"Kapur, D., Sun, Y., Wang, D.K.: A new algorithm for computing comprehensive Gr\u00f6bner systems. In: Proc. ISSAC 2010, pp. 29\u201336. ACM Press, New York (2010)"},{"issue":"5","key":"81_CR4","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/j.jsc.2007.07.022","volume":"44","author":"M. Manubens","year":"2009","unstructured":"Manubens, M., Montes, A.: Minimal canonical comprehensive Gr\u00f6bner systems. Journal of Symbolic Computation\u00a044(5), 463\u2013478 (2009)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"81_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1006\/jsco.2001.0504","volume":"33","author":"A. Montes","year":"2002","unstructured":"Montes, A.: A new algorithm for discussing Gr\u00f6bner bases with parameters. Journal of Symbolic Computation\u00a033(2), 183\u2013208 (2002)","journal-title":"Journal of Symbolic Computation"},{"issue":"12","key":"81_CR6","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A. Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. Journal of Symbolic Computation\u00a045(12), 1391\u20131425 (2010)","journal-title":"Journal of Symbolic Computation"},{"key":"81_CR7","first-page":"299","volume-title":"Proc. ISSAC 2010","author":"K. Nabeshima","year":"2007","unstructured":"Nabeshima, K.: A speed-up of the algorithm for computing comprehensive Gr\u00f6bner systems. In: Proc. ISSAC 2010, pp. 299\u2013306. ACM Press, New York (2007)"},{"key":"81_CR8","first-page":"311","volume-title":"Proc. ISSAC 2009","author":"Y. Sato","year":"2009","unstructured":"Sato, Y., Suzuki, A.: Computation of inverses in residue class rings of parametric polynomial ideal. In: Proc. ISSAC 2009, pp. 311\u2013316. ACM Press, New York (2009)"},{"issue":"3","key":"81_CR9","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/S0747-7171(03)00098-1","volume":"36","author":"A. Suzuki","year":"2003","unstructured":"Suzuki, A., Sato, Y.: An alternative approach to comprehensive Gr\u00f6bner bases. Journal of Symbolic Computation\u00a036(3), 649\u2013667 (2003)","journal-title":"Journal of Symbolic Computation"},{"key":"81_CR10","first-page":"326","volume-title":"Proc. ISSAC 2006","author":"A. Suzuki","year":"2006","unstructured":"Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Proc. ISSAC 2006, pp. 326\u2013331. ACM Press, New York (2006)"},{"key":"81_CR11","unstructured":"Sit, W.: Computations on Quasi-Algebraic Sets (2001)"},{"issue":"1","key":"81_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V. Weispfenning","year":"1992","unstructured":"Weispfenning, V.: Comprehensive Gr\u00f6bner bases. Journal of Symbolic Computation\u00a014(1), 1\u201329 (1992)","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"81_CR13","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/S0747-7171(03)00099-3","volume":"36","author":"V. Weispfenning","year":"2003","unstructured":"Weispfenning, V.: Canonical comprehensive Gr\u00f6bner bases. Journal of Symbolic Computation\u00a036(3), 669\u2013683 (2003)","journal-title":"Journal of Symbolic Computation"},{"issue":"8","key":"81_CR14","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1016\/j.jsc.2007.05.001","volume":"42","author":"M. Wibmer","year":"2007","unstructured":"Wibmer, M.: Gr\u00f6bner bases for families of affine or projective schemes. Journal of Symbolic Computation\u00a042(8), 803\u2013834 (2007)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:26:22Z","timestamp":1558949182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}