A signature based border basis algorithm

DOI10.1007/S11786-020-00459-ZMaRDI QIDQ2183746zbMATH OpenOpenAlexFDO

Authors Jan Horáček, Martin Kreuzer, Ange-Salomé Messeng Ekossono

Publication date 27 May 2020

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-020-00459-z

zbMATH Keywords

signatureborder basisSAT solvingBoolean polynomialcryptographic attackborder basis algorithm

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Solving polynomial systems; resultants (13P15) Boolean algebras (Boolean rings) (06E99)

Recommendations

• Computing border bases
• Signature-based algorithms to compute Gröbner bases
• Computing border bases without using a term ordering
• Computing border bases using mutant strategies
• Characterizations of border bases

Cites work

• scientific article; zbMATH DE number 1504686 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• A survey on signature-based algorithms for computing Gröbner bases
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Computing border bases
• Computing border bases without using a term ordering
• Generalized normal forms and polynomial system solving
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials

Cited in

(3)

• Computing border bases using mutant strategies
• 3BA: a border bases solver with a SAT extension
• Border basis detection is NP-complete

Describes a project that uses

Uses Software

• CryptoMiniSat
• ApCoCoA
• SageMath
• PolyBoRi

This page was built for publication: A signature based border basis algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2183746)