Skip to Main content Skip to Navigation


...
inria-00070678v1  Reports
Daniel LazardFabrice Rouillier. Solving Parametric Polynomial Systems
[Research Report] RR-5322, INRIA. 2004, pp.23
...
inria-00070348v1  Reports
Amir HashemiDaniel Lazard. Complexity of Zero-dimensional Gröbner Bases
[Research Report] RR-5660, INRIA. 2005, pp.29
...
hal-00138020v2  Conference papers
François BoulierDaniel LazardFrançois OllivierMichel Petitot. Representation for the radical of a finitely generated differential ideal
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩
...
inria-00107621v1  Conference papers
Daniel Lazard. Central configurations of four gravitational masses with an axis of symmetry
8th International Conference on Applications of Computer Algebra - ACA 2002, 2002, Volos, Grèce
inria-00147563v1  Conference papers
Daniel Lazard. Mélange de deux lois Gaussiennes; systèmes sur-déterminés dépendant de paramètres approchés
Journees LNF, Liens Calcul Numerique-Calcul Formel, 2002, Toulouse, France
...
inria-00107620v1  Conference papers
Daniel Lazard. Central Configurations of Four Gravitational Masses with an Axys of Symmetry
Workshop on Applications of Commutative Algebra - Catania 2002, 2002, Catania, Italie
inria-00100602v1  Conference papers
Daniel Lazard. Systèmes d'équations algébriques et robots parallèles
Journées nationales de la recherche en robotique - JNRR'2001, P. Rives et D. Meizel, 2001, Presqu'île de Giens, France. 6 p
hal-01298891v1  Conference papers
Daniel Lazard. Algebraic points in geometry and application to {CAD}
International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), Dec 2009, Fukuoka, Japan. pp.1--1
...
hal-01130254v1  Preprints, Working Papers, ...
Daniel Lazard. Mobile 4R and 5R loops
2015
hal-01148199v1  Journal articles
Amir HashemiDaniel Lazard. Sharper complexity bounds for zero-dimensional Göbner bases and polynomial system solving
International Journal of Algebra and Computation, World Scientific Publishing, 2011, 21 (5), pp.703--713. ⟨10.1142/s0218196711006364⟩
hal-01148164v1  Journal articles
Daniel Lazard. CAD and topology of semi-algebraic sets
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.93--112. ⟨10.1007/s11786-010-0047-0⟩
hal-01298888v1  Conference papers
Daniel Lazard. Theorem Proving in Geometry and Tools for Polynomial System Solving
International Conference on Mathematics Mechanization (ICMM) in honor of professor Wen-Tsun Wu's nineties birthday, May 2009, Beijing, China. pp.1--1
...
hal-00820902v1  Journal articles
François BoulierDaniel LazardFrançois OllivierMichel Petitot. Computing representations for radicals of finitely generated differential ideals
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩
hal-01148102v1  Journal articles
Daniel Lazard. Thirty years of Polynomial System Solving, and now?
Journal of Symbolic Computation, Elsevier, 2009, 44 (3), pp.222--231. ⟨10.1016/j.jsc.2008.03.004⟩
hal-01148103v1  Journal articles
Daniel LazardScott Mccallum. Iterated Discriminants
Journal of Symbolic Computation, Elsevier, 2009, 44 (9), pp.1176--1193. ⟨10.1016/j.jsc.2008.05.006⟩
...
inria-00186085v1  Conference papers
Hazel EverettDaniel LazardSylvain LazardMohab Safey El Din. The Voronoi Diagram of Three Lines
23rd Annual Symposium on Computational Geometry (SoCG'07), Hee-Kap Ahn, Otfried Cheong, and Kyung-Yong Chwa, Jun 2007, Gyeongju, South Korea. pp.255-264, ⟨10.1145/1247069.1247116⟩
...
inria-00425378v1  Conference papers
Hazel EverettChristian GillotDaniel LazardSylvain LazardMarc Pouget. The Voronoi diagram of three arbitrary lines in R3
25th European Workshop on Computational Geometry - EuroCG'09, Mar 2009, Bruxelles, Belgium. pp.297-300
...
inria-00107534v1  Conference papers
Daniel Lazard. On the specification for solvers of polynomial systems
5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. pp.66 - 75, ⟨10.1142/9789812799661_0007⟩
...
inria-00099925v1  Conference papers
Laurent DupontSylvain LazardDaniel LazardSylvain Petitjean. Near-Optimal Parameterization of the Intersection of Quadrics: Theory and Implementation
International Conference on Polynomial System Solving - ICPSS 2004, 2004, Paris, France, 3 p
inria-00100646v1  Conference papers
Daniel Lazard. Résolution numérique des systèmes algébriques par des techniques exactes : application à la mécanique céleste
Congrès national de mathématiques appliquées et industrielles, SMAI 2001, May 2001, Pompadour, France. pp.159-160
inria-00100674v1  Journal articles
Daniel Lazard. Solving systems of algebraic equations
Sigsam Bulletin, Association for Computing Machinery, 2001, 35 (3), pp.11-37. ⟨10.1145/569746.569750⟩
...
inria-00099789v1  Conference papers
Laurent DupontDaniel LazardSylvain LazardSylvain Petitjean. Near-Optimal Parameterization of the Intersection of Quadrics
19th Symposium on Computational Geometry - SoCG 2003, Jun 2003, San Diego, United States. pp.246-255, ⟨10.1145/777792.777830⟩