#### Filter Results:

- Full text PDF available (22)

#### Publication Year

1979

2017

- This year (1)
- Last 5 years (6)
- Last 10 years (21)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
- ISSAC
- 1995

We give an algorithm which represents the radical J of a finitely generated differential ideal as an intersection of radical differential ideals. The computed representation provides an algorithm for testing membership in J . This algorithm works over either an ordinary or a partial differential polynomial ring of characteristic zero. It has been… (More)

- Jean-Charles Faugère, Patrizia M. Gianni, Daniel Lazard, Teo Mora
- J. Symb. Comput.
- 1993

- Daniel Lazard
- J. Symb. Comput.
- 1992

It is shown that a good output for a solver of algebraic systems of dimension zero consists of a family of "triangular sets of polynomials". Such an output is simple, readable and contains all information which may be wanted, Different algorithms are described for handling triangular systems and obtaining them from Gr/Sbner bases. These algorithms are… (More)

- Philippe Aubry, Daniel Lazard, Marc Moreno Maza
- J. Symb. Comput.
- 1999

Triangular sets appear under various names in many papers concerning systems of polynomial equations. Ritt (1932) introduced them as characteristic sets. He described also an algorithm for solving polynomial systems by computing characteristic sets of prime ideals and factorizing in field extensions. Characteristic sets of prime ideals have good properties… (More)

- Daniel Lazard
- Discrete Applied Mathematics
- 1991

- Daniel Lazard, Fabrice Rouillier
- J. Symb. Comput.
- 2007

We present a new algorithm for solving basic parametric constructible or semi-algebraic systems like C = {x ∈ C, p1(x) = 0, , ps(x) = 0, f1(x) 0, , fl(x) 0} or S = {x ∈ R, p1(x) = 0, , ps(x) = 0, f1(x)> 0, , fl(x)> 0}, where pi, fi ∈Q[U , X], U = [U1, , Ud] is the set of parameters and X = [Xd+1, , Xn] the set of unknowns. If ΠU denotes the canonical… (More)

- Daniel Lazard
- Theor. Comput. Sci.
- 1981

- Daniel Lazard
- EUROCAL
- 1983

- Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
- Symposium on Computational Geometry
- 2003

In this paper, we present the first exact, robust and practical method for computing an explicit representation of the intersection of two arbitrary quadrics whose coefficients are rational. Combining results from the theory of quadratic forms, linear algebra and number theory, we show how to obtain parametric intersection curves that are near-optimal in… (More)

- Daniel Lazard
- J. Symb. Comput.
- 1985