Daniel Lazard

37 papers A* 1B 3Journal 26Unranked 6
YearRankTypeTitle / Venue / Authors
2013 J jnl
Certified rational parametric approximation of real algebraic space curves with local generic position method.
J. Symb. Comput.
Jin-San Cheng, Kai Jin, Daniel Lazard
2012 J jnl
Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method
CoRR
Jin-San Cheng, Kai Jin, Xiao-Shan Gao, Daniel Lazard
2011 J jnl
Sharper Complexity Bounds for Zero-Dimensional GRöBner Bases and Polynomial System Solving.
Int. J. Algebra Comput.
Amir Hashemi, Daniel Lazard
2010 J jnl
CAD and Topology of Semi-Algebraic Sets.
Math. Comput. Sci.
Daniel Lazard
2009 J jnl
Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput.
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
2009 J jnl
Iterated discriminants.
J. Symb. Comput.
Daniel Lazard, Scott McCallum
2009 J jnl
The Voronoi Diagram of Three Lines.
Discret. Comput. Geom.
Hazel Everett, Daniel Lazard, Sylvain Lazard, Mohab Safey El Din
2009 J jnl
Thirty years of Polynomial System Solving, and now?
J. Symb. Comput.
Daniel Lazard
2008 J jnl
Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm.
J. Symb. Comput.
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
2008 J jnl
Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils.
J. Symb. Comput.
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
2008 J jnl
Near-optimal parameterization of the intersection of quadrics: III. Parameterizing singular intersections.
J. Symb. Comput.
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
2007 J jnl
Solving parametric polynomial systems.
J. Symb. Comput.
Daniel Lazard, Fabrice Rouillier
2007 — conf
The voronoi diagram of three lines.
SCG
Hazel Everett, Sylvain Lazard, Daniel Lazard, Mohab Safey El Din
2007 J jnl
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process.
Math. Comput. Sci.
Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang
2006 — ch.
Computing with parameterized varieties.
Algebraic Geometry and Geometric Modeling
Daniel Lazard
2006 B conf
Solving Kaltofen's challenge on Zolotarev's approximation problem.
ISSAC
Daniel Lazard
2004 J jnl
Injectivity of real rational mappings: the case of a mixture of two Gaussian laws.
Math. Comput. Simul.
Daniel Lazard
2003 — conf
Near-optimal parameterization of the intersection of quadrics.
SCG
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Sylvain Petitjean
2001 J jnl
Solving systems of algebraic equations.
SIGSAM Bull.
Daniel Lazard
1999 J jnl
On the Theories of Triangular Sets.
J. Symb. Comput.
Philippe Aubry, Daniel Lazard, Marc Moreno Maza
1995 B conf
Representation for the Radical of a Finitely Generated Differential Ideal.
ISSAC
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
1994 A* conf
The (True) Stewart Platform Has 12 Configurations.
ICRA
Daniel Lazard, Jean-Pierre Merlet
1993 J jnl
Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering.
J. Symb. Comput.
Jean-Charles Faugère, Patrizia M. Gianni, Daniel Lazard, Teo Mora
1992 J jnl
A Note on Upper Bounds for Ideal-Theoretic Problems.
J. Symb. Comput.
Daniel Lazard
1992 J jnl
Solving Zero-Dimensional Algebraic Systems.
J. Symb. Comput.
Daniel Lazard
1991 J jnl
A new method for solving algebraic systems of positive dimension.
Discret. Appl. Math.
Daniel Lazard
1990 J jnl
Integration of Rational Functions: Rational Computation of the Logarithmic Part.
J. Symb. Comput.
Daniel Lazard, Renaud Rioboo
1988 B conf
Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination.
ISSAC
Marc Giusti, Daniel Lazard, Annick Valibouze
1988 J jnl
Minimum Number of Fundamental Invariants for the Binary Form of Degree.
J. Symb. Comput.
J. Dixmier, Daniel Lazard
1988 J jnl
Quantifier Elimination: Optimal Solution for Two Classical Examples.
J. Symb. Comput.
Daniel Lazard
1985 J jnl
Ideal Bases and Primary Decomposition: Case of Two Variables.
J. Symb. Comput.
Daniel Lazard
1983 — conf
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations.
EUROCAL
Daniel Lazard
1982 — conf
Commutative Algebra and Computer Algebra.
EUROCAM
Daniel Lazard
1982 — conf
On Polynomial Factorization.
EUROCAM
Daniel Lazard
1981 J jnl
Resolution des Systemes d'Equations Algebriques.
Theor. Comput. Sci.
Daniel Lazard
1980 J jnl
Problem 7 and systems of algebraic equations.
SIGSAM Bull.
Daniel Lazard
1979 — conf
Systems of algebraic equations.
EUROSAM
Daniel Lazard