Fabrice Rouillier
110
Documents
Presentation
 **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.
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
Conference papers
hal-04483255v1
|
|
|
Certified Kinematic Tools for the Design and Control of Parallel Robots (Extended abstract)Mechanism and Machine Theory Symposium, Jun 2024, Guimarães, Portugal
Conference papers
hal-04646790v1
|
|
|
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⟩
Conference papers
hal-04116621v1
|
|
|
On the Geometry and the Topology of Parametric CurvesISSAC 2020 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
Conference papers
hal-02573423v2
|
Computation of the $\mathcal{L}_{\infty}$-norm of finite-dimensional linear systemsMaple Conference, Nov 2020, Waterloo, Canada
Conference papers
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⟩
Conference papers
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
Conference papers
hal-01667368v1
|
|
|
|
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
Conference papers
hal-01309190v1
|
|
|
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
Conference papers
hal-01366202v1
|
Foreword of MEGA 2015MEGA'2015 (Special Issue), Jun 2016, Trento, Italy
Conference papers
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⟩
Conference papers
hal-01363955v1
|
|
|
|
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
Conference papers
hal-01142989v1
|
|
|
Workspace and Singularity analysis of a Delta like family robot4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France
Conference papers
hal-01142465v1
|
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⟩
Conference papers
hal-01259968v1
|
|
On the sign of a trigonometric expressionISSAC ' 15, Jul 2015, Bath, United Kingdom. ⟨10.1145/2755996.2756664⟩
Conference papers
hal-01200820v1
|
|
|
|
Improved algorithm for computing separating linear forms for bivariate systemsISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan
Conference papers
hal-00992634v1
|
|
|
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
Conference papers
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⟩
Conference papers
hal-00935728v2
|
|
|
Separating Linear Forms for Bivariate SystemsISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124
Conference papers
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
Conference papers
hal-00809430v1
|
Computing Chebyshev knots diagramsMEGA 11, 2011, Unknown, Unknown Region
Conference papers
hal-01434749v1
|
|
|
|
New bivariate system solver and topology of algebraic curves27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
Conference papers
inria-00580431v1
|
|
|
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⟩
Conference papers
hal-00545445v1
|
On Solving Systems of Bivariate PolynomialsMathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.100-104, ⟨10.1007/978-3-642-15582-6_21⟩
Conference papers
hal-01110516v1
|
|
|
|
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⟩
Conference papers
inria-00425383v1
|
On Using Triangular Decomposition for Solving Parametric Polynomial SystemsMACIS'09, Dec 2009, Fukuoka, Japan. pp.1--1
Conference papers
hal-01298886v1
|
|
Explicit classification of the 9 first Haas parametric systemsADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. pp.1-1
Conference papers
hal-01305663v1
|
|
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⟩
Conference papers
hal-01111711v1
|
|
|
|
On The Topology of Planar Algebraic Curves24th European Workshop on Computational Geometry - EuroCG 2008, Mar 2008, Nancy, France. pp.213--216
Conference papers
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
Conference papers
hal-01352508v1
|
|
Ridges and umbilics of polynomial parametric surfacesComputational Methods for Algebraic Spline Surfaces II - COMPASS II, Sep 2005, Oslo, Norway. pp.1-1
Conference papers
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
Conference papers
hal-01434754v1
|
|
Polynomial System Solving for Industrial ProblemsSIAM Conference on Mathematics for Industry, Oct 2005, Detroit, MI, United States. pp.1-5
Conference papers
hal-01486850v1
|
|
On the Rational Univariate RepresentationInternational Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.75--79
Conference papers
hal-01434755v1
|
|
Solving Parametric Polynomial SystemsInternational Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.53-55
Conference papers
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
Conference papers
hal-01434756v1
|
|
Exact Computations and Real Roots of Polynomial SystemsAlgorithmic, Combinatorial and Applicable Real Algebraic Geometry, Apr 2004, Berkeley, CA, United States
Conference papers
hal-01497056v1
|
|
Real roots of parametric polynomial systems.The Eighth International Workshop on Mathematics Mechanization, Jun 2004, Beijing, China
Conference papers
hal-01497052v1
|
|
Real roots of parametric systems of polynomial equalities and inequalitiesWorkshop on Real Computation and Complexity, 2004, Rennes, France
Conference papers
hal-01503542v1
|
|
Efficient real solutions and robotics1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics, Feb 2003, Nice, France
Conference papers
hal-01531942v1
|
|
An environment for Symbolic and Numeric ComputationInternational Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
Conference papers
inria-00100984v1
|
|
Outils pour l'étude des zéros réels de systèmes algébriquesColloque Mathématiques Effectives, 2002, Poitiers, France
Conference papers
inria-00100994v1
|
|
A library for arbitrary precision interval arithmetic10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
Conference papers
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⟩
Conference papers
inria-00100987v1
|
|
Real Solving and parallel robotsWorkshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain
Conference papers
inria-00100993v1
|
|
Motivations for an arbitrary precision interval arithmetic and the mpfi librarySIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
Conference papers
inria-00100985v1
|
|
Computational problems related to positive polynomialsWorkshop on positive polynomials, 2002, Oberwolfach, Germany
Conference papers
inria-00100983v1
|
|
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
Conference papers
inria-00100992v1
|
|
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
Conference papers
hal-01434759v1
|
|
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
Conference papers
hal-01571753v1
|
|
Well-defined semantics for floating-point computations: the MPFR libraryMuPAD Workshop 2000, 2000, Unknown, Unknown Region
Conference papers
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⟩
Conference papers
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
Conference papers
inria-00110525v1
|
|
Real Solving of Polynomial Systems and ApplicationsICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
Conference papers
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
Conference papers
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
Conference papers
hal-01434764v1
|
|
Using Gröbner bases to compute higher order finite elements for ma\ss lumpingICIAM'99, Edimburgh, 1999, Unknown, Unknown Region
Conference papers
hal-01434762v1
|
|
Polynomial system solving in practiceFoCM'97, 1997, Unknown, Unknown Region
Conference papers
hal-01434770v1
|
|
Application of Modules (RealSolving/FRISCO)MuPAD Workshop 1997, 1997, Unknown, Unknown Region
Conference papers
hal-01434768v1
|
|
PoSSo-RealSolving (Simultaneous Inequalities)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Conference papers
hal-01434773v1
|
|
|
|
Real roots counting for some robotics problemsComputational Kinematics'95, Sep 1995, Nice (France), pp.73-82
Conference papers
inria-00000936v1
|
Software for symbolic polynomial system solving: the PoSSo solverICIAM'95 - Hambourg, 1995, Unknown, Unknown Region
Conference papers
hal-01434772v1
|
|
PoSSo-RealSolving (zero-dimensional system of polynomials)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Conference papers
hal-01434774v1
|
Special Issue : MEGA 2015Elsevier, 79 (1), pp.196, 2017
Books
hal-01412060v1
|
|
Polynomial system solvingAcademic Press, Inc., 44 (3), pp.1--221, 2009, 0747-7171. ⟨10.1016/j.jsc.2008.08.004⟩
Books
hal-01298875v1
|
|
|
On a Software Joint Velocity Limitation of a Spherical Parallel Manipulator with Coaxial Input ShaftsJadran 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⟩
Book sections
hal-04645118v1
|
|
|
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⟩
Book sections
hal-02907338v1
|
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
Book sections
hal-03070677v1
|
|
|
|
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⟩
Book sections
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
Book sections
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⟩
Book sections
inria-00329762v1
|
Bernstein's basis and real root isolationCombinatorial and Computational Geometry, 52, Cambridge University Press, pp.459-478, 2005, MSRI Publications
Book sections
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
Book sections
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⟩
Book sections
inria-00098571v1
|
|
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⟩
Book sections
inria-00098570v1
|
|
Real Root Counting For some Robotics problemsMerlet, J.P. Solid Mechanics & its Applications, 9 p, 1998
Book sections
inria-00098444v1
|
|
|
Algorithmes pour l'étude des solutions réelles des systèmes polynomiauxCalcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007
Habilitation à diriger des recherches
tel-01435142v1
|
Dispositif d'échanges de données entre matériels informatiques1999
Other publications
hal-01434765v1
|
|
RealSolving1998
Other publications
inria-00098569v1
|