EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1Y. Bouzidi, S. Lazard, M. Pouget, F. Rouillier.

    Separating linear forms and Rational Univariate Representations of bivariate systems, in: Journal of Symbolic Computation, 2015, pp. 84-119.

    https://hal.inria.fr/hal-00977671
  • 2H. Brönnimann, O. Devillers, V. Dujmovic, H. Everett, M. Glisse, X. Goaoc, S. Lazard, H.-S. Na, S. Whitesides.

    Lines and free line segments Tangent to Arbitrary Three-dimensional Convex Polyhedra, in: SIAM Journal on Computing, 2007, vol. 37, no 2, pp. 522-551. [ DOI : 10.1137/S0097539705447116 ]
  • 3J. Cheng, S. Lazard, L. Peñaranda, M. Pouget, F. Rouillier, E. Tsigaridas.

    On the topology of real algebraic plane curves, in: Mathematics in Computer Science, 2010, vol. 4, no 1, pp. 113-137. [ DOI : 10.1007/s11786-010-0044-3 ]

    https://hal.inria.fr/inria-00517175
  • 4O. Devillers, M. Glisse, X. Goaoc.

    Complexity Analysis of Random Geometric Structures Made Simpler, in: 29th Annual Symposium on Computational Geometry, Rio, Brazil, June 2013, pp. 167-175. [ DOI : 10.1145/2462356.2462362 ]

    https://hal.inria.fr/hal-00833774
  • 5L. Dupont, D. Lazard, S. Lazard, S. Petitjean.

    Near-Optimal Parameterization of the Intersection of Quadrics: I. The Generic Algorithm; II. A Classification of Pencils; III. Parameterizing Singular Intersections, in: Journal of Symbolic Computation, 2008, vol. 43, pp. 168–191, 192–215, 216–232.

    http://hal.inria.fr/inria-00186090/en/
  • 6H. Everett, D. Lazard, S. Lazard, M. Safey El Din.

    The Voronoi diagram of three lines, in: Journal of Discrete and Computational Geometry, 2009, vol. 42, no 1, pp. 94-130. [ DOI : 10.1007/s00454-009-9173-3 ]

    http://www.springerlink.com/content/f5601q6324664k2p/?p=6d7bb74bf9df40b0b7756b3a5153809f&pi=5
  • 7M. Glisse, S. Lazard.

    An Upper Bound on the Average Size of Silhouettes, in: Discrete & Computational Geometry, 2008, vol. 40, no 2, pp. 241-257. [ DOI : 10.1007/s00454-008-9089-3 ]
  • 8X. Goaoc, H.-S. Kim, S. Lazard.

    Bounded-Curvature Shortest Paths through a Sequence of Points using Convex Optimization, in: SIAM Journal on Computing, 2013, vol. 42, no 2, pp. 662-684. [ DOI : 10.1137/100816079 ]

    https://hal.inria.fr/hal-00927100
  • 9M. Hemmer, L. Dupont, S. Petitjean, E. Schömer.

    A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics, in: Journal of Symbolic Computation, 2011, vol. 46, no 4, pp. 467-494. [ DOI : 10.1016/j.jsc.2010.11.002 ]

    https://hal.inria.fr/inria-00537592
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 11P. Angelini, D. Eppstein, F. Frati, M. Kaufmann, S. Lazard, T. Mchedlidze, M. Teillaud, A. Wolff.

    Universal Point Sets for Planar Graph Drawing with Circular Arcs, in: Journal of Graph Algorithms and Applications, May 2014, vol. 18, no 3, pp. 313-324. [ DOI : 10.7155/jgaa.00324 ]

    https://hal.inria.fr/hal-00997207
  • 12Y. Bouzidi, S. Lazard, M. Pouget, F. Rouillier.

    Separating linear forms and Rational Univariate Representations of bivariate systems, in: Journal of Symbolic Computation, May 2015, vol. 68, no 0, pp. 84-119. [ DOI : 10.1016/j.jsc.2014.08.009 ]

    https://hal.inria.fr/hal-00977671
  • 13É. C. De Verdière, G. Ginot, X. Goaoc.

    Helly numbers of acyclic families, in: Advances in Mathematics, 2014, vol. 253, pp. 163-193. [ DOI : 10.1016/j.aim.2013.11.004 ]

    https://hal.inria.fr/hal-00646166

International Conferences with Proceedings

  • 14D. Attali, O. Devillers, M. Glisse, S. Lazard.

    Recognizing shrinkable complexes is NP-complete, in: 22nd European Symposium on Algorithms, Wroclaw, Poland, A. Schulz, D. Wagner (editors), Springer, 2014, vol. 8737, pp. 74-86.

    https://hal.inria.fr/hal-01015747
  • 15Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier.

    Improved algorithm for computing separating linear forms for bivariate systems, in: ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 2014.

    https://hal.inria.fr/hal-00992634
  • 16D. Chablat, R. Jha, F. Rouillier, G. Moroz.

    Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robot, in: 14th International Symposium on Advances in Robot Kinematics, Ljubljana, Slovenia, June 2014, pp. 149 - 159.

    https://hal.archives-ouvertes.fr/hal-00956325
  • 17D. Chablat, R. Jha, F. Rouillier, G. Moroz.

    Workspace and joint space analysis of the 3-RPS parallel robot, in: ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Buffalo, United States, August 2014, vol. Volume 5A, pp. 1-10.

    https://hal.archives-ouvertes.fr/hal-01006614

Internal Reports

  • 18G. Moroz, M. Pouget.

    Numeric certified algorithm for the topology of resultant and discriminant curves, Inria, December 2014, no RR-8653.

    https://hal.inria.fr/hal-01093040
References in notes
  • 19GMP: the GNU MP Bignum Library, The Free Software Foundation.

    http://gmplib.org/
  • 20LiDIA: a C++ Library for Computational Number Theory, Darmstadt University of Technology.

    http://www.informatik.tu-darmstadt.de/TI/LiDIA
  • 21QI: a C++ package for parameterizing intersections of quadrics, 2005, LORIA, Inria Lorraine, VEGAS project.

    http://www.loria.fr/equipes/vegas/qi
  • 22M. Baker.

    Alhazen's problem, in: American J. Mathmatics, 1881, vol. 4, no 1, pp. 327-331.
  • 23E. Berberich, M. Hemmer, S. Lazard, L. Peñaranda, M. Teillaud.

    Algebraic kernel, in: CGAL User and Reference Manual, 3.6 edition, CGAL Editorial board (editor), CGAL Editorial board, 2010.
  • 24Y. Bouzidi, S. Lazard, M. Pouget, F. Rouillier.

    Separating Linear Forms for Bivariate Systems, in: ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Boston, United States, 2013.

    http://hal.inria.fr/hal-00809425
  • 25V. Dujmovic, W. Evans, S. Lazard, W. Lenhart, G. Liotta, D. Rappaport, S. Wismath.

    On Point-sets that Support Planar Graphs, in: Computational Geometry : Theory and Applications, 2013, vol. 43, no 1, pp. 29–50. [ DOI : 10.1016/j.comgeo.2012.03.003 ]

    http://hal.inria.fr/hal-00684510
  • 26H. Everett, S. Lazard, G. Liotta, S. Wismath.

    Universal Sets of n Points for One-bend Drawings of Planar Graphs with n Vertices, in: Journal of Discrete and Computational Geometry, 2010, vol. 43, no 2, pp. 272-288. [ DOI : 10.1007/s00454-009-9149-3 ]

    https://hal.inria.fr/inria-00431769
  • 27G. Glaeser.

    Reflections on spheres and cylinders of revolution, in: J. Geometry and Graphics, 1999, vol. 3, no 2, pp. 121-139.
  • 28M. Glisse, S. Lazard, J. Michel, M. Pouget.

    Silhouette of a random polytope, Inria, July 2013, no RR-8327, 13 p.

    http://hal.inria.fr/hal-00841374
  • 29S. Lazard, L. Peñaranda, S. Petitjean.

    Intersecting Quadrics: An Efficient and Exact Implementation, in: Computational Geometry, 2006, vol. 35, no 1-2, pp. 74–99.
  • 30S. Lazard, L. Peñaranda, E. Tsigaridas.

    Univariate Algebraic Kernel and Application to Arrangements, in: International Symposium on Experimental Algorithms – SEA Experimental Algorithms, 8th International Symposium, SEA 2009, Allemagne Dortmund, Springer, 2009, vol. 5526/2009, pp. 209-220.

    http://hal.inria.fr/inria-00431559/en/