Systems of algebraic equations. - Daniel Lazard (EUROSAM, 1979)

Problem 7 and systems of algebraic equations. - Daniel Lazard (SIGSAM Bull., 1980)

Resolution des Systemes d'Equations Algebriques. - Daniel Lazard (Theor. Comput. Sci., 1981)

Commutative Algebra and Computer Algebra. - Daniel Lazard (EUROCAM, 1982)

On Polynomial Factorization. - Daniel Lazard (EUROCAM, 1982)

Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations. - Daniel Lazard (EUROCAL, 1983)

Ideal Bases and Primary Decomposition: Case of Two Variables. - Daniel Lazard (J. Symb. Comput., 1985)

Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. - Marc Giusti; Daniel Lazard; Annick Valibouze (ISSAC, 1988)

Minimum Number of Fundamental Invariants for the Binary Form of Degree. - J. Dixmier; Daniel Lazard (J. Symb. Comput., 1988)

Quantifier Elimination: Optimal Solution for Two Classical Examples. - Daniel Lazard (J. Symb. Comput., 1988)

Integration of Rational Functions: Rational Computation of the Logarithmic Part. - Daniel Lazard; Renaud Rioboo (J. Symb. Comput., 1990)

A new method for solving algebraic systems of positive dimension. - Daniel Lazard (Discret. Appl. Math., 1991)

Solving Zero-Dimensional Algebraic Systems. - Daniel Lazard (J. Symb. Comput., 1992)

A Note on Upper Bounds for Ideal-Theoretic Problems. - Daniel Lazard (J. Symb. Comput., 1992)

Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering. - Jean-Charles Faugère; Patrizia M. Gianni; Daniel Lazard; Teo Mora (J. Symb. Comput., 1993)

The (True) Stewart Platform Has 12 Configurations. - Daniel Lazard; Jean-Pierre Merlet (ICRA, 1994)

Representation for the Radical of a Finitely Generated Differential Ideal. - François Boulier; Daniel Lazard; François Ollivier; Michel Petitot (ISSAC, 1995)

On the Theories of Triangular Sets. - Philippe Aubry; Daniel Lazard; Marc Moreno Maza (J. Symb. Comput., 1999)

Solving systems of algebraic equations. - Daniel Lazard (SIGSAM Bull., 2001)

Near-optimal parameterization of the intersection of quadrics. - Laurent Dupont 004; Daniel Lazard; Sylvain Lazard; Sylvain Petitjean (SCG, 2003)

Injectivity of real rational mappings: the case of a mixture of two Gaussian laws. - Daniel Lazard (Math. Comput. Simul., 2004)

Computing with parameterized varieties. - Daniel Lazard (Algebraic Geometry and Geometric Modeling, 2006)

Solving Kaltofen's challenge on Zolotarev's approximation problem. - Daniel Lazard (ISSAC, 2006)

Solving parametric polynomial systems. - Daniel Lazard; Fabrice Rouillier (J. Symb. Comput., 2007)

Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. - Nong Gu; Daniel Lazard; Fabrice Rouillier; Yong Xiang (Math. Comput. Sci., 2007)

Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm. - Laurent Dupont 004; Daniel Lazard; Sylvain Lazard; Sylvain Petitjean (J. Symb. Comput., 2008)

Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils. - Laurent Dupont 004; Daniel Lazard; Sylvain Lazard; Sylvain Petitjean (J. Symb. Comput., 2008)

Near-optimal parameterization of the intersection of quadrics: III. Parameterizing singular intersections. - Laurent Dupont 004; Daniel Lazard; Sylvain Lazard; Sylvain Petitjean (J. Symb. Comput., 2008)

Computing representations for radicals of finitely generated differential ideals. - François Boulier; Daniel Lazard; François Ollivier; Michel Petitot (Appl. Algebra Eng. Commun. Comput., 2009)

The Voronoi Diagram of Three Lines. - Hazel Everett; Daniel Lazard; Sylvain Lazard; Mohab Safey El Din (Discret. Comput. Geom., 2009)

Thirty years of Polynomial System Solving, and now? - Daniel Lazard (J. Symb. Comput., 2009)

Iterated discriminants. - Daniel Lazard; Scott McCallum (J. Symb. Comput., 2009)

CAD and Topology of Semi-Algebraic Sets. - Daniel Lazard (Math. Comput. Sci., 2010)

Sharper Complexity Bounds for Zero-Dimensional GRöBner Bases and Polynomial System Solving. - Amir Hashemi; Daniel Lazard (Int. J. Algebra Comput., 2011)

Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method - Jin-San Cheng; Kai Jin; Xiao-Shan Gao; Daniel Lazard (CoRR, 2012)

Certified rational parametric approximation of real algebraic space curves with local generic position method. - Jin-San Cheng; Kai Jin; Daniel Lazard (J. Symb. Comput., 2013)