Nombre de documents

81

Fabrice Rouillier


Fabrice Rouillier 

Research Director
INRIA Paris research center
Address  Institut de Mathématiques de Jussieu 
Université Pierre et Marie Curie Paris VI
4, place Jussieu, F-75005 Paris.
Office  15-25 503
Phone  (+33) 6 73 19 35 15
E-mail  Fabrice.Rouillier [at] inria.fr 

Research interests

Polynomial System Solving, Real Algebraic Geometry, Computational Geometry, Topology, and Applications.

Keywords

Zero-dimensional systems, Parametric Systems, Real Roots Classification(s), Exact Computations, Software, Robotics, Signal Processing.


Article dans une revue20 documents

  • Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Bivariate triangular decompositions in the presence of asymptotes. Journal of Symbolic Computation, Elsevier, 2017, <10.1016/j.jsc.2017.01.004>. <hal-01468796>
  • Elisha Falbel, Antonin Guilloux, Pierre-Vincent Koseleff, Fabrice Rouillier, Morwen Thistlethwaite. Character Varieties For SL(3,C): The Figure Eight Knot. Experimental Mathematics, Taylor & Francis, 2016, 25 (2), pp.17. <10.1080/10586458.2015.1068249>. <hal-01362208>
  • Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, et al.. Solving bivariate systems using Rational Univariate Representations. Journal of Complexity, Elsevier, 2016, 37, pp.34--75. <10.1016/j.jco.2016.07.002>. <hal-01342211v2>
  • Elisha Falbel, Pierre-Vincent Koseleff, Fabrice Rouillier. Representations of fundamental groups of 3-manifolds into PGL(3,C): Exact computations in low complexity. Geometriae Dedicata, Springer Verlag, 2015, 177 (1), pp.52. <10.1007/s10711-014-9987-x>. <hal-00908843>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Separating linear forms and Rational Univariate Representations of bivariate systems. Journal of Symbolic Computation, Elsevier, 2015, 68, pp.84-119. <10.1016/j.jsc.2014.08.009>. <hal-00977671>
  • Nicolas Bergeron, Antonin Guilloux, Elisha Falbel, Pierre-Vincent Koseleff, Fabrice Rouillier. Local rigidity for SL (3,C) representations of 3-manifolds groups. Experimental Mathematics, Taylor & Francis, 2013, 22 (4), pp.10. <10.1080/10586458.2013.832441>. <hal-00803837>
  • Montserrat Manubens, Guillaume Moroz, Damien Chablat, Philippe Wenger, Fabrice Rouillier. Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators. Journal of Mechanisms and Robotics, American Society of Mechanical Engineers, 2012, pp.1-10. <hal-00690975>
  • Jinsan Cheng, Sylvain Lazard, Luis Peñaranda, Marc Pouget, Fabrice Rouillier, et al.. On the topology of real algebraic plane curves. Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. <10.1007/s11786-010-0044-3>. <inria-00517175>
  • Guillaume Moroz, Fabrice Rouillier, Damien Chablat, Philippe Wenger. On the determination of cusp points of 3-R\underline{P}R parallel manipulators. Mechanism and Machine Theory, Elsevier, 2010, 45 (11), pp.1555-1567. <10.1016/j.mechmachtheory.2010.06.016>. <hal-00545502>
  • Pierre-Vincent Koseleff, Daniel Pecker, Fabrice Rouillier. The first rational Chebyshev knots. Journal of Symbolic Computation, Elsevier, 2010, 45 (12), pp.1341-1358. <http://www.sciencedirect.com/science/article/pii/S0747717110000945>. <10.1016/j.jsc.2010.06.014>. <hal-00429510>
  • Gu Nong, Daniel Lazard, Fabrice Rouillier, Xiang Yong. Using computer algebra to certify the global convergence of a numerical optimization process. Mathematics in Computer Science, Springer, 2007, 1 (2), pp.291-304. <10.1007/s11786-007-0021-7>. <hal-01148502>
  • Richard Cameron, Jean-Charles Faugère, Fabrice Rouillier, Fabien Seyfert. Exhaustive approach to the coupling matrix synthesis problem and application to the design of high degree asymmetric filters. International Journal of RF and Microwave Computer-Aided Engineering, Wiley, 2007, 17 (1), pp.4--12. <10.1002/mmce.20190>. <hal-00663777>
  • Daniel Lazard, Fabrice Rouillier. Solving parametric polynomial systems. Journal of Symbolic Computation, Elsevier, 2007, 42 (6), pp.636-667. <10.1016/j.jsc.2007.01.007>. <hal-01148721>
  • Gu Nong, Xiang Yong, Fabrice Rouillier, Zhiqiang Cao. Comments on A blind Signal Separation Method for Multiuser Communications. IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2007, 55 (5), pp.2355-2356. <10.1109/tsp.2007.892716>. <hal-01148706>
  • Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. <10.1007/s11155-005-6891-y>. <inria-00544998>
  • Fabrice Rouillier, Paul Zimmermann. Efficient isolation of polynomial's real roots. Journal of Computational and Applied Mathematics, Elsevier, 2004, 162 (1), pp.33-50. <10.1016/j.cam.2003.08.015>. <inria-00099941>
  • Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din. Real solving for positive dimensional systems. Journal of Symbolic Computation, Elsevier, 2002, 34 (6), pp.543-560. <10.1006/jsco.2002.0563>. <inria-00100982>
  • Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din. Finding at least one point in each connected component of a real algebraic set defined by a single equation. Journal of Complexity, Elsevier, 2000, 16 (4), pp.716-750. <10.1006/jcom.2000.0563>. <inria-00099275>
  • Fabrice Rouillier. Solving Zero-Dimensional Systems through the Rational Univariate Representation. Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 1999, 9 (5), pp.433-461. <10.1007/s002000050114>. <inria-00098872>
  • Jean-Charles Faugère, Francois Moreau de Saint Martin, Fabrice Rouillier. Design of regular nonseparable bidimensional wavelets using Grobner basis techniques. IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 1998, 46 (4), pp.845-856. <10.1109/78.668541>. <inria-00098579>

Communication dans un congrès30 documents

  • Jan Draisma, Giorgio Ottaviani, Fabrice Rouillier. Foreword of MEGA 2015. MEGA'2015 (Special Issue), Jun 2016, Trento, Italy. <hal-01351031>
  • Ranjan Jha, Damien Chablat, Fabrice Rouillier, Guillaume Moroz. Influence of the trajectory planning on the accuracy of theorthoglide 5-axis. ASME International Design Engineering Technical Conference and the Computer and Information in Engineering Conference (IDETC/CIE), Aug 2016, Charlotte, NC, United States. Proceedings of the ASME 2016 International Design Engineering Technical Conference and the Computer and Information in Engineering Conference (IDETC/CIE), 2016. <hal-01309190>
  • Alexander Kobel, Fabrice Rouillier, Michael Sagraloff. Computing Real Roots of Real Polynomials ... and now For Real!. ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.7, 2016, ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. <10.1145/2930889.2930937>. <hal-01363955>
  • Yacine Bouzidi, Fabrice Rouillier. Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters. MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States. 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. <hal-01366202>
  • Y. Bouzidi, Alban Quadrat, Fabrice Rouillier. Computer algebra methods for testing the structural stability of multidimensional systems. IEEE 9th International Workshop on Multidimensional (nD) Systems (IEEE nDS 2015), Sep 2015, Vila Real, Portugal. 2015, Proceedings of the IEEE 9th International Workshop on Multidimensional (nD) Systems (IEEE nDS 2015). <hal-01259968>
  • Ranjan Jha, Damien Chablat, Fabrice Rouillier, Guillaume Moroz. An algebraic method to check the singularity-free paths for parallel robots. International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2015, Boston, United States. 2015. <hal-01142989>
  • Ranjan Jha, Damien Chablat, Fabrice Rouillier, Guillaume Moroz. Workspace and Singularity analysis of a Delta like family robot. 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France. 2015. <hal-01142465>
  • Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran. On the sign of a trigonometric expression. ISSAC ' 15, Jul 2015, Bath, United Kingdom. 2015, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation. <10.1145/2755996.2756664>. <hal-01200820>
  • Damien Chablat, Ranjan Jha, Fabrice Rouillier, Guillaume Moroz. Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robot. 14th International Symposium on Advances in Robot Kinematics, Jun 2014, Ljubljana, Slovenia. pp.149 - 159, 2014. <hal-00956325>
  • Damien Chablat, Ranjan Jha, Fabrice Rouillier, Guillaume Moroz. Workspace and joint space analysis of the 3-RPS parallel robot. ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. Volume 5A, pp.1-10, 2014. <hal-01006614>
  • Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems. ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. 2014. <hal-00992634>
  • Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy. On the computation of the topology of plane curves. Katsusuke nabeshima. International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. ACM Press, ISSAC 2014—Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pp.130-137, 2014, <10.1145/2608628.2608670>. <hal-00935728v2>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Rational Univariate Representations of Bivariate Systems and Applications. ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116, 2013. <hal-00809430>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Separating Linear Forms for Bivariate Systems. ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124, 2013. <hal-00809425>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. New bivariate system solver and topology of algebraic curves. 27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland. 2011. <inria-00580431>
  • Fabrice Rouillier. On Solving Systems of Bivariate Polynomials. Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. 6327, pp.5, Lectures Notes in Computer Science. <10.1007/978-3-642-15582-6_21>. <hal-01110516>
  • Guillaume Moroz, Damien Chablat, Philippe Wenger, Fabrice Rouillier. Cusp points in the parameter space of RPR-2PRR parallel manipulators. D. Pisla, M. Ceccarelli, M. Husty, B. Corves. 3rd European Conference on Mechanism Science : EUCOMES 2010, Sep 2010, Cluj-Napoca, Romania. Springer, New Trends in Mechanism Science: Analysis and Design 5, pp.29-37, 2010, Mechanisms and Machine Science. <10.1007/978-90-481-9689-0_4>. <hal-00545445>
  • Jinsan Cheng, Sylvain Lazard, Luis Peñaranda, Marc Pouget, Fabrice Rouillier, et al.. On the topology of planar algebraic curves. John Hershberger and Efi Fogel. 25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. ACM, pp.361--370, 2009, <http://portal.acm.org/citation.cfm?doid=1542362.1542424>. <10.1145/1542362.1542424>. <inria-00425383>
  • Jinsan Cheng, Sylvain Lazard, Luis Peñaranda, Marc Pouget, Fabrice Rouillier, et al.. On The Topology of Planar Algebraic Curves. 24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216, 2008. <inria-00329754>
  • Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din. Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. ISSAC 2008 - 21st International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria. ACM, pp.79-86, 2008, <10.1145/1390768.1390782>. <hal-01111711>
  • Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library. SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada, 2002. <inria-00100985>
  • Solen Corvez, Fabrice Rouillier. Using computer algebra tools to classify serial manipulators. Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, 2002, Hagenberg, Austria, 2002. <inria-00100987>
  • Fabrice Rouillier. Outils pour l'Etude des Zéros Réels de Systèmes Algébriques. Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France, 2002. <inria-00100992>
  • Fabrice Rouillier. Outils pour l'étude des zéros réels de systèmes algébriques. Colloque Mathématiques Effectives, 2002, Poitiers, France, 2002. <inria-00100994>
  • Fabrice Rouillier. Real Solving and parallel robots. Workshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain, 2002. <inria-00100993>
  • Fabrice Rouillier. Computational problems related to positive polynomials. Workshop on positive polynomials, 2002, Oberwolfach, Germany, 2002. <inria-00100983>
  • Gabriel Dos Reis, Bernard Mourrain, Philippe Trebuchet, Fabrice Rouillier. An environment for Symbolic and Numeric Computation. International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China, China. World Scientific, pp.239-249, 2002. <inria-00100984>
  • Fabrice Rouillier, Mohab Safey El Din, Eric Schost. Solving the Birkhoff interpolation problem via the critical point method: an experimental study. Third International Workshop on Automated Deduction in Geometry - ADG'2000, 2000, Zurich, Switzerland, 11 p, 2000. <inria-00099276>
  • Michel Kern, A. Olouy, Jean-Charles Faugère, Fabrice Rouillier. Using Groebner bases to compute higher order finite elements for mass lumping. Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, 1999, Edinburgh, Scotland, France. 1999. <inria-00110525>
  • Fabrice Rouillier. Real roots counting for some robotics problems. J-P.~Merlet and B.~Ravani. Computational Kinematics'95, Sep 1995, Nice (France), Kluwer, 40, pp.73-82, 1995, Solid mechanics and its applications. <inria-00000936>

Chapitre d'ouvrage4 documents

  • Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, Fabrice Rouillier. Ridges and Umbilics of Polynomial Parametric Surfaces. B. Juttler and R. Piene. Geometric Modeling and Algebraic Geometry, Springer, pp.141--159, 2008, 978-3-540-72184-0. <10.1007/978-3-540-72185-7_8>. <inria-00329762>
  • Fabrice Rouillier. Real Root Counting For some Robotics problems. Merlet, J.P. Solid Mechanics & its Applications, 9 p, 1998. <inria-00098444>
  • Laureano Gonzalez-Vega, Fabrice Rouillier, M.F. Roy, G. Trujillo. Symbolic Recipes for Real Solutions. Cohen, A.M. and Cuypers, H. and Sterk, H. Some Tapas of Computer Algebra, Springer, 1998, 3-540-63480-0. <inria-00098571>
  • Laureano Gonzalez-Vega, Fabrice Rouillier, M.F. Roy. Symbolic Recipes for Polynomial System Solving. A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, Springer, pp.34-65, 1998, 3-540-63480-0. <inria-00098570>

Direction d'ouvrage, Proceedings1 document

  • Jan Draisma, Giorgio Ottaviani, Fabrice Rouillier. Special Issue : MEGA 2015. France. 79 (1), Elsevier, pp.196, 2017. <hal-01412060>

HDR1 document

  • Fabrice Rouillier. Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux. Calcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007. <tel-01435142>

Autre publication1 document

  • Fabrice Rouillier. RealSolving. 98-R-074 || rouillier98d. 1998. <inria-00098569>

Pré-publication, Document de travail3 documents

  • P.-V Koseleff, D Pecker, Fabrice Rouillier, C Tran. Computing Chebyshev knot diagrams. 2015. <hal-01232181>
  • Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran. On the sign of a trigonometric expression. 2015. <hal-01108656>
  • Pierre-Vincent Koseleff, Daniel Pecker, Fabrice Rouillier. Computing Chebyshev knot diagrams. 8p. 2010. <hal-00451221v2>

Rapport21 documents

  • Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, et al.. Improved algorithms for solving bivariate systems via Rational Univariate Representations. [Research Report] Inria. 2015. <hal-01114767v2>
  • Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Bivariate Triangular Decompositions in the Presence of Asymptotes. [Research Report] INRIA. 2015. <hal-01200802>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Separating linear forms for bivariate systems. [Research Report] RR-8261, INRIA. 2013, pp.20. <hal-00802693v2>
  • Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Rational Univariate Representations of Bivariate Systems and Applications. [Research Report] RR-8262, INRIA. 2013, pp.26. <hal-00802698v2>
  • Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang. On dertermining mixing parameter of CC-CMA algorithm by solving semi-algebraic sets. [Research Report] RR-5830, INRIA. 2006, pp.27. <inria-00070195>
  • Jean-Charles Faugère, Jean-Pierre Merlet, Fabrice Rouillier. On solving the direct kinematics problem for parallel robots. [Research Report] RR-5923, INRIA. 2006. <inria-00072366v2>
  • Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, Fabrice Rouillier. The implicit structure of ridges of a smooth parametric surface. [Research Report] RR-5608, INRIA. 2005, pp.30. <inria-00071237>
  • Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, Fabrice Rouillier. Topologically certified approximation of umbilics and ridges on polynomial parametric surface. [Research Report] RR-5674, INRIA. 2005, pp.36. <inria-00071225>
  • Daniel Lazard, Fabrice Rouillier. Solving Parametric Polynomial Systems. [Research Report] RR-5322, INRIA. 2004, pp.23. <inria-00070678>
  • Bernard Mourrain, Fabrice Rouillier, Marie-Françoise Roy. Bernstein's basis and real root isolation. [Research Report] RR-5149, INRIA. 2004. <inria-00071434>
  • Solen Corvez, Fabrice Rouillier. Using computer algebra tools to classify serial cuspidal manipulators. [Research Report] RR-4653, INRIA. 2002. <inria-00071932>
  • Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the MPFI library. [Research Report] RR-4498, INRIA. 2002. <inria-00072090>
  • Fabrice Rouillier, Paul Zimmermann. Efficient Isolation of a Polynomial Real Roots. [Research Report] RR-4113, INRIA. 2001. <inria-00072518>
  • Luc Rolland, Fabrice Rouillier. Simulation géométrique de trajectoire avec erreurs de données de CAO. [Contrat] A00-R-265 || rolland00a, 2000, 25 p. <inria-00099159>
  • Luc Rolland, Fabrice Rouillier. Simulation de trajectoire avec erreurs de mesures et modélisation de commande. [Contrat] A00-R-266 || rolland00b, 2000, 33 p. <inria-00099160>
  • Philippe Aubry, Fabrice Rouillier, M. Safey El Din. Real Solving for Positive Dimensional Systems. [Research Report] RR-3992, INRIA. 2000, pp.20. <inria-00072654>
  • Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din. Finding at least one point in each connected component of a real algebraic set defined by a single equation. [Intern report] A00-R-017 || rouillier00a, 2000, 42 p. <inria-00107845>
  • Luc Rolland, Fabrice Rouillier. Simulation géométrique de trajectoire avec erreurs de mesures. [Contrat] 99-R-426 || rolland99c, 1999, 39 p. <inria-00098915>
  • Fabrice Rouillier. Solving Zero-dimensional Polynomial Systems through the Rational Univariate Representation. [Research Report] RR-3426, INRIA. 1998, pp.23. <inria-00073264>
  • Fabrice Rouillier. FRISCO Tools for the isolation of the Real Roots of dense univariate polynomials with integer coefficients. [Contract] 98-R-072 || rouillier98b, 1998, 10 p. <inria-00098567>
  • Fabrice Rouillier, M.F Roy, M. Safey. Testing emptyness of Real Hypersurfaces. [Contract] 98-R-073 || rouillier98c, 1998, 10 p. <inria-00098568>