Faugère's F5 algorithm

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:application crypt
solving polynomial systems
gptkbp:complexity polynomial-time for regular sequences
gptkbp:field computer algebra
symbolic computation
computational algebraic geometry
https://www.w3.org/2000/01/rdf-schema#label Faugère's F5 algorithm
gptkbp:improves gptkb:F4_algorithm
gptkbp:introducedIn 2002
gptkbp:inventedBy gptkb:Jean-Charles_Faugère
gptkbp:language gptkb:mathematics
gptkbp:notableFor efficiency in avoiding unnecessary reductions
signature-based criteria
gptkbp:publishedIn gptkb:Journal_of_Symbolic_Computation
gptkbp:purpose computing Gröbner bases
gptkbp:relatedTo gptkb:Gröbner_basis
gptkb:Buchberger's_algorithm
gptkb:F4_algorithm
gptkbp:usedIn computer algebra systems
gptkbp:bfsParent gptkb:Gröbner_basis
gptkbp:bfsLayer 6