{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:36:16Z","timestamp":1775054176486,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,20]],"date-time":"2008-07-20T00:00:00Z","timestamp":1216512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,20]]},"DOI":"10.1145\/1390768.1390784","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"95-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A pommaret division algorithm for computing Grobner bases in boolean rings"],"prefix":"10.1145","author":[{"given":"Vladimir P.","family":"Gerdt","sequence":"first","affiliation":[{"name":"Joint Institute for Nuclear Research, Dubna, Russian Fed."}]},{"given":"Mikhail V.","family":"Zinin","sequence":"additional","affiliation":[{"name":"Joint Institute for Nuclear Research, Dubna, Russian Fed."}]}],"member":"320","published-online":{"date-parts":[[2008,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_3_1","unstructured":"http:\/\/magma.maths.usyd.edu.au\/users\/allan\/gb\/  http:\/\/magma.maths.usyd.edu.au\/users\/allan\/gb\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_5_1","volume-title":"Electronic Proceedings of the MEGA 2007","author":"Brickenstein M.","year":"2007","unstructured":"M. Brickenstein and A. Dreyer . PolyBoRi : A framework for Grobner basis computations with Boolean polynomials . Electronic Proceedings of the MEGA 2007 . http:\/\/www.ricam.oeaw.ac.at\/mega 2007 \/ M.Brickenstein and A.Dreyer. PolyBoRi: A framework for Grobner basis computations with Boolean polynomials. Electronic Proceedings of the MEGA 2007. http:\/\/www.ricam.oeaw.ac.at\/mega2007\/"},{"key":"e_1_3_2_1_6_1","unstructured":"M.Brickenstein A.Dreyer G.-M.Greuel and O.Wienand. New developments in the theory of Grobner bases and applications to formal verification. arXiv:math.AC\/0801.1177  M.Brickenstein A.Dreyer G.-M.Greuel and O.Wienand. New developments in the theory of Grobner bases and applications to formal verification. arXiv:math.AC\/0801.1177"},{"key":"e_1_3_2_1_7_1","first-page":"618","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems. LNCS 4424","author":"Condrat C.","year":"2007","unstructured":"C. Condrat and P. Kalla . A Gr\\\"{o}bner Basis Approach to CNF- Formulae Preprocessing . Tools and Algorithms for the Construction and Analysis of Systems. LNCS 4424 , Springer-Verlag , 2007 , pp. 618 -- 631 . C.Condrat and P.Kalla. A Gr\\\"{o}bner Basis Approach to CNF-Formulae Preprocessing. Tools and Algorithms for the Construction and Analysis of Systems. LNCS 4424, Springer-Verlag, 2007, pp.618--631."},{"key":"e_1_3_2_1_8_1","unstructured":"C.M.Dawson H.L.Haselgrove A.P.Hines D.Mortimer M.A.Nielsen and T.J.Osborne. Quantum computing and polynomial equations over the finite field Z2. arXiv:quant-ph\/0408129  C.M.Dawson H.L.Haselgrove A.P.Hines D.Mortimer M.A.Nielsen and T.J.Osborne. Quantum computing and polynomial equations over the finite field Z2. arXiv:quant-ph\/0408129"},{"key":"e_1_3_2_1_9_1","first-page":"219","volume-title":"On Computer Algebra Application to Simulation of Quantum Computation. Models and Methods in Few-and Many-Body Systems","author":"Gerdt V.P.","year":"2007","unstructured":"V.P. Gerdt , R. Kragler and A.N. Prokopenya . On Computer Algebra Application to Simulation of Quantum Computation. Models and Methods in Few-and Many-Body Systems , S.A.Sofianos (ed.). University of South Africa , Pretoria , 2007 , pp. 219 -- 232 . V.P.Gerdt, R.Kragler and A.N.Prokopenya. On Computer Algebra Application to Simulation of Quantum Computation. Models and Methods in Few-and Many-Body Systems, S.A.Sofianos (ed.). University of South Africa, Pretoria, 2007, pp.219--232."},{"key":"e_1_3_2_1_10_1","volume-title":"{e}re and B.Salvy. Complexity of Gr\\\"{o}bner Basis computation for Semi-regular Overdetermined sequences over F2 with solutions in F2. INRIA report RR-5049","author":"Bardet M.","year":"2003","unstructured":"M. Bardet , J.- C. Faug\\ ` {e}re and B.Salvy. Complexity of Gr\\\"{o}bner Basis computation for Semi-regular Overdetermined sequences over F2 with solutions in F2. INRIA report RR-5049 , 2003 . M. Bardet, J.-C.Faug\\`{e}re and B.Salvy. Complexity of Gr\\\"{o}bner Basis computation for Semi-regular Overdetermined sequences over F2 with solutions in F2. INRIA report RR-5049, 2003."},{"key":"e_1_3_2_1_11_1","first-page":"440","volume-title":"Grobner Bases Computation in Boolean Rings for Symbolic Model Checking","author":"Tran N.","year":"2007","unstructured":"Q.- N. Tran and M.Y. Vardi . Grobner Bases Computation in Boolean Rings for Symbolic Model Checking . Modelling and Simulation, R.Wamkeue (ed.), ACTA Press , 2007 , pp. 440 -- 445 . Q.-N.Tran and M.Y.Vardi. Grobner Bases Computation in Boolean Rings for Symbolic Model Checking. Modelling and Simulation, R.Wamkeue (ed.), ACTA Press, 2007, pp.440--445."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(97)00127-4"},{"key":"e_1_3_2_1_13_1","first-page":"233","volume-title":"Construction of Janet bases. I. Monomial bases. Computer Algebra in Scientific Computing \/ CASC","author":"Gerdt V.P.","year":"2001","unstructured":"V.P. Gerdt , Yu. A. Blinkov and D.A. Yanovich . Construction of Janet bases. I. Monomial bases. Computer Algebra in Scientific Computing \/ CASC 2001 , Springer-Verlag , Berlin , 2001, pp. 233 -- 247 ; II. Polynomial bases, ibid., pp.249--263. V.P.Gerdt, Yu.A.Blinkov and D.A.Yanovich. Construction of Janet bases. I. Monomial bases. Computer Algebra in Scientific Computing \/ CASC 2001, Springer-Verlag, Berlin, 2001, pp.233--247; II. Polynomial bases, ibid., pp.249--263."},{"key":"e_1_3_2_1_14_1","first-page":"199","volume-title":"Involutive Algorithms for Computing Grobner Bases","author":"Gerdt V.P.","year":"2005","unstructured":"V.P. Gerdt . Involutive Algorithms for Computing Grobner Bases . Computational Commutative and Non-Commutative Algebraic Geometry, S.Cojocaru, G.Pfister and V.Ufnarovski (eds.), NATO Science Series, IOS Press , 2005 , pp. 199 -- 225 . arXiv:math.AC\/0501111 V.P.Gerdt. Involutive Algorithms for Computing Grobner Bases. Computational Commutative and Non-Commutative Algebraic Geometry, S.Cojocaru, G.Pfister and V.Ufnarovski (eds.), NATO Science Series, IOS Press, 2005, pp. 199--225. arXiv:math.AC\/0501111"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1026"},{"key":"e_1_3_2_1_16_1","first-page":"184","volume-title":"an Algorithmic Method in Polynomial Ideal Theory. Recent Trends in Multidimensional System Theory","author":"Buchberger B.","year":"1985","unstructured":"B. Buchberger . Gr\\\"{o}bner Bases : an Algorithmic Method in Polynomial Ideal Theory. Recent Trends in Multidimensional System Theory , N.K. Bose (ed.), Reidel , Dordrecht , 1985 , pp. 184 -- 232 . B.Buchberger. Gr\\\"{o}bner Bases: an Algorithmic Method in Polynomial Ideal Theory. Recent Trends in Multidimensional System Theory, N.K. Bose (ed.), Reidel, Dordrecht, 1985, pp.184--232."},{"key":"e_1_3_2_1_17_1","volume-title":"A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics 141","author":"Becker T.","year":"1993","unstructured":"T. Becker , V. Weispfenning and H. Kredel . Gr\\\"{o}bner Bases. A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics 141 , Springer-Verlag , New York , 1993 . T.Becker, V.Weispfenning and H.Kredel. Gr\\\"{o}bner Bases. A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics 141, Springer-Verlag, New York, 1993."},{"key":"e_1_3_2_1_18_1","volume-title":"Sperner Theory. Encyclopedia of Mathematics and its Applications 65","author":"Engel K.","year":"1997","unstructured":"K. Engel . Sperner Theory. Encyclopedia of Mathematics and its Applications 65 , Cambridge University Press , 1997 . K.Engel. Sperner Theory. Encyclopedia of Mathematics and its Applications 65, Cambridge University Press, 1997."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.04.004"},{"key":"e_1_3_2_1_20_1","volume-title":"A Computer Algebra System for Polynomial Computations","author":"Greuel M.","year":"2007","unstructured":"G.- M. Greuel , G. Pfister and H. Schonemann . Singular 3.0.4. A Computer Algebra System for Polynomial Computations . Centre for Computer Algebra , University of Kaiserslautern, 2007 . http:\/\/www.singular.uni-kl.de G.-M.Greuel, G.Pfister and H.Schonemann. Singular 3.0.4. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern, 2007. http:\/\/www.singular.uni-kl.de"},{"key":"e_1_3_2_1_21_1","unstructured":"http:\/\/fgbrs.lip6.fr\/salsa\/Software\/  http:\/\/fgbrs.lip6.fr\/salsa\/Software\/"},{"key":"e_1_3_2_1_22_1","unstructured":"http:\/\/www-sop.inria.fr\/saga\/POL http:\/\/www.math.uic.edu\/ jan\/demo.html  http:\/\/www-sop.inria.fr\/saga\/POL http:\/\/www.math.uic.edu\/ jan\/demo.html"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_23"},{"key":"e_1_3_2_1_24_1","unstructured":"http:\/\/invo.jinr.ru  http:\/\/invo.jinr.ru"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11870814_22"},{"key":"e_1_3_2_1_26_1","volume-title":"A Combinatorial Approach to Involution and Delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type","author":"Seiler W.M.","year":"2007","unstructured":"W.M. Seiler . A Combinatorial Approach to Involution and Delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type ; II : Structure Analysis of Polynomial Modules with Pommaret Bases, Preprints, Universitat Kassel , 2007 . W.M.Seiler. A Combinatorial Approach to Involution and Delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type; II: Structure Analysis of Polynomial Modules with Pommaret Bases, Preprints, Universitat Kassel, 2007."}],"event":{"name":"ISSAC '08: International Symposium on Symbolic and Algebraic Computation","location":"Linz\/Hagenberg Austria","acronym":"ISSAC '08","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the twenty-first international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1390768.1390784","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1390768.1390784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:11Z","timestamp":1750258031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1390768.1390784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,20]]},"references-count":26,"alternative-id":["10.1145\/1390768.1390784","10.1145\/1390768"],"URL":"https:\/\/doi.org\/10.1145\/1390768.1390784","relation":{},"subject":[],"published":{"date-parts":[[2008,7,20]]},"assertion":[{"value":"2008-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}