
Fabrice Rouillier
111
Documents
Présentation
Publications
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-04483255
v1
|
|
Certified Kinematic Tools for the Design and Control of Parallel Robots (Extended abstract)Mechanism and Machine Theory Symposium, Jun 2024, Guimarães, Portugal
Communication dans un congrès
hal-04646790
v1
|
|
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-04116621
v1
|
Computation of the $\mathcal{L}_{\infty}$-norm of finite-dimensional linear systemsMaple Conference, Nov 2020, Waterloo, Canada
Communication dans un congrès
hal-03073801
v1
|
|
|
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-02419719
v1
|
|
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-02573423
v2
|
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-01667368
v1
|
|
Foreword of MEGA 2015MEGA'2015 (Special Issue), Jun 2016, Trento, Italy
Communication dans un congrès
hal-01351031
v1
|
|
|
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-01363955
v1
|
|
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-01309190
v1
|
|
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-01366202
v1
|
|
On the sign of a trigonometric expressionISSAC ' 15, Jul 2015, Bath, United Kingdom. ⟨10.1145/2755996.2756664⟩
Communication dans un congrès
hal-01200820
v1
|
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-01259968
v1
|
|
|
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-01142465
v1
|
|
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-01142989
v1
|
|
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-00935728
v2
|
|
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-01006614
v1
|
|
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-00992634
v1
|
|
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-00809425
v1
|
|
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-00809430
v1
|
|
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-00580431
v1
|
Computing Chebyshev knots diagramsMEGA 11, 2011, Unknown, Unknown Region
Communication dans un congrès
hal-01434749
v1
|
|
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
istex
hal-01110516
v1
|
|
|
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-00545445
v1
|
On Using Triangular Decomposition for Solving Parametric Polynomial SystemsMACIS'09, Dec 2009, Fukuoka, Japan. pp.1--1
Communication dans un congrès
hal-01298886
v1
|
|
|
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-00425383
v1
|
|
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-00329754
v1
|
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-01111711
v1
|
|
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-01305663
v1
|
|
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-01352508
v1
|
|
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-01434754
v1
|
|
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-01486850
v1
|
|
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-01434753
v1
|
|
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-01497056
v1
|
|
Real roots of parametric polynomial systems.The Eighth International Workshop on Mathematics Mechanization, Jun 2004, Beijing, China
Communication dans un congrès
hal-01497052
v1
|
|
Real roots of parametric systems of polynomial equalities and inequalitiesWorkshop on Real Computation and Complexity, 2004, Rennes, France
Communication dans un congrès
hal-01503542
v1
|
|
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-01434756
v1
|
|
Solving Parametric Polynomial SystemsInternational Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.53-55
Communication dans un congrès
hal-01520939
v1
|
|
On the Rational Univariate RepresentationInternational Conference on Polynomial System Solving, Nov 2004, Paris, France. pp.75--79
Communication dans un congrès
hal-01434755
v1
|
|
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-01531942
v1
|
|
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-00100994
v1
|
|
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-00100984
v1
|
|
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-00100992
v1
|
|
Computational problems related to positive polynomialsWorkshop on positive polynomials, 2002, Oberwolfach, Germany
Communication dans un congrès
inria-00100983
v1
|
|
Real Solving and parallel robotsWorkshop on Computations and Applications in RAAG 2002, 2002, Santander, Spain
Communication dans un congrès
inria-00100993
v1
|
|
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-00100985
v1
|
|
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-01434758
v1
|
|
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
istex
inria-00100987
v1
|
|
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-01434759
v1
|
|
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-01571753
v1
|
|
Well-defined semantics for floating-point computations: the MPFR libraryMuPAD Workshop 2000, 2000, Unknown, Unknown Region
Communication dans un congrès
hal-01434760
v1
|
|
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
istex
inria-00099276
v1
|
|
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-00110525
v1
|
|
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-01434762
v1
|
|
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-01434763
v1
|
|
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-01434764
v1
|
|
Real Solving of Polynomial Systems and ApplicationsICIAM'99 - Edhimburg, 1999, Unknown, Unknown Region
Communication dans un congrès
hal-01434761
v1
|
|
Application of Modules (RealSolving/FRISCO)MuPAD Workshop 1997, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434768
v1
|
|
Polynomial system solving in practiceFoCM'97, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434770
v1
|
|
Software for symbolic polynomial system solving: the PoSSo solverICIAM'95 - Hambourg, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434772
v1
|
|
PoSSo-RealSolving (zero-dimensional system of polynomials)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434774
v1
|
|
|
Real roots counting for some robotics problemsComputational Kinematics'95, Sep 1995, Nice (France), pp.73-82
Communication dans un congrès
inria-00000936
v1
|
PoSSo-RealSolving (Simultaneous Inequalities)Proceedings of the PoSSo-workshop on software, 1995, Unknown, Unknown Region
Communication dans un congrès
hal-01434773
v1
|
Special Issue : MEGA 2015Elsevier, 79 (1), pp.196, 2017
Ouvrages
hal-01412060
v1
|
|
|
Polynomial system solvingAcademic Press, Inc., 44 (3), pp.1--221, 2009, 0747-7171. ⟨10.1016/j.jsc.2008.08.004⟩
Ouvrages
hal-01298875
v1
|
|
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⟩
Chapitre d'ouvrage
hal-04645118
v1
|
|
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-02289699
v1
|
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-03070677
v1
|
|
|
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-02907338
v1
|
|
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-00956325
v1
|
|
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-00329762
v1
|
Bernstein's basis and real root isolationCombinatorial and Computational Geometry, 52, Cambridge University Press, pp.459-478, 2005, MSRI Publications
Chapitre d'ouvrage
hal-01486849
v1
|
|
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-01434757
v1
|
|
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
istex
inria-00098571
v1
|
|
Real Root Counting For some Robotics problemsMerlet, J.P. Solid Mechanics & its Applications, 9 p, 1998
Chapitre d'ouvrage
inria-00098444
v1
|
|
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
istex
inria-00098570
v1
|
|
Algorithmes pour l'étude des solutions réelles des systèmes polynomiauxCalcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007
HDR
tel-01435142
v1
|
Dispositif d'échanges de données entre matériels informatiques1999
Autre publication scientifique
hal-01434765
v1
|
|
RealSolving1998
Autre publication scientifique
inria-00098569
v1
|
Chargement...
Chargement...