Concepedia

On the Theories of Triangular Sets

Philippe Aubry, Daniel Lazard, Marc Moreno Maza

Journal of Symbolic Computation · 1999 · 279 citations · 12 references

DOI

Concepts

References

12

Basic principles of mechanical theorem proving in elementary geometries

Wen-tsün Wu · Journal of Automated Reasoning · 1986 · 391 citations

, , +15

Representation for the radical of a finitely generated differential ideal

François Boulier, Daniel Lazard, François Ollivier et al. · 1995 · 217 citations · Full text

, , +6

A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties

Michael Kalkbrener · Journal of Symbolic Computation · 1993 · 199 citations

, , +14

Solving zero-dimensional algebraic systems

Daniel Lazard · Journal of Symbolic Computation · 1992 · 185 citations

, , +11

A new method for solving algebraic systems of positive dimension

Daniel Lazard · Discrete Applied Mathematics · 1991 · 145 citations

, , +9