 | 2009 |
| 30 |  | François Boulier,
Daniel Lazard,
François Ollivier,
Michel Petitot:
Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput. 20(1): 73-121 (2009) |
| 29 |  | Hazel Everett,
Daniel Lazard,
Sylvain Lazard,
Mohab Safey El Din:
The Voronoi Diagram of Three Lines.
Discrete & Computational Geometry 42(1): 94-130 (2009) |
| 28 |  | Daniel Lazard:
Thirty years of Polynomial System Solving, and now?
J. Symb. Comput. 44(3): 222-231 (2009) |
| 27 |  | Daniel Lazard,
Scott McCallum:
Iterated discriminants.
J. Symb. Comput. 44(9): 1176-1193 (2009) |
| 2008 |
| 26 |  | Laurent Dupont,
Daniel Lazard,
Sylvain Lazard,
Sylvain Petitjean:
Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm.
J. Symb. Comput. 43(3): 168-191 (2008) |
| 25 |  | Laurent Dupont,
Daniel Lazard,
Sylvain Lazard,
Sylvain Petitjean:
Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils.
J. Symb. Comput. 43(3): 192-215 (2008) |
| 24 |  | Laurent Dupont,
Daniel Lazard,
Sylvain Lazard,
Sylvain Petitjean:
Near-optimal parameterization of the intersection of quadrics: III. Parameterizing singular intersections.
J. Symb. Comput. 43(3): 216-232 (2008) |
| 2007 |
| 23 |  | Hazel Everett,
Sylvain Lazard,
Daniel Lazard,
Mohab Safey El Din:
The voronoi diagram of three lines.
Symposium on Computational Geometry 2007: 255-264 |
| 22 |  | Daniel Lazard,
Fabrice Rouillier:
Solving parametric polynomial systems.
J. Symb. Comput. 42(6): 636-667 (2007) |
| 21 |  | Nong Gu,
Daniel Lazard,
Fabrice Rouillier,
Yong Xiang:
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process.
Mathematics in Computer Science 1(2): 291-304 (2007) |
| 2006 |
| 20 |  | Daniel Lazard:
Solving Kaltofen's challenge on Zolotarev's approximation problem.
ISSAC 2006: 196-203 |
| 2004 |
| 19 |  | Daniel Lazard:
Injectivity of real rational mappings: the case of a mixture of two Gaussian laws.
Mathematics and Computers in Simulation 67(1-2): 67-84 (2004) |
| 2003 |
| 18 |  | Laurent Dupont,
Daniel Lazard,
Sylvain Lazard,
Sylvain Petitjean:
Near-optimal parameterization of the intersection of quadrics.
Symposium on Computational Geometry 2003: 246-255 |
| 1999 |
| 17 |  | Philippe Aubry,
Daniel Lazard,
Marc Moreno Maza:
On the Theories of Triangular Sets.
J. Symb. Comput. 28(1-2): 105-124 (1999) |
| 1995 |
| 16 |  | François Boulier,
Daniel Lazard,
François Ollivier,
Michel Petitot:
Representation for the Radical of a Finitely Generated Differential Ideal.
ISSAC 1995: 158-166 |
| 1994 |
| 15 |  | Daniel Lazard,
Jean-Pierre Merlet:
The (True) Stewart Platform Has 12 Configurations.
ICRA 1994: 2160-2165 |
| 1993 |
| 14 |  | Jean-Charles Faugère,
Patrizia M. Gianni,
Daniel Lazard,
Teo Mora:
Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering.
J. Symb. Comput. 16(4): 329-344 (1993) |
| 1992 |
| 13 |  | Daniel Lazard:
Solving Zero-Dimensional Algebraic Systems.
J. Symb. Comput. 13(2): 117-132 (1992) |
| 12 |  | Daniel Lazard:
A Note on Upper Bounds for Ideal-Theoretic Problems.
J. Symb. Comput. 13(3): 231-234 (1992) |
| 1991 |
| 11 |  | Daniel Lazard:
A new method for solving algebraic systems of positive dimension.
Discrete Applied Mathematics 33(1-3): 147-160 (1991) |
| 1990 |
| 10 |  | Daniel Lazard,
Renaud Rioboo:
Integration of Rational Functions: Rational Computation of the Logarithmic Part.
J. Symb. Comput. 9(2): 113-115 (1990) |
| 1988 |
| 9 |  | Marc Giusti,
Daniel Lazard,
Annick Valibouze:
Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination.
ISSAC 1988: 309-314 |
| 8 |  | Daniel Lazard:
Quantifier Elimination: Optimal Solution for Two Classical Examples.
J. Symb. Comput. 5(1/2): 261-266 (1988) |
| 7 |  | J. Dixmier,
Daniel Lazard:
Minimum Number of Fundamental Invariants for the Binary Form of Degree.
J. Symb. Comput. 6(1): 113-115 (1988) |
| 1985 |
| 6 |  | Daniel Lazard:
Ideal Bases and Primary Decomposition: Case of Two Variables.
J. Symb. Comput. 1(3): 261-270 (1985) |
| 1983 |
| 5 |  | Daniel Lazard:
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations.
EUROCAL 1983: 146-156 |
| 1982 |
| 4 |  | Daniel Lazard:
On Polynomial Factorization.
EUROCAM 1982: 126-134 |
| 3 |  | Daniel Lazard:
Commutative Algebra and Computer Algebra.
EUROCAM 1982: 40-48 |
| 1981 |
| 2 |  | Daniel Lazard:
Resolution des Systemes d'Equations Algebriques.
Theor. Comput. Sci. 15: 77-110 (1981) |
| 1979 |
| 1 |  | Daniel Lazard:
Systems of algebraic equations.
EUROSAM 1979: 88-94 |