Concepedia

Marie-Françoise Roy

MR

32

Publications

1.5K

Citations

19

H-Index

1988

Active since

Affiliations

Université de Rennes(Current)

Institut de recherche mathématique de Rennes

Centre National de la Recherche Scientifique

New York University

Courant Institute of Mathematical Sciences

Marie-Françoise Roy is an author at Université de Rennes specializing in engineering, discrete mathematics, and computational complexity.

Top concepts

EngineeringDiscrete MathematicsComputational ComplexityComputer ScienceAlgebraic ComplexityFunctional AnalysisSpectral TheoryApproximation TheoryGomory-chvátal TheoryMathematical Programming

Publications per year

1988–2022

32

Publications

32

On the combinatorial and algebraic complexity of quantifier elimination

Saugata Basu, Richard Pollack, Marie-Françoise Roy · Journal of the ACM · 1996 · 314 citations · Full text

Engineering, Abstract Complexity, Automated Reasoning +12

Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets

Michel Coste, Marie-Françoise Roy · Journal of Symbolic Computation · 1988 · 124 citations

Schubert Calculus, Semi-algebraic Sets, Real Algebraic Numbers +3

Computing roadmaps of semi-algebraic sets on a variety

Saugata Basu, Richard Pollack, Marie-Françoise Roy · Journal of the American Mathematical Society · 1999 · 97 citations · Full text

Sylvester–Habicht Sequences and Fast Cauchy Index Computation

Thomas Lickteig, Marie-Françoise Roy · Journal of Symbolic Computation · 2001 · 96 citations

Matrix Theory, Validated Numerics, Matrix Analysis +1

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 · 92 citations

Real Algebraic Set, Connected Component, Single Equation +1

Rows per page

1–5 of 32