Fabrice Rouillier

Joao Ruiz

CoRR, 2024

2023

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

[BibT_eX]

[DOI]

Maple Trans., 2023

PTOPO: Computing the geometry and the topology of parametric curves.

[BibT_eX]

[DOI]

Zafeirakis Zafeirakopoulos

J. Symb. Comput., 2023

Inertial Line-Of-Sight Stabilization Using a 3-DOF Spherical Parallel Manipulator with Coaxial Input Shafts.

[BibT_eX]

[DOI]

CoRR, 2023

L<sup>∞</sup>-norm computation for linear time-invariant systems depending on parameters.

[BibT_eX]

[DOI]

Alban Quadrat

Grace Younes

CoRR, 2023

On Isolating Roots in a Multiple Field Extension.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology.

[BibT_eX]

[DOI]

Discret. Comput. Geom., 2022

2021

PTOPO: Computing the Geometry and the Topology of Parametric Curves.

[BibT_eX]

[DOI]

CoRR, 2021

2020

PTOPO: a maple package for the topology of parametric curves.

[BibT_eX]

[DOI]

Zafeirakis Zafeirakopoulos

ACM Commun. Comput. Algebra, 2020

Computation of the ℒ<sub>∞ </sub>-norm of Finite-Dimensional Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

On the geometry and the topology of parametric curves.

[BibT_eX]

[DOI]

Zafeirakis Zafeirakopoulos

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Certified non-conservative tests for the structural stability of discrete multidimensional systems.

[BibT_eX]

[DOI]

Yacine Bouzidi

Alban Quadrat

Multidimens. Syst. Signal Process., 2019

Using Maple to Analyse Parallel Robots.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

On the Effective Computation of Stabilizing Controllers of 2D Systems.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2018

Computing Chebyshev knot diagrams.

[BibT_eX]

[DOI]

Daniel Pecker

Cuong Tran

J. Symb. Comput., 2018

2017

Bivariate triangular decompositions in the presence of asymptotes.

[BibT_eX]

[DOI]

Sylvain Lazard

Marc Pouget

J. Symb. Comput., 2017

Foreword.

[BibT_eX]

[DOI]

Jan Draisma

Giorgio Ottaviani

J. Symb. Comput., 2017

2016

Solving bivariate systems using Rational Univariate Representations.

[BibT_eX]

[DOI]

J. Complex., 2016

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

[BibT_eX]

[DOI]

Elisha Falbel

Antonin Guilloux

Morwen Thistlethwaite

Exp. Math., 2016

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

[BibT_eX]

[DOI]

Alexander Kobel

Michael Sagraloff

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

Separating linear forms and Rational Univariate Representations of bivariate systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Workspace and Singularity analysis of a Delta like family robot.

[BibT_eX]

[DOI]

CoRR, 2015

Computer algebra methods for testing the structural stability of multidimensional systems.

[BibT_eX]

[DOI]

Yacine Bouzidi

Alban Quadrat

Proceedings of the IEEE 9th International Workshop on Multidimensional (nD) Systems, 2015

On the Sign of a Trigonometric Expression.

[BibT_eX]

[DOI]

Cuong Tran

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

On the computation of the topology of plane curves.

[BibT_eX]

[DOI]

Daouda Niang Diatta

Marie-Françoise Roy

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Improved algorithm for computing separating linear forms for bivariate systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Local Rigidity for PGL(3, C)-Representations of 3-Manifold Groups.

[BibT_eX]

[DOI]

Nicolas Bergeron

Elisha Falbel

Antonin Guilloux

Exp. Math., 2013

Solving bivariate systems: Efficient worst-case algorithm for computing Rational Univariate Representations and applications

[BibT_eX]

[DOI]

CoRR, 2013

Separating linear forms for bivariate systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Rational univariate representations of bivariate systems and applications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

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

[BibT_eX]

[DOI]

CoRR, 2012

2010

On the Topology of Real Algebraic Plane Curves.

[BibT_eX]

[DOI]

Jin-San Cheng

Sylvain Lazard

Luis Mariano Peñaranda

Marc Pouget

Math. Comput. Sci., 2010

The first rational Chebyshev knots.

[BibT_eX]

[DOI]

Daniel Pecker

J. Symb. Comput., 2010

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

[BibT_eX]

[DOI]

CoRR, 2010

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

[BibT_eX]

[DOI]

CoRR, 2010

On Solving Systems of Bivariate Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2010

2009

Foreword.

[BibT_eX]

[DOI]

Jean-Charles Faugère

J. Symb. Comput., 2009

On the topology of planar algebraic curves.

[BibT_eX]

[DOI]

Jin-San Cheng

Sylvain Lazard

Luis Mariano Peñaranda

Marc Pouget

Proceedings of the 25th ACM Symposium on Computational Geometry, 2009

2008

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

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Comments on "A Blind Signal Separation Method for Multiuser Communications".

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2007

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

[BibT_eX]

[DOI]

Math. Comput. Sci., 2007

Solving parametric polynomial systems.

[BibT_eX]

[DOI]

Daniel Lazard

J. Symb. Comput., 2007

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

[BibT_eX]

[DOI]

, 2007

2006

The implicit structure of ridges of a smooth parametric surface.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2006

2005

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.

[BibT_eX]

[DOI]

Nathalie Revol

Reliab. Comput., 2005

2002

Real Solving for Positive Dimensional Systems.

[BibT_eX]

[DOI]

Philippe Aubry

Mohab Safey El Din

J. Symb. Comput., 2002

Using Computer Algebra Tools to Classify Serial Manipulators.

[BibT_eX]

[DOI]

Solen Corvez

Proceedings of the Automated Deduction in Geometry, 2002

2001

Efficient Algorithms Based on Critical Points Method.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, 2001

2000

Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation.

[BibT_eX]

[DOI]

Marie-Françoise Roy

Mohab Safey El Din

J. Complex., 2000

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study.

[BibT_eX]

[DOI]

Mohab Safey El Din

Éric Schost

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1999

Solving Zero-Dimensional Systems Through the Rational Univariate Representation.

[BibT_eX]

[DOI]

François Moreau de Saint-Martin

Appl. Algebra Eng. Commun. Comput., 1999

1998

Design of regular nonseparable bidimensional wavelets using Grobner basis techniques.

[BibT_eX]

[DOI]

Jean-Charles Faugère