{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:31Z","timestamp":1725798211309},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_64","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"419-424","source":"Crossref","is-referenced-by-count":3,"title":["Verification of Gr\u00f6bner Basis Candidates"],"prefix":"10.1007","author":[{"given":"Masayuki","family":"Noro","sequence":"first","affiliation":[]},{"given":"Kazuhiro","family":"Yokoyama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0747-7171(88)80049-X","volume":"6","author":"F. Winkler","year":"1988","unstructured":"Winkler, F.: A p-adic Approach to the Computation of Gr\u00f6bner Bases. J. Symb. Comp.\u00a06, 287\u2013304 (1988)","journal-title":"J. Symb. Comp."},{"key":"64_CR2","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/0747-7171(92)90018-Y","volume":"14","author":"F. Pauer","year":"1992","unstructured":"Pauer, F.: On Lucky Ideals for Gr\u00f6bner Basis Computations. J. Symb. Comp.\u00a014, 471\u2013482 (1992)","journal-title":"J. Symb. Comp."},{"key":"64_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/S0747-7171(02)00140-2","volume":"35","author":"E. Arnold","year":"2003","unstructured":"Arnold, E.: Modular algorithms for computing Gr\u00f6bner bases. J. Symb. Comp.\u00a035, 403\u2013419 (2003)","journal-title":"J. Symb. Comp."},{"issue":"22","key":"64_CR4","doi-asserted-by":"publisher","first-page":"5905","DOI":"10.1088\/1751-8113\/40\/22\/010","volume":"40","author":"V. Romanovski","year":"2007","unstructured":"Romanovski, V., Chen, X., Hu, Z.: Linearizability of linear systems perturbed by fifth degree homogeneous polynomials. J. Phys. A: Math. Theor.\u00a040(22), 5905\u20135919 (2007)","journal-title":"J. Phys. A: Math. Theor."},{"key":"64_CR5","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1016\/j.jsc.2011.01.003","volume":"46","author":"N. Idrees","year":"2011","unstructured":"Idrees, N., Pfister, G., Steidel, S.: Parallelization of modular algorithms. J. Symb. Comp.\u00a046, 672\u2013684 (2011)","journal-title":"J. Symb. Comp."},{"key":"64_CR6","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jsc.2013.01.005","volume":"54","author":"S. Steidel","year":"2013","unstructured":"Steidel, S.: Gr\u00f6bner bases of symmetric ideals. J. Symb. Comp.\u00a054, 72\u201386 (2013)","journal-title":"J. Symb. Comp."},{"key":"64_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-32973-9_30","volume-title":"Computer Algebra in Scientific Computing","author":"K. Yokoyama","year":"2012","unstructured":"Yokoyama, K.: Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk). In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol.\u00a07442, pp. 361\u2013362. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:25:43Z","timestamp":1558963543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}