scientific article; zbMATH DE number 3639058

MaRDI QIDQ4197977zbMATH OpenFDO

Authors D. Lazard

Publication date 1979

zbMATH Keywords

algebraic equationsalgorithmpolynomial equationssymbolic manipulation

Mathematics Subject Classification ID

Equations in general fields (12E12) Numerical computation of solutions to systems of equations (65H10) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30)

Cited in

(4)

• A refutational approach to geometry theorem proving
• Résolution des systèmes d'équations algébriques
• A new efficient algorithm for computing Gröbner bases (F₄)
• Polynomial XL: a variant of the XL algorithm using Macaulay matrices over polynomial rings

This page was built for publication:

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