Nombre de documents

116

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 revue22 documents

  • Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Bivariate triangular decompositions in the presence of asymptotes. Journal of Symbolic Computation, Elsevier, 2017, 82, pp.123 - 133. 〈10.1016/j.jsc.2017.01.004〉. 〈hal-01468796〉
  • 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, 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, 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, Fabrice Rouillier. The implicit structure of ridges of a smooth parametric surface. Computer Aided Geometric Design, Elsevier, 2006, 23 (7), pp.582-598. 〈10.1016/j.cagd.2006.04.002〉. 〈inria-00097581〉
  • 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〉
  • Fabrice Rouillier. Des formules de Bareiss à la réduction des formes quadratiques. Notes aux comptes rendus de l'académie des sciences, 1995, 320, pp.1273-1278. 〈hal-01434771〉

Communication dans un congrès58 documents

  • 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〉
  • 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〉
  • 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〉
  • 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. 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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. 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. 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. New bivariate system solver and topology of algebraic curves. 27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland. 2011. 〈inria-00580431〉
  • P-V. Koseleff, D. Pecker, Fabrice Rouillier. Computing Chebyshev knots diagrams. MEGA 11, 2011, Unknown, Unknown or Invalid Region. 2011. 〈hal-01434749〉
  • 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〉
  • Fabrice Rouillier, Rong Xiao. On Using Triangular Decomposition for Solving Parametric Polynomial Systems. MACIS'09, Dec 2009, Fukuoka, Japan. MACIS'09, pp.1--1. 〈hal-01298886〉
  • 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〉
  • Guillaume Moroz, Fabrice Rouillier. Explicit classification of the 9 first Haas parametric systems. ADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. Proceedings of ADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, pp.1-1. 〈hal-01305663〉
  • 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〉
  • Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang. Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. Mathematical Aspects of Computer and Information Sciences, Jul 2006, Beijing, China. Mathematical Aspects of Computer and Information Sciences, pp.100-112. 〈hal-01352508〉
  • Fabrice Rouillier, Jean-Charles Faugère. Polynomial System Solving for Industrial Problems. SIAM Conference on Mathematics for Industry, Oct 2005, Detroit, MI, United States. SIAM Conference on Mathematics for Industry, pp.1-5. 〈hal-01486850〉
  • Frédéric Cazals, Jean-Charles Faugère, Marc Pouget, Fabrice Rouillier. Ridges and umbilics of polynomial parametric surfaces. Computational Methods for Algebraic Spline Surfaces II - COMPASS II, Sep 2005, Oslo, Norway. pp.1-1, 2005. 〈hal-01434753〉
  • Jean-Charles Faugère, Fabrice Rouillier. Outils de calcul formel performants pour la résolution de certains problèmes en robotique. Journées Nationales de Recherche en Robotique, Oct 2005, Lorient, France. pp.89-99, 2005. 〈hal-01434754〉
  • Daniel Lazard, Fabrice Rouillier. Solving Parametric Polynomial Systems. International Conference on Polynomial System Solving, Nov 2004, Paris, France. International Conference on Polynomial System Solving, pp.53-55. 〈hal-01520939〉
  • Fabrice Rouillier. Real roots of parametric polynomial systems.. The Eighth International Workshop on Mathematics Mechanization, Jun 2004, Beijing, China. The Eighth International Workshop on Mathematics Mechanization. 〈hal-01497052〉
  • Fabrice Rouillier. Real roots of parametric systems of polynomial equalities and inequalities. Workshop on Real Computation and Complexity, 2004, Rennes, France. Workshop on Real Computation and Complexity. 〈hal-01503542〉
  • Fabrice Rouillier. Exact Computations and Real Roots of Polynomial Systems. Algorithmic, Combinatorial and Applicable Real Algebraic Geometry, Apr 2004, Berkeley, CA, United States. Algorithmic, Combinatorial and Applicable Real Algebraic Geometry. 〈hal-01497056〉
  • Colas Le Guernic, Fabrice Rouillier, Mohab Safey El Din. Computing sampling points in a semi-algebraic set defined by non-strict inequalities, Application to Pattern-Matching Problems. EACA 2004 - Encuentro de Álgebra Computacional y Aplicaciones, Jul 2004, Santander, Spain. ACM Press, 2004. 〈hal-01434756〉
  • Fabrice Rouillier. On the Rational Univariate Representation. International Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.75--79, 2004. 〈hal-01434755〉
  • Fabrice Rouillier. Efficient real solutions and robotics. 1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics, Feb 2003, Nice, France. 1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics. 〈hal-01531942〉
  • Solen Corvez, Fabrice Rouillier. Using computer algebra tools to classify serial manipulators. ADG 2002 - 4th International Workshop on Automated Deduction in Geometry, Sep 2002, Hagenberg Castle, Austria. Springer, ADG 2002 - 4th International Workshop on Automated Deduction in Geometry, 2930, pp.31-43, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24616-9_3〉. 〈hal-01547877〉
  • 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'étude des zéros réels de systèmes algébriques. Colloque Mathématiques Effectives, 2002, Poitiers, France, 2002. 〈inria-00100994〉
  • Fabrice Rouillier. Computational problems related to positive polynomials. Workshop on positive polynomials, 2002, Oberwolfach, Germany. 2002. 〈inria-00100983〉
  • 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. Real Solving and parallel robots. Workshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain, 2002. 〈inria-00100993〉
  • Nathalie Revol, Fabrice Rouillier. Motivations for an arbitrary precision interval arithmetic and the mpfi library. SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161, 2002. 〈inria-00100985〉
  • 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. World Scientific, pp.239-249, 2002. 〈inria-00100984〉
  • N. Revol, Fabrice Rouillier. A library for arbitrary precision interval arithmetic. 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France. 2002. 〈hal-01434758〉
  • Fabrice Rouillier. Calcul formel et calcul scientifique. Congrès national de mathématiques appliquées et industrielles (SMAI), May 2001, Club Med de Pompadour, Corrèze, France. SMAI, Congrès national de mathématiques appliquées et industrielles (SMAI), pp.151-164. 〈hal-01571753〉
  • Fabrice Rouillier. Efficient Agorithms Based on the Critical Point Method. DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. 60, pp.123-138, 2001, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. 〈hal-01434759〉
  • Fabrice Rouillier. Well-defined semantics for floating-point computations: the MPFR library. MuPAD Workshop 2000, 2000, Unknown, Unknown or Invalid Region. 2000. 〈hal-01434760〉
  • 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, Sep 2000, Zurich, Switzerland. Springer, 2061, pp.26-40, 2000, Lecture Notes in Computer Science. 〈10.1007/3-540-45410-1_3〉. 〈inria-00099276〉
  • Michel Kern, Agany Oloui, 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, Jul 1999, Edinburgh, United Kingdom. 1999. 〈inria-00110525〉
  • Jean-Charles Faugère, Luc Rolland, Fabrice Rouillier. Using Computer algebra tools for off-line studies of parallel manipulators. International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain. 1999. 〈hal-01434763〉
  • Jean-Charles Faugère, Fabrice Rouillier. Design of filter and filter banks using dedicated Computer Algebra Tools. International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain. 1999. 〈hal-01434764〉
  • Fabrice Rouillier. Real Solving of Polynomial Systems and Applications. ICIAM'99 - Edhimburg, 1999, Unknown, Unknown or Invalid Region. 1999. 〈hal-01434761〉
  • M. Kern, J.-C. Faugère, Fabrice Rouillier. Using Gröbner bases to compute higher order finite elements for ma\ss lumping. ICIAM'99, Edimburgh, 1999, Unknown, Unknown or Invalid Region. 1999. 〈hal-01434762〉
  • Fabrice Rouillier. Application of Modules (RealSolving/FRISCO). MuPAD Workshop 1997, 1997, Unknown, Unknown or Invalid Region. 1997. 〈hal-01434768〉
  • Fabrice Rouillier, M.F. Roy. Polynomial system solving in practice. FoCM'97, 1997, Unknown, Unknown or Invalid Region. 1997. 〈hal-01434770〉
  • Fabrice Rouillier, G. Trujillo. PoSSo-RealSolving (Simultaneous Inequalities). Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown or Invalid Region. 1995. 〈hal-01434773〉
  • Fabrice Rouillier. PoSSo-RealSolving (zero-dimensional system of polynomials). Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown or Invalid Region. 1995. 〈hal-01434774〉
  • Fabrice Rouillier. Software for symbolic polynomial system solving: the PoSSo solver. ICIAM'95 - Hambourg, 1995, Unknown, Unknown or Invalid Region. 1995. 〈hal-01434772〉
  • 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〉

Ouvrage (y compris édition critique et traduction)1 document

Chapitre d'ouvrage6 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〉
  • Bernard Mourrain, Fabrice Rouillier, Marie-Françoise Roy. Bernstein's basis and real root isolation. Combinatorial and Computational Geometry, 52, Cambridge University Press, pp.459-478, 2005, MSRI Publications. 〈hal-01486849〉
  • Fabrice Rouillier. Efficient algorithms based on critical points method. Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science. 〈hal-01434757〉
  • 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, Proceedings, Dossier1 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 publication2 documents

  • J.-C. Faugère, Fabrice Rouillier. Dispositif d'échanges de données entre matériels informatiques. Brevet. 1999. 〈hal-01434765〉
  • Fabrice Rouillier. RealSolving. 98-R-074 || rouillier98d. 1998. 〈inria-00098569〉

Pré-publication, Document de travail3 documents

  • Pierre-Vincent Koseleff, Daniel Pecker, Fabrice Rouillier, Cuong Tran. Computing Chebyshev knot diagrams. hal-01232181. 2015. 〈hal-01232181v2〉
  • 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〉

Rapport22 documents

  • Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier. Certified Non-conservative Tests for the Structural Stability of Multidimensional Systems. [Research Report] RR-9085, INRIA Lille - Nord Europe; INRIA Paris. 2017, pp.31. 〈hal-01571230〉
  • 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. Topologically certified approximation of umbilics and ridges on polynomial parametric surface. [Research Report] RR-5674, INRIA. 2005, pp.36. 〈inria-00071225〉
  • 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〉
  • 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〉
  • 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 de trajectoire avec erreurs de mesures et modélisation de commande. [Contrat] A00-R-266 || rolland00b, 2000, 33 p. 〈inria-00099160〉
  • 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 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, M.F Roy, M. Safey. Testing emptyness of Real Hypersurfaces. [Contract] 98-R-073 || rouillier98c, 1998, 10 p. 〈inria-00098568〉
  • 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〉