Marie-Françoise Roy

62 papers A* 3B 7Journal 41Unranked 9

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