scientific article; zbMATH DE number 3639058

zbMath0411.65026MaRDI QIDQ4197977

Daniel Lazard

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmalgebraic equationspolynomial equationssymbolic manipulation

Mathematics Subject Classification ID

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

Related Items

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_4)\)