{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:58Z","timestamp":1725798238104},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_80","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"531-536","source":"Crossref","is-referenced-by-count":1,"title":["An Implementation Method of Boolean Gr\u00f6bner Bases and Comprehensive Boolean Gr\u00f6bner Bases on General Computer Algebra Systems"],"prefix":"10.1007","author":[{"given":"Akira","family":"Nagai","sequence":"first","affiliation":[]},{"given":"Shutaro","family":"Inoue","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"80_CR1","doi-asserted-by":"crossref","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-2 - A computer algebra system for polynomial computations (2010), \n                    \n                      http:\/\/www.singular.uni-kl.de\/","DOI":"10.1145\/1504347.1504377"},{"issue":"3-4","key":"80_CR2","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1006\/jsco.1996.0125","volume":"24","author":"W. Bosma","year":"1997","unstructured":"Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symbolic Comput.\u00a024(3-4), 235\u2013265 (1997), \n                    \n                      http:\/\/magma.maths.usyd.edu.au\/magma\/","journal-title":"J. Symbolic Comput."},{"key":"80_CR3","doi-asserted-by":"crossref","unstructured":"Brickenstein, M., Dreyer, A.: A framework for Gr\u00f6bner-basis computations with Boolean polynomials. J. Symbolic Comput.\u00a044(9), 1326\u20131345 (2009), \n                    \n                      http:\/\/polybori.sourceforge.net\/\n                    \n                    \n                   (PolyBoRi Polynomials over Boolean Rings)","DOI":"10.1016\/j.jsc.2008.02.017"},{"key":"80_CR4","unstructured":"Noro, M., et al.: A Computer Algebra System Risa\/Asir (2009), \n                    \n                      http:\/\/www.math.kobe-u.ac.jp\/Asir\/asir.html"},{"key":"80_CR5","unstructured":"Sakai, K., Sato, Y.: Boolean Gr\u00f6bner bases. ICOT Technical Memorandum\u00a0488 (1988)"},{"key":"80_CR6","unstructured":"Sakai, K., Sato, Y., Menju, S.: Boolean Gr\u00f6bner bases (revised). ICOT Technical Report 613 (1991)"},{"key":"#cr-split#-80_CR7.1","unstructured":"Sato, Y.: Set Constraint Solvers (Prolog Version) (1996),     http:\/\/www.jipdec.or.jp\/archives\/icot\/ARCHIVE\/Museum\/FUNDING\/funding-95-E.html"},{"key":"#cr-split#-80_CR7.2","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Gr\u00f6bner Bases in polynomial ideals over commutative regular rings. In: Davenport, J.H. (ed.) ISSAC 1987 and EUROCAL 1987. LNCS, vol.\u00a0378, pp. 336-347. Springer, Heidelberg (1989)","DOI":"10.1007\/3-540-51517-8_137"},{"key":"80_CR8","unstructured":"Sato, Y.: Set Constraint Solvers (KLIC Version) (1998), \n                    \n                      http:\/\/www.jipdec.or.jp\/archives\/icot\/ARCHIVE\/Museum\/FUNDING\/funding-98-E.html"},{"key":"80_CR9","unstructured":"Sato, Y., Inoue, S.: On the Construction of Comprehensive Boolean Gr\u00f6bner Bases. In: Proceedings of the 7th Asian Symposium on Computer Mathematics (ASCM 2005), pp. 145\u2013148 (2005)"},{"key":"80_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-87827-8_29","volume-title":"Computer Mathematics","author":"Y. Sato","year":"2008","unstructured":"Sato, Y., Nagai, A., Inoue, S.: On the computation of elimination ideals of boolean polynomial rings. In: Kapur, D. (ed.) ASCM 2007. LNCS (LNAI), vol.\u00a05081, pp. 334\u2013348. Springer, Heidelberg (2008)"},{"key":"80_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-04103-7_13","volume-title":"Computer Algebra in Scientific Computing","author":"S. Inoue","year":"2009","unstructured":"Inoue, S.: On the Computation of Comprehensive Boolean Gr\u00f6bner Bases. In: Gerdt, V.P., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2009. LNCS, vol.\u00a05743, pp. 130\u2013141. Springer, Heidelberg (2009)"},{"key":"80_CR12","unstructured":"Rudeanu, S.: Boolean functions and equations. North-Holland Publishing Co., American Elsevier Publishing Co., Inc., Amsterdam, New York (1974)"},{"key":"80_CR13","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1016\/j.jsc.2010.10.011","volume":"46","author":"Y. Sato","year":"2011","unstructured":"Sato, Y., et al.: Boolean Gr\u00f6bner bases. J. Symbolic Comput.\u00a046, 622\u2013632 (2011)","journal-title":"J. Symbolic Comput."},{"key":"80_CR14","unstructured":"Inoue, S.: BGSet Boolean Gr\u00f6ebner bases for Sets (2009), \n                    \n                      http:\/\/www.mi.kagu.tus.ac.jp\/~inoue\/BGSet\/"},{"key":"80_CR15","unstructured":"Inoue, S., Nagai, A.: On the implementation of Boolean Gr\u00f6bner bases. In: Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009. COE Lect. Note, vol.\u00a022, pp. 58\u201362. Kyushu Univ. Fac. Math. (2009)"}],"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_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:25:35Z","timestamp":1558949135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}