The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marie-Françoise Roy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    AAECC, 1987, pp:161-181 [Conf]
  2. Joos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó
    Geometric Problems Solvable in Single Exponential Time. [Citation Graph (0, 0)][DBLP]
    AAECC, 1990, pp:11-23 [Conf]
  3. Joos Heintz, Marie-Françoise Roy, Pablo Solernó
    Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. [Citation Graph (0, 0)][DBLP]
    AAECC, 1990, pp:180-196 [Conf]
  4. Thierry Coquand, Henri Lombardi, Marie-Françoise Roy
    05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  5. Marie-Françoise Roy
    Subdiscriminant of symmetric matrices are sums of squares. [Citation Graph (0, 0)][DBLP]
    Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
  6. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    On the Combinatorial and Algebraic Complexity of Quantifier Elimination [Citation Graph (0, 0)][DBLP]
    FOCS, 1994, pp:632-641 [Conf]
  7. Dominique Duval, Marie-Françoise Roy
    Curves and Computer Algebra. [Citation Graph (0, 0)][DBLP]
    Geometry and Robotics, 1988, pp:28-42 [Conf]
  8. Joos Heintz, Pablo Solernó, Marie-Françoise Roy
    On the Complexity of Semialgebraic Sets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:293-298 [Conf]
  9. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:25-29 [Conf]
  10. L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Sturm-Habicht Sequence. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:136-146 [Conf]
  11. Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy
    Examples of Automatic Theorem Proving a Real Geometry. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1994, pp:20-24 [Conf]
  12. Marie-Françoise Roy
    Aspect Graphs of Algebraic Surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1993, pp:135-143 [Conf]
  13. Marie-Françoise Roy, Nicolai Vorobjov
    Computing the Complexification of a Semi-Algebraic Set. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1996, pp:26-34 [Conf]
  14. Marie-Françoise Roy
    Logique et géométrie algébrique réelle. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:267-280 [Conf]
  15. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    Computing the first Betti number and the connected components of semi-algebraic sets. [Citation Graph (0, 0)][DBLP]
    STOC, 2005, pp:304-312 [Conf]
  16. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    STOC, 1996, pp:168-173 [Conf]
  17. Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy
    NC Algorithms for Real Algebraic Numbers. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1992, v:3, n:, pp:79-98 [Journal]
  18. Michel Coste, Henri Lombardi, Marie-Françoise Roy
    Dynamical method in algebra: effective Nullstellensätze. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:111, n:3, pp:203-256 [Journal]
  19. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    Computing the euler-poincaré characteristics of sign conditions. [Citation Graph (0, 0)][DBLP]
    Computational Complexity, 2005, v:14, n:1, pp:53-71 [Journal]
  20. Marie-Françoise Roy, Nicolai Vorobjov
    Finding Irreducible Components of Some Real Transcendental Varieties. [Citation Graph (0, 0)][DBLP]
    Computational Complexity, 1994, v:4, n:, pp:107-132 [Journal]
  21. Joos Heintz, Marie-Françoise Roy, Pablo Solernó
    On the Theoretical and Practical Complexity of the Existential Theory of Reals. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:427-431 [Journal]
  22. Joos Heintz, Marie-Françoise Roy, Pablo Solernó
    Description of the Connected Components of a Semialgebraic in Single Exponential Time. [Citation Graph (0, 0)][DBLP]
    Discrete & Computational Geometry, 1994, v:11, n:, pp:121-140 [Journal]
  23. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Spécialisation de la suite de Sturm. [Citation Graph (0, 0)][DBLP]
    ITA, 1994, v:28, n:1, pp:1-24 [Journal]
  24. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
    Spécialisation de la suite de Sturm et sous-résulants. [Citation Graph (0, 0)][DBLP]
    ITA, 1990, v:24, n:, pp:561-0 [Journal]
  25. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    On the Combinatorial and Algebraic Complexity of Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1996, v:43, n:6, pp:1002-1045 [Journal]
  26. 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. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 1997, v:13, n:1, pp:28-37 [Journal]
  27. Michel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy
    Generalized Budan-Fourier theorem and virtual roots. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 2005, v:21, n:4, pp:479-486 [Journal]
  28. Thomas Lickteig, Marie-Françoise Roy
    Semi-algebraic Complexity of Quotients and Sign Determination of Remainders. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 1996, v:12, n:4, pp:545-571 [Journal]
  29. 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. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 2000, v:16, n:4, pp:716-750 [Journal]
  30. Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy
    Preface. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:3-4, pp:257-258 [Journal]
  31. 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. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:121-129 [Journal]
  32. Felipe Cucker, Marie-Françoise Roy
    Kac's Theorem on the Number of Real Roots and its Consequences in Average Complexity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1990, v:10, n:5, pp:405-410 [Journal]
  33. Thomas Lickteig, Marie-Françoise Roy
    Sylvester-Habicht Sequences and Fast Cauchy Index Computation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:31, n:3, pp:315-341 [Journal]
  34. Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
    New Structure Theorem for Subresultants. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:4-5, pp:663-689 [Journal]
  35. Marie-Françoise Roy, A. Szpirglas
    Complexity of the Computation on Real Algebraic Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1990, v:10, n:1, pp:39-52 [Journal]
  36. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  37. Saugata Basu, Richard Pollack, Marie-Françoise Roy
    An asymptotically tight bound on the number of connected components of realizable sign conditions [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  38. Saugata Basu, Dmitrii V. Pasechnik, Marie-Françoise Roy
    Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  39. A bound on the minimum of a real positive polynomial over the standard simplex [Citation Graph (, )][DBLP]


  40. Bounding the radii of balls meeting every connected component of semi-algebraic sets [Citation Graph (, )][DBLP]


  41. Certificates of Positivity in the Bernstein Basis. [Citation Graph (, )][DBLP]


Search in 0.419secs, Finished in 0.420secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002