Marie-Françoise Roy

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 6

Top Topics

African American

Quantifier Elimination

Parametric Curves

Top Venues

J. Symb. Comput.

Discret. Comput. Geom.

Publications

Daniel Perrucci, Marie-Françoise Roy
A new general formula for the Cauchy index on an interval with subresultants. J. Symb. Comput. 109 (2022)
Daouda Niang Diatta, Sény Diatta, Fabrice Rouillier, Marie-Françoise Roy, Michael Sagraloff
Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology. Discret. Comput. Geom. 67 (3) (2022)
Marie-Françoise Roy, Aviva Szpirglas
Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation. J. Symb. Comput. 96 (2020)
Helena Mihaljevic, Marie-Françoise Roy
A data analysis of women's trails among ICM speakers. CoRR (2019)
Daniel Perrucci, Marie-Françoise Roy
Elementary recursive quantifier elimination based on Thom encoding and sign determination. Ann. Pure Appl. Log. 168 (8) (2017)
Daniel Perrucci, Marie-Françoise Roy
Elementary recursive quantifier elimination based on Thom encoding and sign determination. CoRR (2016)
Saugata Basu, Marie-Françoise Roy
Divide and Conquer Roadmap for Algebraic Sets. Discret. Comput. Geom. 52 (2) (2014)
Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy
On the computation of the topology of plane curves. ISSAC (2014)
Saugata Basu, Marie-Françoise Roy, Mohab Safey El Din, Éric Schost
A Baby Step-Giant Step Roadmap Algorithm for General Algebraic Sets. Found. Comput. Math. 14 (6) (2014)
Marie-Françoise Roy, Sidi Mohamed Sedjelmaci
New fast euclidean algorithms. J. Symb. Comput. 50 (2013)
Daniel Perrucci, Marie-Françoise Roy
Zero-nonzero and real-nonreal sign determination CoRR (2013)
Saugata Basu, Marie-Françoise Roy, Mohab Safey El Din, Éric Schost
A baby step-giant step roadmap algorithm for general algebraic sets CoRR (2012)
Marie-Françoise Roy
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. ISSAC (2012)
Marie-Françoise Roy, Aviva Szpirglas
Sylvester double sums and subresultants. J. Symb. Comput. 46 (4) (2011)
Saugata Basu, Marie-Françoise Roy
Bounding the radii of balls meeting every connected component of semi-algebraic sets. J. Symb. Comput. 45 (12) (2010)
Saugata Basu, Richard Leroy, Marie-Françoise Roy
A bound on the minimum of a real positive polynomial over the standard simplex CoRR (2009)
Saugata Basu, Marie-Françoise Roy
Bounding the radii of balls meeting every connected component of semi-algebraic sets CoRR (2009)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions. Comb. 29 (5) (2009)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Computing the First Betti Number of a Semi-Algebraic Set. Found. Comput. Math. 8 (1) (2008)
Fatima Boudaoud, Fabrizio Caruso, Marie-Françoise Roy
Certificates of Positivity in the Bernstein Basis. Discret. Comput. Geom. 39 (4) (2008)
Marie-Françoise Roy
Quantitative results on quadratic semi-algebraic sets. Electron. Notes Discret. Math. 31 (2008)
Saugata Basu, Dmitrii V. Pasechnik, Marie-Françoise Roy
Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials CoRR (2007)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets CoRR (2006)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
An asymptotically tight bound on the number of connected components of realizable sign conditions CoRR (2006)
Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy
Preface. J. Symb. Comput. 39 (3-4) (2005)
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs (2005)
Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy
Generalized Budan-Fourier theorem and virtual roots. J. Complex. 21 (4) (2005)
Marie-Françoise Roy
Subdiscriminant of symmetric matrices are sums of squares. Mathematics, Algorithms, Proofs (2005)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Computing the euler-poincaré characteristics of sign conditions. Comput. Complex. 14 (1) (2005)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Computing the first Betti number and the connected components of semi-algebraic sets. STOC (2005)
Thomas Lickteig, Marie-Françoise Roy
Sylvester-Habicht Sequences and Fast Cauchy Index Computation. J. Symb. Comput. 31 (3) (2001)
Michel Coste, Henri Lombardi, Marie-Françoise Roy
Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Log. 111 (3) (2001)
Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
New Structure Theorem for Subresultants. J. Symb. Comput. 29 (4-5) (2000)
Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din
Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation. J. Complex. 16 (4) (2000)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set. ISSAC (1998)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
On Computing a Set of Points Meeting Every Cell Defined by a Family of Polynomials on a Variety. J. Complex. 13 (1) (1997)
Marie-Françoise Roy, Nicolai N. Vorobjov Jr.
Computing the Complexification of a Semi-Algebraic Set. ISSAC (1996)
Thomas Lickteig, Marie-Françoise Roy
Semi-algebraic Complexity of Quotients and Sign Determination of Remainders. J. Complex. 12 (4) (1996)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). STOC (1996)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
On the Combinatorial and Algebraic Complexity of Quantifier Elimination. J. ACM 43 (6) (1996)
Marie-Françoise Roy, Nicolai N. Vorobjov Jr.
Finding Irreducible Components of Some Real Transcendental Varieties. Comput. Complex. 4 (1994)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm. RAIRO Theor. Informatics Appl. 28 (1) (1994)
Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy
Examples of Automatic Theorem Proving a Real Geometry. ISSAC (1994)
Joos Heintz, Marie-Françoise Roy, Pablo Solernó
Description of the Connected Components of a Semialgebraic in Single Exponential Time. Discret. Comput. Geom. 11 (1994)
Saugata Basu, Richard Pollack, Marie-Françoise Roy
On the Combinatorial and Algebraic Complexity of Quantifier Elimination FOCS (1994)
Marie-Françoise Roy
Aspect Graphs of Algebraic Surfaces. ISSAC (1993)
Joos Heintz, Marie-Françoise Roy, Pablo Solernó
On the Theoretical and Practical Complexity of the Existential Theory of Reals. Comput. J. 36 (5) (1993)
Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy
NC Algorithms for Real Algebraic Numbers. Appl. Algebra Eng. Commun. Comput. 3 (1992)
Joos Heintz, Tomás Recio, Marie-Françoise Roy
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry (1990)
Joos Heintz, Marie-Françoise Roy, Pablo Solernó
Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. AAECC (1990)
Felipe Cucker, Marie-Françoise Roy
A Theorem on Random Polynomials and Some Consequences in Average Complexity. J. Symb. Comput. 10 (5) (1990)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm et sous-résulants. RAIRO Theor. Informatics Appl. 24 (1990)
Joos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó
Geometric Problems Solvable in Single Exponential Time. AAECC (1990)
Marie-Françoise Roy, Aviva Szpirglas
Complexity of the Computation on Real Algebraic Numbers. J. Symb. Comput. 10 (1) (1990)
L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Sturm-Habicht Sequence. ISSAC (1989)
Joos Heintz, Pablo Solernó, Marie-Françoise Roy
On the Complexity of Semialgebraic Sets. IFIP Congress (1989)
Dominique Duval, Marie-Françoise Roy
Curves and Computer Algebra. Geometry and Robotics (1988)
Michel Coste, Marie-Françoise Roy
Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets. J. Symb. Comput. 5 (1/2) (1988)
Felipe Cucker, Luis Miguel Pardo, Mario Raimondo, Tomás Recio, Marie-Françoise Roy
On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. AAECC (1987)
Marie-Françoise Roy
Logique et géométrie algébrique réelle. Logic Colloquium (1985)