scientific article; zbMATH DE number 3639058

zbMATH Open0411.65026MaRDI QIDQ4197977FDOQ4197977

Authors: D. Lazard 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

algorithmsymbolic manipulationpolynomial equationsalgebraic equations

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)

Cited In (3)

• A refutational approach to geometry theorem proving
• A new efficient algorithm for computing Gröbner bases \((F_4)\)
• Résolution des systèmes d'équations algébriques

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)