BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
type: Item
instance of: scholarly article
title: BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
zbMATH Open document ID: 1251.68309
DOI: 10.1134/S0361768812020077
author: M. V. Zinin
published in: Programming and Computer Software
publication date: 2012-11-16T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 06E20
Mathematics Subject Classification ID: 68-04
zbMATH DE Number: 6107904
zbMATH Keywords: computer algebra system
zbMATH Keywords: BIBasis
zbMATH Keywords: Boolean involutive bases
zbMATH Keywords: Gröbner bases
Wikidata QID: Q114847390
describes a project that uses: Macaulay2
describes a project that uses: PoSSo
describes a project that uses: REDUCE
describes a project that uses: SATLIB
describes a project that uses: Database of Polynomial Systems
MaRDI profile type: Publication
cites work: Involutive bases of polynomial ideals
cites work: Involution. The formal theory of differential equations and its applications in computer algebra
cites work: Q5486584
cites work: Advances in Cryptology - CRYPTO 2003
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 computation of Boolean involutive bases
cites work: Q4693774
cites work: Computations in algebraic geometry with Macaulay 2
cites work: Computer Algebra in Scientific Computing
cites work: SATLIB: An online resource for research on SAT
description: scientific article; zbMATH DE number 6107904