Q4889407
type: Item
instance of: scholarly article
zbMATH Open document ID: 0852.03005
author: Doina Tatar
publication date: 1996-10-22T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 915924
zbMATH Keywords: computer algebra
zbMATH Keywords: Buchberger algorithm
zbMATH Keywords: reduction ring
zbMATH Keywords: boolean polynomials
zbMATH Keywords: Groebner base
MaRDI profile type: Publication
Recommended article: Q4841300
Recommended article: Q3325075
Recommended article: On the application of Buchberger's algorithm to automated geometry theorem proving
Recommended article: Q4268421
Recommended article: An algorithmic proof of a generalization of the birkhoff-von neumann theorem
Recommended article: Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
Recommended article: A machine-checked implementation of Buchberger's algorithm
Recommended article: Q3360832
Recommended article: Proof search algorithm in pure logical framework
Recommended article: Q4038746
description: scientific article; zbMATH DE number 915924