Fabrice Rouillier

113
Documents

Présentation

Publications

Publications

Deposit thumbnail

Certified Kinematic Tools for the Design and Control of Parallel Robots

Alexandre Lê , Fabrice Rouillier , Guillaume Rance , Damien Chablat

Mechanism and Machine Theory, 2025, 205, pp.105865. ⟨10.1016/j.mechmachtheory.2024.105865⟩

Article dans une revue hal-04821252v1
Deposit thumbnail

${L}^{\infty}$-norm computation for linear time-invariant systems depending on parameters

Alban Quadrat , Fabrice Rouillier , Grace Younes

Maple Transactions, 2024, 4 (1), pp.18. ⟨10.5206/mt.v4i1.17129⟩

Article dans une revue hal-04646145v1
Deposit thumbnail

On the Certification of the Kinematics of 3-DOF Spherical Parallel Manipulators

Alexandre Lê , Damien Chablat , Guillaume Rance , Fabrice Rouillier

Maple Transactions, 2023, 3 (2), ⟨10.5206/mt.v3i2.15660⟩

Article dans une revue hal-04189637v1
Deposit thumbnail

PTOPO: Computing the Geometry and the Topology of Parametric Curves

Christina Katsamaki , Fabrice Rouillier , Elias Tsigaridas , Zafeirakis Zafeirakopoulos

Journal of Symbolic Computation, 2022, ⟨10.1016/j.jsc.2022.08.012⟩

Article dans une revue hal-03090184v3
Deposit thumbnail

Bounds for polynomials on algebraic numbers and application to curve topology

Daouda Niang Diatta , Sény Diatta , Fabrice Rouillier , Marie-Françoise Roy , Michael Sagraloff

Discrete and Computational Geometry, 2022, 67, pp.631-697. ⟨10.1007/s00454-021-00353-w⟩

Article dans une revue hal-01891417v1
Deposit thumbnail

Computation of the $\mathcal{L} \infty$ -norm of finite-dimensional linear systems

Yacine Bouzidi , Alban Quadrat , Fabrice Rouillier , Grace Younes

Communications in Computer and Information Science, 2021, Communications in Computer and Information Science, 1414, pp.119-136. ⟨10.1007/978-3-030-81698-8_9⟩

Article dans une revue hal-03328685v1
Deposit thumbnail

PTOPO: A Maple package for the topology of parametric curves

Christina Katsamaki , Fabrice Rouillier , Elias Tsigaridas , Zafeirakis Zafeirakopoulos

ACM Communications in Computer Algebra, 2020, 54 (2), pp.49-52. ⟨10.1145/3427218.3427223⟩

Article dans une revue hal-02953909v1
Deposit thumbnail

Certified Non-conservative Tests for the Structural Stability of Discrete Multidimensional Systems

Yacine Mohamed Bouzidi , Alban Quadrat , Fabrice Rouillier

Multidimensional Systems and Signal Processing, 2019, 30 (3), pp.31. ⟨10.1007/s11045-018-0596-y⟩

Article dans une revue hal-01951765v1
Deposit thumbnail

Workspace, Joint space and Singularities of a family of Delta-Like Robot

Ranjan Jha , Damien Chablat , Luc Baron , Fabrice Rouillier , Guillaume Moroz

Mechanism and Machine Theory, 2018, 127, pp.73-95. ⟨10.1016/j.mechmachtheory.2018.05.004⟩

Article dans une revue hal-01796066v1
Deposit thumbnail

Computing Chebyshev knot diagrams

Pierre-Vincent Koseleff , Daniel Pecker , Fabrice Rouillier , Cuong Tran

Journal of Symbolic Computation, 2018, 86, pp.21. ⟨10.1016/j.jsc.2017.04.001⟩

Article dans une revue hal-01232181v2
Deposit thumbnail

Bivariate triangular decompositions in the presence of asymptotes

Sylvain Lazard , Marc Pouget , Fabrice Rouillier

Journal of Symbolic Computation, 2017, 82, pp.123 - 133. ⟨10.1016/j.jsc.2017.01.004⟩

Article dans une revue hal-01468796v1

Character Varieties For SL(3,C): The Figure Eight Knot

Elisha Falbel , Antonin Guilloux , Pierre-Vincent Koseleff , Fabrice Rouillier , Morwen Thistlethwaite

Experimental Mathematics, 2016, 25 (2), pp.17. ⟨10.1080/10586458.2015.1068249⟩

Article dans une revue hal-01362208v1
Deposit thumbnail

Solving bivariate systems using Rational Univariate Representations

Yacine Bouzidi , Sylvain Lazard , Guillaume Moroz , Marc Pouget , Fabrice Rouillier et al.

Journal of Complexity, 2016, 37, pp.34--75. ⟨10.1016/j.jco.2016.07.002⟩

Article dans une revue hal-01342211v2
Deposit thumbnail

Separating linear forms and Rational Univariate Representations of bivariate systems

Yacine Bouzidi , Sylvain Lazard , Marc Pouget , Fabrice Rouillier

Journal of Symbolic Computation, 2015, 68, pp.84-119. ⟨10.1016/j.jsc.2014.08.009⟩

Article dans une revue hal-00977671v1

Representations of fundamental groups of 3-manifolds into PGL(3,C): Exact computations in low complexity

Elisha Falbel , Pierre-Vincent Koseleff , Fabrice Rouillier

Geometriae Dedicata, 2015, 177 (1), pp.52. ⟨10.1007/s10711-014-9987-x⟩

Article dans une revue hal-00908843v1
Deposit thumbnail

Local rigidity for SL (3,C) representations of 3-manifolds groups

Nicolas Bergeron , Antonin Guilloux , Elisha Falbel , Pierre-Vincent Koseleff , Fabrice Rouillier

Experimental Mathematics, 2013, 22 (4), pp.10. ⟨10.1080/10586458.2013.832441⟩

Article dans une revue hal-00803837v1
Deposit thumbnail

Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators

Montserrat Manubens , Guillaume Moroz , Damien Chablat , Philippe Wenger , Fabrice Rouillier

Journal of Mechanisms and Robotics, 2012, pp.1-10

Article dans une revue hal-00690975v1
Deposit thumbnail

The first rational Chebyshev knots

Pierre-Vincent Koseleff , Daniel Pecker , Fabrice Rouillier

Journal of Symbolic Computation, 2010, 45 (12), pp.1341-1358. ⟨10.1016/j.jsc.2010.06.014⟩

Article dans une revue hal-00429510v1
Deposit thumbnail

On the determination of cusp points of 3-R\underline{P}R parallel manipulators

Guillaume Moroz , Fabrice Rouillier , Damien Chablat , Philippe Wenger

Mechanism and Machine Theory, 2010, 45 (11), pp.1555-1567. ⟨10.1016/j.mechmachtheory.2010.06.016⟩

Article dans une revue hal-00545502v1
Deposit thumbnail

On the topology of real algebraic plane curves

Jinsan Cheng , Sylvain Lazard , Luis Mariano Peñaranda , Marc Pouget , Fabrice Rouillier et al.

Mathematics in Computer Science, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩

Article dans une revue inria-00517175v1

Using computer algebra to certify the global convergence of a numerical optimization process

Gu Nong , Daniel Lazard , Fabrice Rouillier , Xiang Yong

Mathematics in Computer Science, 2007, 1 (2), pp.291-304. ⟨10.1007/s11786-007-0021-7⟩

Article dans une revue hal-01148502v1

Solving parametric polynomial systems

Daniel Lazard , Fabrice Rouillier

Journal of Symbolic Computation, 2007, 42 (6), pp.636-667. ⟨10.1016/j.jsc.2007.01.007⟩

Article dans une revue hal-01148721v1
Deposit thumbnail

Exhaustive approach to the coupling matrix synthesis problem and application to the design of high degree asymmetric filters

Richard J. Cameron , Jean-Charles Faugère , Fabrice Rouillier , Fabien Seyfert

International Journal of RF and Microwave Computer-Aided Engineering, 2007, 17 (1), pp.4--12. ⟨10.1002/mmce.20190⟩

Article dans une revue istex hal-00663777v1

Comments on A blind Signal Separation Method for Multiuser Communications

Gu Nong , Xiang Yong , Fabrice Rouillier , Zhiqiang Cao

IEEE Transactions on Signal Processing, 2007, 55 (5), pp.2355-2356. ⟨10.1109/tsp.2007.892716⟩

Article dans une revue hal-01148706v1
Deposit thumbnail

The implicit structure of ridges of a smooth parametric surface

Frédéric Cazals , Jean-Charles Faugère , Marc Pouget , Fabrice Rouillier

Computer Aided Geometric Design, 2006, 23 (7), pp.582-598. ⟨10.1016/j.cagd.2006.04.002⟩

Article dans une revue inria-00097581v1

Motivations for an arbitrary precision interval arithmetic and the MPFI library

Nathalie Revol , Fabrice Rouillier

Reliable Computing, 2005, 11 (4), pp.275-290. ⟨10.1007/s11155-005-6891-y⟩

Article dans une revue inria-00544998v1

Efficient isolation of polynomial's real roots

Fabrice Rouillier , Paul Zimmermann

Journal of Computational and Applied Mathematics, 2004, 162 (1), pp.33-50. ⟨10.1016/j.cam.2003.08.015⟩

Article dans une revue istex inria-00099941v1

Real solving for positive dimensional systems

Philippe Aubry , Fabrice Rouillier , Mohab Safey El Din

Journal of Symbolic Computation, 2002, 34 (6), pp.543-560. ⟨10.1006/jsco.2002.0563⟩

Article dans une revue inria-00100982v1

Finding at least one point in each connected component of a real algebraic set defined by a single equation

Fabrice Rouillier , Marie-Françoise Roy , Mohab Safey El Din

Journal of Complexity, 2000, 16 (4), pp.716-750. ⟨10.1006/jcom.2000.0563⟩

Article dans une revue istex inria-00099275v1

Solving Zero-Dimensional Systems through the Rational Univariate Representation

Fabrice Rouillier

Applicable Algebra in Engineering, Communication and Computing, 1999, 9 (5), pp.433-461. ⟨10.1007/s002000050114⟩

Article dans une revue istex inria-00098872v1

Design of regular nonseparable bidimensional wavelets using Grobner basis techniques

Jean-Charles Faugère , Francois Moreau de Saint Martin , Fabrice Rouillier

IEEE Transactions on Signal Processing, 1998, 46 (4), pp.845-856. ⟨10.1109/78.668541⟩

Article dans une revue inria-00098579v1

Des formules de Bareiss à la réduction des formes quadratiques

Fabrice Rouillier

Notes aux comptes rendus de l'académie des sciences, 1995, 320, pp.1273-1278

Article dans une revue hal-01434771v1
Deposit thumbnail

Some Computational Tools for Solving a Selection of Problems in Control Theory

Alexander Demin , Christina Katsamaki , Fabrice Rouillier

SSSC 2025 - 9th IFAC Symposium on System Structure and Control, Jun 2025, Gif -sur-Yvette, France. pp.73 - 78, ⟨10.1016/j.ifacol.2025.09.570⟩

Communication dans un congrès hal-05362405v1
Deposit thumbnail

Symbolic and Numerical Tools for L∞-Norm Calculation

Grace Younes , Alban Quadrat , Fabrice Rouillier

SSSC 2025 - 9th IFAC Symposium on System Structure and Control, Jun 2025, Gif -sur-Yvette, France. pp.202 - 207, ⟨10.1016/j.ifacol.2025.09.592⟩

Communication dans un congrès hal-05362416v1
Deposit thumbnail

Inertial line-of-sight stabilization using a 3-dof spherical parallel manipulator with coaxial input shafts

Alexandre Lê , Guillaume Rance , Fabrice Rouillier , Damien Chablat

OPTRO2024 - 11th International Symposium on Optronics in defence & security, Jan 2024, Bordeaux, France

Communication dans un congrès hal-04483255v1
Deposit thumbnail

Certified Kinematic Tools for the Design and Control of Parallel Robots (Extended abstract)

Alexandre Lê , Fabrice Rouillier , Guillaume Rance , Damien Chablat

Mechanism and Machine Theory Symposium, Jun 2024, Guimarães, Portugal

Communication dans un congrès hal-04646790v1
Deposit thumbnail

On Isolating Roots in a Multiple Field Extension

Christina Katsamaki , Fabrice Rouillier

ISSAC '23: 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.363-371, ⟨10.1145/3597066.3597107⟩

Communication dans un congrès hal-04116621v1

Computation of the $\mathcal{L}_{\infty}$-norm of finite-dimensional linear systems

Yacine Bouzidi , Alban Quadrat , Fabrice Rouillier , Grace Younes

Maple Conference, Nov 2020, Waterloo, Canada

Communication dans un congrès hal-03073801v1
Deposit thumbnail

On the effective computation of stabilizing controllers of 2D systems

Yacine Bouzidi , Thomas Cluzeau , Alban Quadrat , Fabrice Rouillier

Maple Conference, Oct 2019, Waterloo, Canada. pp.19, ⟨10.1007/978-3-030-41258-6_3⟩

Communication dans un congrès hal-02419719v1
Deposit thumbnail

On the Geometry and the Topology of Parametric Curves

Christina Katsamaki , Fabrice Rouillier , Elias Tsigaridas , Zafeirakis Zafeirakopoulos

ISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece

Communication dans un congrès hal-02573423v2

Explicit H∞ controllers for 4th order single-input single-output systems with parameters and their applications to the two mass-spring system with damping

Guillaume Rance , Yacine Bouzidi , Alban Quadrat , Arnaud Quadrat , Fabrice Rouillier

IFAC 2017 Workshop Congress , Jul 2017, Toulouse, France

Communication dans un congrès hal-01667368v1

Foreword of MEGA 2015

Jan Draisma , Giorgio Ottaviani , Fabrice Rouillier

MEGA'2015 (Special Issue), Jun 2016, Trento, Italy

Communication dans un congrès hal-01351031v1

Computing Real Roots of Real Polynomials ... and now For Real!

Alexander Kobel , Fabrice Rouillier , Michael Sagraloff

ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.7, ⟨10.1145/2930889.2930937⟩

Communication dans un congrès hal-01363955v1
Deposit thumbnail

Influence of the trajectory planning on the accuracy of the orthoglide 5-axis

Ranjan Jha , Damien Chablat , Fabrice Rouillier , Guillaume Moroz

ASME International Design Engineering Technical Conference and the Computer and Information in Engineering Conference (IDETC/CIE), Aug 2016, Charlotte, NC, United States

Communication dans un congrès hal-01309190v1
Deposit thumbnail

Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters

Yacine Bouzidi , Fabrice Rouillier

MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States

Communication dans un congrès hal-01366202v1

On the sign of a trigonometric expression

Pierre-Vincent Koseleff , Fabrice Rouillier , Cuong Tran

ISSAC ' 15, Jul 2015, Bath, United Kingdom. ⟨10.1145/2755996.2756664⟩

Communication dans un congrès hal-01200820v1

Computer algebra methods for testing the structural stability of multidimensional systems

Youcef Bouzidi , Alban Quadrat , Fabrice Rouillier

IEEE 9th International Workshop on Multidimensional (nD) Systems, Sep 2015, Vila Real, Portugal. ⟨10.1109/nds.2015.7332633⟩

Communication dans un congrès hal-01259968v1
Deposit thumbnail

Workspace and Singularity analysis of a Delta like family robot

Ranjan Jha , Damien Chablat , Fabrice Rouillier , Guillaume Moroz

4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France

Communication dans un congrès hal-01142465v1
Deposit thumbnail

An algebraic method to check the singularity-free paths for parallel robots

Ranjan Jha , Damien Chablat , Fabrice Rouillier , Guillaume Moroz

International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, Aug 2015, Boston, United States

Communication dans un congrès hal-01142989v1
Deposit thumbnail

Workspace and joint space analysis of the 3-RPS parallel robot

Damien Chablat , Ranjan Jha , Fabrice Rouillier , Guillaume Moroz

ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10

Communication dans un congrès hal-01006614v1
Deposit thumbnail

On the computation of the topology of plane curves

Daouda Niang Diatta , Fabrice Rouillier , Marie-Françoise Roy

International Symposium on Symbolic and Algebraic Computation, Kobe University, Jul 2014, Kobe, Japan. pp.130-137, ⟨10.1145/2608628.2608670⟩

Communication dans un congrès hal-00935728v2
Deposit thumbnail

Improved algorithm for computing separating linear forms for bivariate systems

Yacine Bouzidi , Sylvain Lazard , Guillaume Moroz , Marc Pouget , Fabrice Rouillier

ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan

Communication dans un congrès hal-00992634v1
Deposit thumbnail

Separating Linear Forms for Bivariate Systems

Yacine Bouzidi , Sylvain Lazard , Marc Pouget , Fabrice Rouillier

ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124

Communication dans un congrès hal-00809425v1
Deposit thumbnail

Rational Univariate Representations of Bivariate Systems and Applications

Yacine Bouzidi , Sylvain Lazard , Marc Pouget , Fabrice Rouillier

ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116

Communication dans un congrès hal-00809430v1
Deposit thumbnail

New bivariate system solver and topology of algebraic curves

Yacine Bouzidi , Sylvain Lazard , Marc Pouget , Fabrice Rouillier

27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland

Communication dans un congrès inria-00580431v1

Computing Chebyshev knots diagrams

P-V. Koseleff , D. Pecker , Fabrice Rouillier

MEGA 11, 2011, Unknown, Unknown Region

Communication dans un congrès hal-01434749v1

On Solving Systems of Bivariate Polynomials

Fabrice Rouillier

Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.100-104, ⟨10.1007/978-3-642-15582-6_21⟩

Communication dans un congrès istex hal-01110516v1
Deposit thumbnail

Cusp points in the parameter space of RPR-2PRR parallel manipulators

Guillaume Moroz , Damien Chablat , Philippe Wenger , Fabrice Rouillier

3rd European Conference on Mechanism Science : EUCOMES 2010, Sep 2010, Cluj-Napoca, Romania. pp.29-37, ⟨10.1007/978-90-481-9689-0_4⟩

Communication dans un congrès hal-00545445v1

On Using Triangular Decomposition for Solving Parametric Polynomial Systems

Fabrice Rouillier , Rong Xiao

MACIS'09, Dec 2009, Fukuoka, Japan. pp.1--1

Communication dans un congrès hal-01298886v1
Deposit thumbnail

On the topology of planar algebraic curves

Jinsan Cheng , Sylvain Lazard , Luis Mariano Peñaranda , Marc Pouget , Fabrice Rouillier et al.

25th annual symposium on Computational geometry - SCG 2009, Jun 2009, Aarhus, Denmark. pp.361--370, ⟨10.1145/1542362.1542424⟩

Communication dans un congrès inria-00425383v1
Deposit thumbnail

On The Topology of Planar Algebraic Curves

Jinsan Cheng , Sylvain Lazard , Luis Mariano Peñaranda , Marc Pouget , Fabrice Rouillier et al.

24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216

Communication dans un congrès inria-00329754v1

Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities

Jean-Charles Faugère , Guillaume Moroz , Fabrice Rouillier , Mohab Safey El Din

ISSAC 2008 - 21st International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria. pp.79-86, ⟨10.1145/1390768.1390782⟩

Communication dans un congrès hal-01111711v1

Explicit classification of the 9 first Haas parametric systems

Guillaume Moroz , Fabrice Rouillier

ADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. pp.1-1

Communication dans un congrès hal-01305663v1

Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process

Nong Gu , Daniel Lazard , Fabrice Rouillier , Yong Xiang

Mathematical Aspects of Computer and Information Sciences, Jul 2006, Beijing, China. pp.100-112

Communication dans un congrès hal-01352508v1

Outils de calcul formel performants pour la résolution de certains problèmes en robotique

Jean-Charles Faugère , Fabrice Rouillier

Journées Nationales de Recherche en Robotique, Oct 2005, Lorient, France. pp.89-99

Communication dans un congrès hal-01434754v1

Polynomial System Solving for Industrial Problems

Fabrice Rouillier , Jean-Charles Faugère

SIAM Conference on Mathematics for Industry, Oct 2005, Detroit, MI, United States. pp.1-5

Communication dans un congrès hal-01486850v1

Ridges and umbilics of polynomial parametric surfaces

Frédéric Cazals , Jean-Charles Faugère , Marc Pouget , Fabrice Rouillier

Computational Methods for Algebraic Spline Surfaces II - COMPASS II, Sep 2005, Oslo, Norway. pp.1-1

Communication dans un congrès hal-01434753v1

Exact Computations and Real Roots of Polynomial Systems

Fabrice Rouillier

Algorithmic, Combinatorial and Applicable Real Algebraic Geometry, Apr 2004, Berkeley, CA, United States

Communication dans un congrès hal-01497056v1

Real roots of parametric systems of polynomial equalities and inequalities

Fabrice Rouillier

Workshop on Real Computation and Complexity, 2004, Rennes, France

Communication dans un congrès hal-01503542v1

Real roots of parametric polynomial systems.

Fabrice Rouillier

The Eighth International Workshop on Mathematics Mechanization, Jun 2004, Beijing, China

Communication dans un congrès hal-01497052v1

Solving Parametric Polynomial Systems

Daniel Lazard , Fabrice Rouillier

International Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.53-55

Communication dans un congrès hal-01520939v1

Computing sampling points in a semi-algebraic set defined by non-strict inequalities, Application to Pattern-Matching Problems

Colas Le Guernic , Fabrice Rouillier , Mohab Safey El Din

EACA 2004 - Encuentro de Álgebra Computacional y Aplicaciones, Jul 2004, Santander, Spain

Communication dans un congrès hal-01434756v1

On the Rational Univariate Representation

Fabrice Rouillier

International Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.75--79

Communication dans un congrès hal-01434755v1

Efficient real solutions and robotics

Fabrice Rouillier

1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics, Feb 2003, Nice, France

Communication dans un congrès hal-01531942v1

An environment for Symbolic and Numeric Computation

Gabriel dos Reis , Bernard Mourrain , Philippe Trebuchet , Fabrice Rouillier

International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249

Communication dans un congrès inria-00100984v1

Outils pour l'étude des zéros réels de systèmes algébriques

Fabrice Rouillier

Colloque Mathématiques Effectives, 2002, Poitiers, France

Communication dans un congrès inria-00100994v1

Outils pour l'Etude des Zéros Réels de Systèmes Algébriques

Fabrice Rouillier

Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France

Communication dans un congrès inria-00100992v1

Computational problems related to positive polynomials

Fabrice Rouillier

Workshop on positive polynomials, 2002, Oberwolfach, Germany

Communication dans un congrès inria-00100983v1

Motivations for an arbitrary precision interval arithmetic and the mpfi library

Nathalie Revol , Fabrice Rouillier

SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161

Communication dans un congrès inria-00100985v1

Real Solving and parallel robots

Fabrice Rouillier

Workshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain

Communication dans un congrès inria-00100993v1

A library for arbitrary precision interval arithmetic

Nathalie Revol , Fabrice Rouillier

10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France

Communication dans un congrès hal-01434758v1

Using computer algebra tools to classify serial manipulators

Solen Corvez , Fabrice Rouillier

Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. pp.31-43, ⟨10.1007/978-3-540-24616-9_3⟩

Communication dans un congrès istex inria-00100987v1

Efficient Agorithms Based on the Critical Point Method

Fabrice Rouillier

DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Mar 2001, Rutgers, United States. pp.123-138

Communication dans un congrès hal-01434759v1

Calcul formel et calcul scientifique

Fabrice Rouillier

Congrès national de mathématiques appliquées et industrielles (SMAI), May 2001, Club Med de Pompadour, Corrèze, France. pp.151-164

Communication dans un congrès hal-01571753v1

Well-defined semantics for floating-point computations: the MPFR library

Fabrice Rouillier

MuPAD Workshop 2000, 2000, Unknown, Unknown Region

Communication dans un congrès hal-01434760v1

Solving the Birkhoff interpolation problem via the critical point method: an experimental study

Fabrice Rouillier , Mohab Safey El Din , Eric Schost

Third International Workshop on Automated Deduction in Geometry - ADG'2000, Sep 2000, Zurich, Switzerland. pp.26-40, ⟨10.1007/3-540-45410-1_3⟩

Communication dans un congrès istex inria-00099276v1

Using Gröbner bases to compute higher order finite elements for ma\ss lumping

M. Kern , J.-C. Faugère , Fabrice Rouillier

ICIAM'99, Edimburgh, 1999, Unknown, Unknown Region

Communication dans un congrès hal-01434762v1

Using Groebner bases to compute higher order finite elements for mass lumping

Michel Kern , Agany Oloui , Jean-Charles Faugère , Fabrice Rouillier

Fourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom

Communication dans un congrès inria-00110525v1

Design of filter and filter banks using dedicated Computer Algebra Tools

Jean-Charles Faugère , Fabrice Rouillier

International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain

Communication dans un congrès hal-01434764v1

Real Solving of Polynomial Systems and Applications

Fabrice Rouillier

ICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region

Communication dans un congrès hal-01434761v1

Using Computer algebra tools for off-line studies of parallel manipulators

Jean-Charles Faugère , Luc Rolland , Fabrice Rouillier

International Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain

Communication dans un congrès hal-01434763v1

Polynomial system solving in practice

Fabrice Rouillier , M.F. Roy

FoCM'97, 1997, Unknown, Unknown Region

Communication dans un congrès hal-01434770v1

Application of Modules (RealSolving/FRISCO)

Fabrice Rouillier

MuPAD Workshop 1997, 1997, Unknown, Unknown Region

Communication dans un congrès hal-01434768v1

Software for symbolic polynomial system solving: the PoSSo solver

Fabrice Rouillier

ICIAM'95 - Hambourg, 1995, Unknown, Unknown Region

Communication dans un congrès hal-01434772v1

PoSSo-RealSolving (zero-dimensional system of polynomials)

Fabrice Rouillier

Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region

Communication dans un congrès hal-01434774v1
Deposit thumbnail

Real roots counting for some robotics problems

Fabrice Rouillier

Computational Kinematics'95, Sep 1995, Nice (France), pp.73-82

Communication dans un congrès inria-00000936v1

PoSSo-RealSolving (Simultaneous Inequalities)

Fabrice Rouillier , G. Trujillo

Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region

Communication dans un congrès hal-01434773v1
Deposit thumbnail

On a Software Joint Velocity Limitation of a Spherical Parallel Manipulator with Coaxial Input Shafts

Alexandre Lê , Guillaume Rance , Fabrice Rouillier , Arnaud Quadrat , Damien Chablat

Jadran Lenarčič; Manfred Husty. Advances in Robot Kinematics, 31, Springer, pp.43 - 52, 2024, Springer Proceedings in Advanced Robotics, ⟨10.1007/978-3-031-64057-5_6⟩

Chapitre d'ouvrage hal-04645118v1
Deposit thumbnail

Using Maple to analyse parallel robots

Damien Chablat , Guillaume Moroz , Fabrice Rouillier , Philippe Wenger

Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩

Chapitre d'ouvrage hal-02289699v1

On the effective computation of stabilizing controllers of 2D systems

Yacine Bouzidi , Thomas Cluzeau , Alban Quadrat , Fabrice Rouillier

Jürgen Gerhard, Ilias Kotsireas. Maple in Mathematics Education and Research, Maple in Mathematics Education and Research, Springer, pp.30-49, 2020, 978-3-030-41257-9

Chapitre d'ouvrage hal-03070677v1
Deposit thumbnail

Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability

Yacine Bouzidi , Fabrice Rouillier

Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, Springer, pp.203-237, 2020, ⟨10.1007/978-3-030-38356-5_8⟩

Chapitre d'ouvrage hal-02907338v1
Deposit thumbnail

Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robot

Damien Chablat , Ranjan Jha , Fabrice Rouillier , Guillaume Moroz

Jadran Lenarčič, Oussama Khatib. Advances in Robot Kinematics, Springer, pp.149 - 159, 2014, 978-3-319-06697-4

Chapitre d'ouvrage hal-00956325v1
Deposit thumbnail

Ridges and Umbilics of Polynomial Parametric Surfaces

Frédéric Cazals , Jean-Charles Faugère , Marc Pouget , Fabrice Rouillier

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⟩

Chapitre d'ouvrage inria-00329762v1

Bernstein's basis and real root isolation

Bernard Mourrain , Fabrice Rouillier , Marie-Françoise Roy

Combinatorial and Computational Geometry, 52, Cambridge University Press, pp.459-478, 2005, MSRI Publications

Chapitre d'ouvrage hal-01486849v1

Efficient algorithms based on critical points method

Fabrice Rouillier

Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science

Chapitre d'ouvrage hal-01434757v1

Real Root Counting For some Robotics problems

Fabrice Rouillier

Merlet, J.P. Solid Mechanics & its Applications, 9 p, 1998

Chapitre d'ouvrage inria-00098444v1

Symbolic Recipes for Real Solutions

Laureano Gonzalez-Vega , Fabrice Rouillier , Marie-Françoise Roy , Guadaluppe Trujillo

Cohen, A.M.; Cuypers, H.; Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_6⟩

Chapitre d'ouvrage istex inria-00098571v1

Symbolic Recipes for Polynomial System Solving

Laureano Gonzalez-Vega , Fabrice Rouillier , Marie-Françoise Roy

A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. ⟨10.1007/978-3-662-03891-8_2⟩

Chapitre d'ouvrage istex inria-00098570v1
Deposit thumbnail

Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux

Fabrice Rouillier

Calcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007

HDR tel-01435142v1