Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Roy, Marie-Fran{\c{c}}oise"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
New fast Euclidean algorithms
Marie-Françoise Roy
,
Sidi Mohamed Sedjelmaci
Journal Symbolic Computation
50
, 2013, pp. 208-226
Complexity of deciding connectivity in real algebraic sets: recent results and future research directions
Marie-Françoise Roy
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)
, 2012, pp. 3-5
Sylvester double sums and subresultants
Marie-Françoise Roy
,
Aviva Szpirglas
Journal Symbolic Computation
46
(4), 2011, pp. 385-395
Bounding the radii of balls meeting every connected component of semi-algebraic sets
Saugata Basu
,
Marie-Françoise Roy
Journal Symbolic Computation
45
(12), 2010, pp. 1270-1279
An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Combinatorica
29
(5), 2009, pp. 523-546
Computing the first Betti number and the connected components of semi-algebraic sets
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Proceedings of the 37th Annual ACM Symposium on Theory of Computing, STOC'2005 (Baltimore, Maryland, USA, May 22-24, 2005)
, 2005, pp. 304-312
Generalized Budan-Fourier theorem and virtual roots
Michel Coste
,
Tomás Lajous-Loaeza
,
Henri Lombardi
,
Marie-Françoise Roy
Journal of Complexity
21
(4), 2005, pp. 479-486
Sylvester-Habicht sequences and fast Cauchy index computation
Thomas Lickteig
,
Marie-Françoise Roy
Journal Symbolic Computation
31
(3), 2001, pp. 315-341
New structure theorem for subresultants
Henri Lombardi
,
Marie-Françoise Roy
,
Mohab Safey El Din
Journal Symbolic Computation
29
(4-5), 2000, pp. 663-690
Symbolic recipes for real solutions
Laureano Gonzalez-Vega
,
Fabrice Rouillier
,
Marie-Françoise Roy
,
Guadalupe Trujillo
Algorithms and Computation in Mathematics
4
, 1999, pp. 121-167
Symbolic recipes for polynomial system solving
Laureano Gonzalez-Vega
,
Fabrice Rouillier
,
Marie-Françoise Roy
Algorithms and Computation in Mathematics
4
, 1999, pp. 34-65
Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998)
, 1998, pp. 25-29
A new algorithm to find a point in every cell defined by a family of polynomials
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Texts and Monographs in Symbolic Computation
, 1998, pp. 341-350
Real Algebraic Geometry
Jacek Bochnak
,
Michel Coste
,
Marie-Françoise Roy
Ergebnisse der Mathematik und ihrer Grenzgebiete
36
, 1998, pp. ix, 430
Computing roadmaps of semi-algebraic sets on a variety
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Proceedings of the International Conference on Foundations of Computational Mathematics, FoCM'97 (Rio de Janeiro, Brazil, January 5-12, 1997)
, 1997, pp. 1-15
On computing a set of points meeting every cell defined by a family of polynomials on a variety
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Journal of Complexity
13
(1), 1997, pp. 28-37
Semi-algebraic complexity of quotients and sign determination of remainders
Thomas Lickteig
,
Marie-Françoise Roy
Journal of Complexity
12
(4), 1996, pp. 545-571
Computing the complexification of a semi-algebraic set
Marie-Françoise Roy
,
Nicolai Vorobjov
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996)
, 1996, pp. 26-34
Examples of automatic theorem proving in real geometry
Ahmed Guergueb
,
Jean Mainguené
,
Marie-Françoise Roy
Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation, ISSAC'94 (Oxford, England, United Kingdom, July 20-22, 1994)
, 1994, pp. 20-24
Aspect graphs of algebraic surfaces
Marie-Françoise Roy
,
Thierry van Effelterre
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC'93 (Kiev, Ukraine, July 6-8, 1993)
, 1993, pp. 135-143
Geometric problems solvable in single exponential time.
Joos Heintz
,
Teresa Krick
,
Marie-Françoise Roy
,
Pablo Solernó
Lecture Notes in Computer Science
508
, 1991, pp. 11-23
Complexity of computation on real algebraic numbers
Marie-Françoise Roy
,
Aviva Szpirglas
Journal Symbolic Computation
10
, 1990, pp. 39-51
Sturm-Habicht sequence
Laureano González
,
Henri Lombardi
,
Tomàs Recio
,
Marie-Françoise Roy
Proceedings of the 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC'89 (Portland, Oregon, July 17-19, 1989)
, 1989, pp. 136-146
On the complexity of semialgebraic sets
Joos Heintz
,
Marie-Françoise Roy
,
Pablo Solernó
misc, 1988