On computation of Boolean involutive bases
type: Item
instance of: scholarly article
title: On computation of Boolean involutive bases
zbMATH Open document ID: 1214.68472
DOI: 10.1134/S0361768810020106
author: Vladimir Gerdt
author: M. V. Zinin
author: Yu. A. Blinkov
published in: Programming and Computer Software
publication date: 2010-09-24T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 06E20
Mathematics Subject Classification ID: 13D40
Mathematics Subject Classification ID: 90C09
zbMATH DE Number: 5790944
describes a project that uses: Ginv
describes a project that uses: FGb
describes a project that uses: BIBasis
MaRDI profile type: Publication
cites work: Advances in Cryptology - CRYPTO 2003
cites work: Efficient computation of zero-dimensional Gröbner bases by change of ordering
cites work: Q4406533
cites work: Q4298260
cites work: A Gröbner Basis Approach to CNF-Formulae Preprocessing
cites work: New developments in the theory of Gröbner bases and applications to formal verification
cites work: Involutive method for computing Gröbner bases over \(\mathbb F_2\)
cites work: On the Computation of Elimination Ideals of Boolean Polynomial Rings
cites work: Involutive bases of polynomial ideals
cites work: Q5486584
cites work: Q3522513
cites work: Janet's approach to presentations and resolutions for polynomials and linear PDEs
cites work: Q4693774
cites work: Q2702007
cites work: The theory of involutive divisions and an application to Hilbert function computations
cites work: Q2760212
cites work: Specialized computer algebra system GINV
cites work: Computer Algebra in Scientific Computing
full work available at URL: s0361768810020106
OpenAlex ID: W1985304375
description: scientific article; zbMATH DE number 5790944