Marie-Françoise Roy Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Marie-Françoise Roy: Bounding the radii of balls meeting every connected component of semi-algebraic sets CoRR abs/0911.1340: (2009)
2008
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFatima Boudaoud, Fabrizio Caruso, Marie-Françoise Roy: Certificates of Positivity in the Bernstein Basis. Discrete & Computational Geometry 39(4): 639-655 (2008)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy: Quantitative results on quadratic semi-algebraic sets. Electronic Notes in Discrete Mathematics 31: 129 (2008)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: Computing the First Betti Number of a Semi-Algebraic Set. Foundations of Computational Mathematics 8(1): 97-136 (2008)
2007
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Coquand, Henri Lombardi, Marie-Françoise Roy: Mathematics, Algorithms, Proofs, 9.-14. January 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Coquand, Henri Lombardi, Marie-Françoise Roy: 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Mathematics, Algorithms, Proofs 2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy: Subdiscriminant of symmetric matrices are sums of squares. Mathematics, Algorithms, Proofs 2005
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: Computing the first Betti number and the connected components of semi-algebraic sets. STOC 2005: 304-312
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: Computing the euler-poincaré characteristics of sign conditions. Computational Complexity 14(1): 53-71 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Coste, Tomás Lajous-Loaeza, Henri Lombardi, Marie-Françoise Roy: Generalized Budan-Fourier theorem and virtual roots. J. Complexity 21(4): 479-486 (2005)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy: Preface. J. Symb. Comput. 39(3-4): 257-258 (2005)
2001
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Coste, Henri Lombardi, Marie-Françoise Roy: Dynamical method in algebra: effective Nullstellensätze. Ann. Pure Appl. Logic 111(3): 203-256 (2001)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Lickteig, Marie-Françoise Roy: Sylvester-Habicht Sequences and Fast Cauchy Index Computation. J. Symb. Comput. 31(3): 315-341 (2001)
2000
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice 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. Complexity 16(4): 716-750 (2000)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Lombardi, Marie-Françoise Roy, Mohab Safey El Din: New Structure Theorem for Subresultants. J. Symb. Comput. 29(4-5): 663-689 (2000)
1998
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata 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. Complexity 13(1): 28-37 (1997)
1996
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy, Nicolai Vorobjov: Computing the Complexification of a Semi-Algebraic Set. ISSAC 1996: 26-34
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). STOC 1996: 168-173
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: On the Combinatorial and Algebraic Complexity of Quantifier Elimination. J. ACM 43(6): 1002-1045 (1996)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Lickteig, Marie-Françoise Roy: Semi-algebraic Complexity of Quotients and Sign Determination of Remainders. J. Complexity 12(4): 545-571 (1996)
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaugata Basu, Richard Pollack, Marie-Françoise Roy: On the Combinatorial and Algebraic Complexity of Quantifier Elimination FOCS 1994: 632-641
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Guergueb, Jean Mainguené, Marie-Françoise Roy: Examples of Automatic Theorem Proving a Real Geometry. ISSAC 1994: 20-24
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy, Nicolai Vorobjov: Finding Irreducible Components of Some Real Transcendental Varieties. Computational Complexity 4: 107-132 (1994)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Marie-Françoise Roy, Pablo Solernó: Description of the Connected Components of a Semialgebraic in Single Exponential Time. Discrete & Computational Geometry 11: 121-140 (1994)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm. ITA 28(1): 1-24 (1994)
1993
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy: Aspect Graphs of Algebraic Surfaces. ISSAC 1993: 135-143
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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)
1992
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelipe 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Teresa Krick, Marie-Françoise Roy, Pablo Solernó: Geometric Problems Solvable in Single Exponential Time. AAECC 1990: 11-23
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm et sous-résulants. ITA 24: 561- (1990)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy, A. Szpirglas: Complexity of the Computation on Real Algebraic Numbers. J. Symb. Comput. 10(1): 39-52 (1990)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelipe Cucker, Marie-Françoise Roy: Kac's Theorem on the Number of Real Roots and its Consequences in Average Complexity. J. Symb. Comput. 10(5): 405-410 (1990)
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoos Heintz, Pablo Solernó, Marie-Françoise Roy: On the Complexity of Semialgebraic Sets. IFIP Congress 1989: 293-298
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLL. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Duval, Marie-Françoise Roy: Curves and Computer Algebra. Geometry and Robotics 1988: 28-42
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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)
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelipe 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Françoise Roy: Logique et géométrie algébrique réelle. Logic Colloquium 1985: 267-280

Coauthor Index

1Saugata Basu [19] [21] [22] [24] [25] [32] [33] [36] [37] [39] [40] [43] [44]
2Fatima Boudaoud [42]
3Fabrizio Caruso [42]
4Arjeh M. Cohen [30]
5Thierry Coquand [35] [38]
6Michel Coste [3] [29] [31]
7Felipe Cucker [2] [7] [12]
8Mohab Safey El Din [26] [27]
9Dominique Duval [4]
10L. Gonzalez [5]
11Laureano González-Vega [9] [15]
12Gert-Martin Greuel [30]
13Ahmed Guergueb [18]
14Joos Heintz [6] [10] [11] [13] [16]
15Teresa Krick [11]
16Tomás Lajous-Loaeza [31]
17Hervé Lanneau [12]
18Richard Leroy [44]
19Thomas Lickteig [20] [28]
20Henri Lombardi [5] [9] [15] [26] [29] [31] [35] [38]
21Jean Mainguené [18]
22Bud Mishra (Bhubaneswar Mishra) [12]
23Luis M. Pardo (Luis Miguel Pardo) [2]
24Dmitrii V. Pasechnik [39]
25Paul Pedersen [12]
26Richard Pollack [19] [21] [22] [24] [25] [32] [33] [36] [37] [40]
27Mario Raimondo [2]
28Tomás Recio [2] [5] [9] [15]
29Fabrice Rouillier [27]
30Pablo Solernó [6] [10] [11] [13] [16]
31A. Szpirglas [8]
32Nicolai Vorobjov [17] [23]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)