{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:38Z","timestamp":1725798218725},"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_74","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"492-499","source":"Crossref","is-referenced-by-count":4,"title":["Software Using the Gr\u00f6bner Cover for Geometrical Loci Computation and Classification"],"prefix":"10.1007","author":[{"given":"Miguel A.","family":"Ab\u00e1nades","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Botana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Montes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"74_CR1","doi-asserted-by":"crossref","unstructured":"Abanades, M., Botana, F., Montes, A., Recio, T.: An Algebraic Taxonomy for Locus Computation in Dynamic Geometry. Computer Aided Design (to appear, 2014)","DOI":"10.1016\/j.cad.2014.06.008"},{"key":"74_CR2","first-page":"29","volume-title":"Proceedings of ISSAC 2010","author":"D. Kapur","year":"2010","unstructured":"Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gr\u00f6bner systems. In: Proceedings of ISSAC 2010, pp. 29\u201336. ACM Press, New York (2010)"},{"key":"74_CR3","unstructured":"Botana, F.: Locus Prototype (2012), \n                    \n                      http:\/\/webs.uvigo.es\/fbotana\/LocusGC\/"},{"key":"74_CR4","unstructured":"Montes, A.: Using Kapur-Sun-Wang algorithm for the Gr\u00f6bner Cover. In: Sendra, R., Villarino, C. (eds.) Proceedings of EACA 2012, pp. 135\u2013138. Universidad de Alcal\u00e1 de Henares (2012)"},{"key":"74_CR5","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. Jour. Symb. Comp.\u00a045, 1391\u20131425 (2010)","journal-title":"Jour. Symb. Comp."},{"key":"74_CR6","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. Jour. Symb. Comp.\u00a042, 803\u2013834 (2007)","journal-title":"Jour. Symb. Comp."},{"key":"74_CR7","unstructured":"Singular, \n                    \n                      http:\/\/www.singular.uni-kl.de\/\n                    \n                    \n                   (last accessed February 2014)"}],"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_74","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:25:52Z","timestamp":1558949152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}