Fabrice Rouillier
107
Documents
Présentation
![](https://who.rocq.inria.fr/Fabrice.Rouillier/images/fabrice.jpg) **Fabrice Rouillier**
Research Director ![](https://who.rocq.inria.fr/Fabrice.Rouillier/images/inria.png) 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.
Publications
|
Inertial line-of-sight stabilization using a 3-dof spherical parallel manipulator with coaxial input shaftsOPTRO2024 - 11th International Symposium on Optronics in defence & security, Jan 2024, Bordeaux, France
Communication dans un congrès
hal-04483255v1
|
|
On Isolating Roots in a Multiple Field ExtensionISSAC '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
|
|
On the Geometry and the Topology of Parametric CurvesISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
Communication dans un congrès
hal-02573423v2
|
Computation of the $\mathcal{L}_{\infty}$-norm of finite-dimensional linear systemsMaple Conference, Nov 2020, Waterloo, Canada
Communication dans un congrès
hal-03073801v1
|
|
|
On the effective computation of stabilizing controllers of 2D systemsMaple Conference, Oct 2019, Waterloo, Canada. pp.19, ⟨10.1007/978-3-030-41258-6_3⟩
Communication dans un congrès
hal-02419719v1
|
Explicit H∞ controllers for 4th order single-input single-output systems with parameters and their applications to the two mass-spring system with damping IFAC 2017 Workshop Congress , Jul 2017, Toulouse, France
Communication dans un congrès
hal-01667368v1
|
|
|
Certified Algorithms for proving the structural stability of two dimensional systems possibly with parametersMNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States
Communication dans un congrès
hal-01366202v1
|
Foreword of MEGA 2015MEGA'2015 (Special Issue), Jun 2016, Trento, Italy
Communication dans un congrès
hal-01351031v1
|
|
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, ⟨10.1145/2930889.2930937⟩
Communication dans un congrès
hal-01363955v1
|
|
|
Influence of the trajectory planning on the accuracy of the orthoglide 5-axisASME 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
|
|
An algebraic method to check the singularity-free paths for parallel robotsInternational Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, Aug 2015, Boston, United States
Communication dans un congrès
hal-01142989v1
|
|
Workspace and Singularity analysis of a Delta like family robot4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France
Communication dans un congrès
hal-01142465v1
|
On the sign of a trigonometric expressionISSAC ' 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 systemsIEEE 9th International Workshop on Multidimensional (nD) Systems, Sep 2015, Vila Real, Portugal. ⟨10.1109/nds.2015.7332633⟩
Communication dans un congrès
hal-01259968v1
|
|
|
Workspace and joint space analysis of the 3-RPS parallel robotASME 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
|
|
On the computation of the topology of plane curvesInternational 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
|
|
Improved algorithm for computing separating linear forms for bivariate systemsISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan
Communication dans un congrès
hal-00992634v1
|
|
Separating Linear Forms for Bivariate SystemsISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124
Communication dans un congrès
hal-00809425v1
|
|
Rational Univariate Representations of Bivariate Systems and ApplicationsISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116
Communication dans un congrès
hal-00809430v1
|
Computing Chebyshev knots diagramsMEGA 11, 2011, Unknown, Unknown Region
Communication dans un congrès
hal-01434749v1
|
|
|
New bivariate system solver and topology of algebraic curves27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
Communication dans un congrès
inria-00580431v1
|
On Solving Systems of Bivariate PolynomialsMathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.100-104, ⟨10.1007/978-3-642-15582-6_21⟩
Communication dans un congrès
hal-01110516v1
|
|
|
Cusp points in the parameter space of RPR-2PRR parallel manipulators3rd 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 SystemsMACIS'09, Dec 2009, Fukuoka, Japan. pp.1--1
Communication dans un congrès
hal-01298886v1
|
|
|
On the topology of planar algebraic curves25th 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
|
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalitiesISSAC 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 systemsADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. pp.1-1
Communication dans un congrès
hal-01305663v1
|
|
|
On The Topology of Planar Algebraic Curves24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216
Communication dans un congrès
inria-00329754v1
|
Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization ProcessMathematical Aspects of Computer and Information Sciences, Jul 2006, Beijing, China. pp.100-112
Communication dans un congrès
hal-01352508v1
|
|
Ridges and umbilics of polynomial parametric surfacesComputational Methods for Algebraic Spline Surfaces II - COMPASS II, Sep 2005, Oslo, Norway. pp.1-1
Communication dans un congrès
hal-01434753v1
|
|
Outils de calcul formel performants pour la résolution de certains problèmes en robotiqueJourné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 ProblemsSIAM Conference on Mathematics for Industry, Oct 2005, Detroit, MI, United States. pp.1-5
Communication dans un congrès
hal-01486850v1
|
|
Solving Parametric Polynomial SystemsInternational 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 ProblemsEACA 2004 - Encuentro de Álgebra Computacional y Aplicaciones, Jul 2004, Santander, Spain
Communication dans un congrès
hal-01434756v1
|
|
On the Rational Univariate RepresentationInternational Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.75--79
Communication dans un congrès
hal-01434755v1
|
|
Real roots of parametric polynomial systems.The Eighth International Workshop on Mathematics Mechanization, Jun 2004, Beijing, China
Communication dans un congrès
hal-01497052v1
|
|
Exact Computations and Real Roots of Polynomial SystemsAlgorithmic, 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 inequalitiesWorkshop on Real Computation and Complexity, 2004, Rennes, France
Communication dans un congrès
hal-01503542v1
|
|
Efficient real solutions and robotics1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics, Feb 2003, Nice, France
Communication dans un congrès
hal-01531942v1
|
|
Motivations for an arbitrary precision interval arithmetic and the mpfi librarySIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
Communication dans un congrès
inria-00100985v1
|
|
Real Solving and parallel robotsWorkshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain
Communication dans un congrès
inria-00100993v1
|
|
A library for arbitrary precision interval arithmetic10th 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 manipulatorsFourth 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
inria-00100987v1
|
|
Outils pour l'étude des zéros réels de systèmes algébriquesColloque Mathématiques Effectives, 2002, Poitiers, France
Communication dans un congrès
inria-00100994v1
|
|
An environment for Symbolic and Numeric ComputationInternational Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
Communication dans un congrès
inria-00100984v1
|
|
Outils pour l'Etude des Zéros Réels de Systèmes AlgébriquesJournées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France
Communication dans un congrès
inria-00100992v1
|
|
Computational problems related to positive polynomialsWorkshop on positive polynomials, 2002, Oberwolfach, Germany
Communication dans un congrès
inria-00100983v1
|
|
Calcul formel et calcul scientifiqueCongrè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
|
|
Efficient Agorithms Based on the Critical Point MethodDIMACS 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
|
|
Well-defined semantics for floating-point computations: the MPFR libraryMuPAD 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 studyThird 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
inria-00099276v1
|
|
Using Groebner bases to compute higher order finite elements for mass lumpingFourth International Congress on Industrial & Applied Mathematics - ICIAM'99, Jul 1999, Edinburgh, United Kingdom
Communication dans un congrès
inria-00110525v1
|
|
Using Gröbner bases to compute higher order finite elements for ma\ss lumpingICIAM'99, Edimburgh, 1999, Unknown, Unknown Region
Communication dans un congrès
hal-01434762v1
|
|
Real Solving of Polynomial Systems and ApplicationsICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
Communication dans un congrès
hal-01434761v1
|
|
Using Computer algebra tools for off-line studies of parallel manipulatorsInternational Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
Communication dans un congrès
hal-01434763v1
|
|
Design of filter and filter banks using dedicated Computer Algebra ToolsInternational Conference on Applications of Computer Algebra (ACA'99), Jun 1999, Madrid, Spain
Communication dans un congrès
hal-01434764v1
|
|
Application of Modules (RealSolving/FRISCO)MuPAD Workshop 1997, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434768v1
|
|
Polynomial system solving in practiceFoCM'97, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434770v1
|
|
PoSSo-RealSolving (Simultaneous Inequalities)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434773v1
|
|
Software for symbolic polynomial system solving: the PoSSo solverICIAM'95 - Hambourg, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434772v1
|
|
PoSSo-RealSolving (zero-dimensional system of polynomials)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434774v1
|
|
|
Real roots counting for some robotics problemsComputational Kinematics'95, Sep 1995, Nice (France), pp.73-82
Communication dans un congrès
inria-00000936v1
|
Special Issue : MEGA 2015Elsevier, 79 (1), pp.196, 2017
Ouvrages
hal-01412060v1
|
|
Polynomial system solvingAcademic Press, Inc., 44 (3), pp.1--221, 2009, 0747-7171. ⟨10.1016/j.jsc.2008.08.004⟩
Ouvrages
hal-01298875v1
|
On the effective computation of stabilizing controllers of 2D systemsJü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
|
|
|
Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural StabilityAlban 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
|
|
Using Maple to analyse parallel robotsJü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
|
|
Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robotJadran Lenarčič, Oussama Khatib. Advances in Robot Kinematics, Springer, pp.149 - 159, 2014, 978-3-319-06697-4
Chapitre d'ouvrage
hal-00956325v1
|
|
Ridges and Umbilics of Polynomial Parametric SurfacesB. 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 isolationCombinatorial and Computational Geometry, 52, Cambridge University Press, pp.459-478, 2005, MSRI Publications
Chapitre d'ouvrage
hal-01486849v1
|
|
Efficient algorithms based on critical points methodAlgorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science
Chapitre d'ouvrage
hal-01434757v1
|
|
Symbolic Recipes for Real SolutionsCohen, 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
inria-00098571v1
|
|
Real Root Counting For some Robotics problemsMerlet, J.P. Solid Mechanics & its Applications, 9 p, 1998
Chapitre d'ouvrage
inria-00098444v1
|
|
Symbolic Recipes for Polynomial System SolvingA.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
inria-00098570v1
|
|
Algorithmes pour l'étude des solutions réelles des systèmes polynomiauxCalcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007
HDR
tel-01435142v1
|
Dispositif d'échanges de données entre matériels informatiques1999
Autre publication scientifique
hal-01434765v1
|
|
RealSolving1998
Autre publication scientifique
inria-00098569v1
|