Proof of the Faugère criterion for the F5 algorithm
type: Item
instance of: scholarly article
title: Proof of the Faugère criterion for the F5 algorithm
zbMATH Open document ID: 1258.13031
DOI: 10.1134/S0001434610090191
author: Oleg N. German
published in: Mathematical Notes
publication date: 2011-11-25T00:00:00Z
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 5980689
zbMATH Keywords: F5 algorithm
zbMATH Keywords: faugère criterion
zbMATH Keywords: Gröbner basis
zbMATH Keywords: polynomial ideal
zbMATH Keywords: head term
MaRDI profile type: Publication
cites work: F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
cites work: Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals
description: scientific article; zbMATH DE number 5980689