default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarie-Françoise Roy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j32]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): 631-697 (2022)- [j31]Daniel Perrucci, Marie-Françoise Roy:
A new general formula for the Cauchy index on an interval with subresultants. J. Symb. Comput. 109: 465-481 (2022) - 2020
- [j30]Marie-Françoise Roy, Aviva Szpirglas:
Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation. J. Symb. Comput. 96: 85-107 (2020)
2010 – 2019
- 2019
- [i11]Helena Mihaljevic, Marie-Françoise Roy:
A data analysis of women's trails among ICM speakers. CoRR abs/1903.02543 (2019) - 2017
- [j29]Daniel Perrucci, Marie-Françoise Roy:
Elementary recursive quantifier elimination based on Thom encoding and sign determination. Ann. Pure Appl. Log. 168(8): 1588-1604 (2017) - 2016
- [i10]Daniel Perrucci, Marie-Françoise Roy:
Elementary recursive quantifier elimination based on Thom encoding and sign determination. CoRR abs/1609.02879 (2016) - 2014
- [j28]Saugata Basu, Marie-Françoise Roy:
Divide and Conquer Roadmap for Algebraic Sets. Discret. Comput. Geom. 52(2): 278-343 (2014) - [j27]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): 1117-1172 (2014) - [c17]Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy:
On the computation of the topology of plane curves. ISSAC 2014: 130-137 - 2013
- [j26]Marie-Françoise Roy, Sidi Mohamed Sedjelmaci:
New fast euclidean algorithms. J. Symb. Comput. 50: 208-226 (2013) - [i9]Daniel Perrucci, Marie-Françoise Roy:
Zero-nonzero and real-nonreal sign determination. CoRR abs/1305.4131 (2013) - 2012
- [c16]Marie-Françoise Roy:
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. ISSAC 2012: 3-5 - [i8]Saugata Basu, Marie-Françoise Roy, Mohab Safey El Din, Éric Schost:
A baby step-giant step roadmap algorithm for general algebraic sets. CoRR abs/1201.6439 (2012) - 2011
- [j25]Marie-Françoise Roy, Aviva Szpirglas:
Sylvester double sums and subresultants. J. Symb. Comput. 46(4): 385-395 (2011) - 2010
- [j24]Saugata Basu, Marie-Françoise Roy:
Bounding the radii of balls meeting every connected component of semi-algebraic sets. J. Symb. Comput. 45(12): 1270-1279 (2010)
2000 – 2009
- 2009
- [j23]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): 523-546 (2009) - [i7]Saugata Basu, Richard Leroy, Marie-Françoise Roy:
A bound on the minimum of a real positive polynomial over the standard simplex. CoRR abs/0902.3304 (2009) - [i6]Saugata Basu, Marie-Françoise Roy:
Bounding the radii of balls meeting every connected component of semi-algebraic sets. CoRR abs/0911.1340 (2009) - 2008
- [j22]Fatima Boudaoud, Fabrizio Caruso, Marie-Françoise Roy:
Certificates of Positivity in the Bernstein Basis. Discret. Comput. Geom. 39(4): 639-655 (2008) - [j21]Marie-Françoise Roy:
Quantitative results on quadratic semi-algebraic sets. Electron. Notes Discret. Math. 31: 129 (2008) - [j20]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
Computing the First Betti Number of a Semi-Algebraic Set. Found. Comput. Math. 8(1): 97-136 (2008) - 2007
- [i5]Saugata Basu, Dmitrii V. Pasechnik, Marie-Françoise Roy:
Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials. CoRR abs/0708.3522 (2007) - 2006
- [e1]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
Mathematics, Algorithms, Proofs, 9.-14. January 2005. Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i4]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets. CoRR abs/math/0603248 (2006) - [i3]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
An asymptotically tight bound on the number of connected components of realizable sign conditions. CoRR abs/math/0603256 (2006) - 2005
- [j19]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
Computing the euler-poincaré characteristics of sign conditions. Comput. Complex. 14(1): 53-71 (2005) - [j18]Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy:
Generalized Budan-Fourier theorem and virtual roots. J. Complex. 21(4): 479-486 (2005) - [j17]Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy:
Preface. J. Symb. Comput. 39(3-4): 257-258 (2005) - [c15]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
Computing the first Betti number and the connected components of semi-algebraic sets. STOC 2005: 304-312 - [p1]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
An elementary characterisation of Krull dimension. From sets and types to topology and analysis 2005 - [i2]Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005 - [i1]Marie-Françoise Roy:
Subdiscriminant of symmetric matrices are sums of squares. Mathematics, Algorithms, Proofs 2005 - 2001
- [j16]Michel Coste, Henri Lombardi, Marie-Françoise Roy:
Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Log. 111(3): 203-256 (2001) - [j15]Thomas Lickteig, Marie-Françoise Roy:
Sylvester-Habicht Sequences and Fast Cauchy Index Computation. J. Symb. Comput. 31(3): 315-341 (2001) - 2000
- [j14]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): 716-750 (2000) - [j13]Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din:
New Structure Theorem for Subresultants. J. Symb. Comput. 29(4-5): 663-689 (2000)
1990 – 1999
- 1998
- [c14]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: 25-29 - 1997
- [j12]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): 28-37 (1997) - 1996
- [j11]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
On the Combinatorial and Algebraic Complexity of Quantifier Elimination. J. ACM 43(6): 1002-1045 (1996) - [j10]Thomas Lickteig, Marie-Françoise Roy:
Semi-algebraic Complexity of Quotients and Sign Determination of Remainders. J. Complex. 12(4): 545-571 (1996) - [c13]Marie-Françoise Roy, Nicolai N. Vorobjov Jr.:
Computing the Complexification of a Semi-Algebraic Set. ISSAC 1996: 26-34 - [c12]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). STOC 1996: 168-173 - 1994
- [j9]Marie-Françoise Roy, Nicolai N. Vorobjov Jr.:
Finding Irreducible Components of Some Real Transcendental Varieties. Comput. Complex. 4: 107-132 (1994) - [j8]Joos Heintz, Marie-Françoise Roy, Pablo Solernó:
Description of the Connected Components of a Semialgebraic in Single Exponential Time. Discret. Comput. Geom. 11: 121-140 (1994) - [j7]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): 1-24 (1994) - [c11]Saugata Basu, Richard Pollack, Marie-Françoise Roy:
On the Combinatorial and Algebraic Complexity of Quantifier Elimination. FOCS 1994: 632-641 - [c10]Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy:
Examples of Automatic Theorem Proving a Real Geometry. ISSAC 1994: 20-24 - 1993
- [j6]Joos Heintz, Marie-Françoise Roy, Pablo Solernó:
On the Theoretical and Practical Complexity of the Existential Theory of Reals. Comput. J. 36(5): 427-431 (1993) - [c9]Marie-Françoise Roy:
Aspect Graphs of Algebraic Surfaces. ISSAC 1993: 135-143 - 1992
- [j5]Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy:
NC Algorithms for Real Algebraic Numbers. Appl. Algebra Eng. Commun. Comput. 3: 79-98 (1992) - 1990
- [j4]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: 561-588 (1990) - [j3]Marie-Françoise Roy, Aviva Szpirglas:
Complexity of the Computation on Real Algebraic Numbers. J. Symb. Comput. 10(1): 39-52 (1990) - [j2]Felipe Cucker, Marie-Françoise Roy:
A Theorem on Random Polynomials and Some Consequences in Average Complexity. J. Symb. Comput. 10(5): 405-410 (1990) - [c8]Joos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó:
Geometric Problems Solvable in Single Exponential Time. AAECC 1990: 11-23 - [c7]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: 180-196 - [c6]Joos Heintz, Tomás Recio, Marie-Françoise Roy:
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry 1990: 137-164
1980 – 1989
- 1989
- [c5]Joos Heintz, Pablo Solernó, Marie-Françoise Roy:
On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298 - [c4]Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy:
Sturm-Habicht Sequence. ISSAC 1989: 136-146 - 1988
- [j1]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): 121-129 (1988) - [c3]Dominique Duval, Marie-Françoise Roy:
Curves and Computer Algebra. Geometry and Robotics 1988: 28-42 - 1987
- [c2]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: 161-181 - 1985
- [c1]Marie-Françoise Roy:
Logique et géométrie algébrique réelle. Logic Colloquium 1985: 267-280
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
