Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marie-Françoise Roy
@article{DBLP:journals/dcg/DiattaDRRS22,
author = {Daouda Niang Diatta and
S{\'{e}}ny Diatta and
Fabrice Rouillier and
Marie{-}Fran{\c{c}}oise Roy and
Michael Sagraloff},
title = {Bounds for Polynomials on Algebraic Numbers and Application to Curve
Topology},
journal = {Discret. Comput. Geom.},
volume = {67},
number = {3},
pages = {631--697},
year = {2022},
url = {https://doi.org/10.1007/s00454-021-00353-w},
doi = {10.1007/S00454-021-00353-W},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcg/DiattaDRRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PerrucciR22,
author = {Daniel Perrucci and
Marie{-}Fran{\c{c}}oise Roy},
title = {A new general formula for the Cauchy index on an interval with subresultants},
journal = {J. Symb. Comput.},
volume = {109},
pages = {465--481},
year = {2022},
url = {https://doi.org/10.1016/j.jsc.2020.07.016},
doi = {10.1016/J.JSC.2020.07.016},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/PerrucciR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS20,
author = {Marie{-}Fran{\c{c}}oise Roy and
Aviva Szpirglas},
title = {Sylvester double sums, subresultants and symmetric multivariate Hermite
interpolation},
journal = {J. Symb. Comput.},
volume = {96},
pages = {85--107},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.02.013},
doi = {10.1016/J.JSC.2019.02.013},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/RoyS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-02543,
author = {Helena Mihaljevic and
Marie{-}Fran{\c{c}}oise Roy},
title = {A data analysis of women's trails among {ICM} speakers},
journal = {CoRR},
volume = {abs/1903.02543},
year = {2019},
url = {http://arxiv.org/abs/1903.02543},
eprinttype = {arXiv},
eprint = {1903.02543},
timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-02543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/PerrucciR17,
author = {Daniel Perrucci and
Marie{-}Fran{\c{c}}oise Roy},
title = {Elementary recursive quantifier elimination based on Thom encoding
and sign determination},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {8},
pages = {1588--1604},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2017.03.001},
doi = {10.1016/J.APAL.2017.03.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/PerrucciR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PerrucciR16,
author = {Daniel Perrucci and
Marie{-}Fran{\c{c}}oise Roy},
title = {Elementary recursive quantifier elimination based on Thom encoding
and sign determination},
journal = {CoRR},
volume = {abs/1609.02879},
year = {2016},
url = {http://arxiv.org/abs/1609.02879},
eprinttype = {arXiv},
eprint = {1609.02879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PerrucciR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/BasuR14,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy},
title = {Divide and Conquer Roadmap for Algebraic Sets},
journal = {Discret. Comput. Geom.},
volume = {52},
number = {2},
pages = {278--343},
year = {2014},
url = {https://doi.org/10.1007/s00454-014-9610-9},
doi = {10.1007/S00454-014-9610-9},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/BasuR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/focm/BasuRDS14,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A Baby Step-Giant Step Roadmap Algorithm for General Algebraic Sets},
journal = {Found. Comput. Math.},
volume = {14},
number = {6},
pages = {1117--1172},
year = {2014},
url = {https://doi.org/10.1007/s10208-014-9212-1},
doi = {10.1007/S10208-014-9212-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/focm/BasuRDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiattaRR14,
author = {Daouda Niang Diatta and
Fabrice Rouillier and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
title = {On the computation of the topology of plane curves},
booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
pages = {130--137},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2608628.2608670},
doi = {10.1145/2608628.2608670},
timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
biburl = {https://dblp.org/rec/conf/issac/DiattaRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS13,
author = {Marie{-}Fran{\c{c}}oise Roy and
Sidi Mohamed Sedjelmaci},
title = {New fast euclidean algorithms},
journal = {J. Symb. Comput.},
volume = {50},
pages = {208--226},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2012.06.003},
doi = {10.1016/J.JSC.2012.06.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoyS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-4131,
author = {Daniel Perrucci and
Marie{-}Fran{\c{c}}oise Roy},
title = {Zero-nonzero and real-nonreal sign determination},
journal = {CoRR},
volume = {abs/1305.4131},
year = {2013},
url = {http://arxiv.org/abs/1305.4131},
eprinttype = {arXiv},
eprint = {1305.4131},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-4131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Roy12,
author = {Marie{-}Fran{\c{c}}oise Roy},
editor = {Joris van der Hoeven and
Mark van Hoeij},
title = {Complexity of deciding connectivity in real algebraic sets: recent
results and future research directions},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
pages = {3--5},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2442829.2442831},
doi = {10.1145/2442829.2442831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Roy12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6439,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
title = {A baby step-giant step roadmap algorithm for general algebraic sets},
journal = {CoRR},
volume = {abs/1201.6439},
year = {2012},
url = {http://arxiv.org/abs/1201.6439},
eprinttype = {arXiv},
eprint = {1201.6439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-6439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS11,
author = {Marie{-}Fran{\c{c}}oise Roy and
Aviva Szpirglas},
title = {Sylvester double sums and subresultants},
journal = {J. Symb. Comput.},
volume = {46},
number = {4},
pages = {385--395},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.10.012},
doi = {10.1016/J.JSC.2010.10.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BasuR10,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy},
title = {Bounding the radii of balls meeting every connected component of semi-algebraic
sets},
journal = {J. Symb. Comput.},
volume = {45},
number = {12},
pages = {1270--1279},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.009},
doi = {10.1016/J.JSC.2010.06.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BasuR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/BasuPR09,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {An asymptotically tight bound on the number of semi-algebraically
connected components of realizable sign conditions},
journal = {Comb.},
volume = {29},
number = {5},
pages = {523--546},
year = {2009},
url = {https://doi.org/10.1007/s00493-009-2357-x},
doi = {10.1007/S00493-009-2357-X},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/BasuPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-3304,
author = {Saugata Basu and
Richard Leroy and
Marie{-}Fran{\c{c}}oise Roy},
title = {A bound on the minimum of a real positive polynomial over the standard
simplex},
journal = {CoRR},
volume = {abs/0902.3304},
year = {2009},
url = {http://arxiv.org/abs/0902.3304},
eprinttype = {arXiv},
eprint = {0902.3304},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-3304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-1340,
author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy},
title = {Bounding the radii of balls meeting every connected component of semi-algebraic
sets},
journal = {CoRR},
volume = {abs/0911.1340},
year = {2009},
url = {http://arxiv.org/abs/0911.1340},
eprinttype = {arXiv},
eprint = {0911.1340},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-1340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/BoudaoudCR08,
author = {Fatima Boudaoud and
Fabrizio Caruso and
Marie{-}Fran{\c{c}}oise Roy},
title = {Certificates of Positivity in the Bernstein Basis},
journal = {Discret. Comput. Geom.},
volume = {39},
number = {4},
pages = {639--655},
year = {2008},
url = {https://doi.org/10.1007/s00454-007-9042-x},
doi = {10.1007/S00454-007-9042-X},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/BoudaoudCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Roy08,
author = {Marie{-}Fran{\c{c}}oise Roy},
title = {Quantitative results on quadratic semi-algebraic sets},
journal = {Electron. Notes Discret. Math.},
volume = {31},
pages = {129},
year = {2008},
url = {https://doi.org/10.1016/j.endm.2008.06.026},
doi = {10.1016/J.ENDM.2008.06.026},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Roy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/focm/BasuPR08,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {Computing the First Betti Number of a Semi-Algebraic Set},
journal = {Found. Comput. Math.},
volume = {8},
number = {1},
pages = {97--136},
year = {2008},
url = {https://doi.org/10.1007/s10208-007-9001-1},
doi = {10.1007/S10208-007-9001-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/focm/BasuPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-3522,
author = {Saugata Basu and
Dmitrii V. Pasechnik and
Marie{-}Fran{\c{c}}oise Roy},
title = {Betti numbers of semi-algebraic sets defined by partly quadratic systems
of polynomials},
journal = {CoRR},
volume = {abs/0708.3522},
year = {2007},
url = {http://arxiv.org/abs/0708.3522},
eprinttype = {arXiv},
eprint = {0708.3522},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-3522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P5021,
editor = {Thierry Coquand and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
title = {Mathematics, Algorithms, Proofs, 9.-14. January 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05021},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/portals/05021/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P5021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0603248,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {Computing the First Betti Numberand Describing the Connected Components
of Semi-algebraic Sets},
journal = {CoRR},
volume = {abs/math/0603248},
year = {2006},
url = {http://arxiv.org/abs/math/0603248},
eprinttype = {arXiv},
eprint = {math/0603248},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0603248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0603256,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {An asymptotically tight bound on the number of connected components
of realizable sign conditions},
journal = {CoRR},
volume = {abs/math/0603256},
year = {2006},
url = {http://arxiv.org/abs/math/0603256},
eprinttype = {arXiv},
eprint = {math/0603256},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0603256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/BasuPR05,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {Computing the euler-poincar{\'{e}} characteristics of sign conditions},
journal = {Comput. Complex.},
volume = {14},
number = {1},
pages = {53--71},
year = {2005},
url = {https://doi.org/10.1007/s00037-005-0190-1},
doi = {10.1007/S00037-005-0190-1},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/BasuPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/CosteLLR05,
author = {Michel Coste and
Tom{\'{a}}s Lajous{-}Loaeza and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
title = {Generalized Budan-Fourier theorem and virtual roots},
journal = {J. Complex.},
volume = {21},
number = {4},
pages = {479--486},
year = {2005},
url = {https://doi.org/10.1016/j.jco.2004.11.003},
doi = {10.1016/J.JCO.2004.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/CosteLLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CohenGR05,
author = {Arjeh M. Cohen and
Gert{-}Martin Greuel and
Marie{-}Fran{\c{c}}oise Roy},
title = {Preface},
journal = {J. Symb. Comput.},
volume = {39},
number = {3-4},
pages = {257--258},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.11.002},
doi = {10.1016/J.JSC.2004.11.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CohenGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BasuPR05,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Harold N. Gabow and
Ronald Fagin},
title = {Computing the first Betti number and the connected components of semi-algebraic
sets},
booktitle = {Proceedings of the 37th Annual {ACM} Symposium on Theory of Computing,
Baltimore, MD, USA, May 22-24, 2005},
pages = {304--312},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060590.1060636},
doi = {10.1145/1060590.1060636},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BasuPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/05/CoquandLR05,
author = {Thierry Coquand and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Laura Crosilla and
Peter M. Schuster},
title = {An elementary characterisation of Krull dimension},
booktitle = {From sets and types to topology and analysis - Towards practicable
foundations for constructive mathematics},
series = {Oxford logic guides},
volume = {48},
publisher = {Oxford University Press},
year = {2005},
timestamp = {Wed, 06 May 2020 14:54:52 +0200},
biburl = {https://dblp.org/rec/books/ox/05/CoquandLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CoquandLR05,
author = {Thierry Coquand and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Thierry Coquand and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
title = {05021 Abstracts Collection -- Mathematics, Algorithms, Proofs},
booktitle = {Mathematics, Algorithms, Proofs, 9.-14. January 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05021},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/303},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CoquandLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Roy05,
author = {Marie{-}Fran{\c{c}}oise Roy},
editor = {Thierry Coquand and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
title = {Subdiscriminant of symmetric matrices are sums of squares},
booktitle = {Mathematics, Algorithms, Proofs, 9.-14. January 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05021},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/347},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Roy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CosteLR01,
author = {Michel Coste and
Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy},
title = {Dynamical method in algebra: effective Nullstellens{\"{a}}tze},
journal = {Ann. Pure Appl. Log.},
volume = {111},
number = {3},
pages = {203--256},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00026-4},
doi = {10.1016/S0168-0072(01)00026-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CosteLR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LickteigR01,
author = {Thomas Lickteig and
Marie{-}Fran{\c{c}}oise Roy},
title = {Sylvester-Habicht Sequences and Fast Cauchy Index Computation},
journal = {J. Symb. Comput.},
volume = {31},
number = {3},
pages = {315--341},
year = {2001},
url = {https://doi.org/10.1006/jsco.2000.0427},
doi = {10.1006/JSCO.2000.0427},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LickteigR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RouillierRD00,
author = {Fabrice Rouillier and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din},
title = {Finding at Least One Point in Each Connected Component of a Real Algebraic
Set Defined by a Single Equation},
journal = {J. Complex.},
volume = {16},
number = {4},
pages = {716--750},
year = {2000},
url = {https://doi.org/10.1006/jcom.2000.0563},
doi = {10.1006/JCOM.2000.0563},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RouillierRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LombardiRD00,
author = {Henri Lombardi and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din},
title = {New Structure Theorem for Subresultants},
journal = {J. Symb. Comput.},
volume = {29},
number = {4-5},
pages = {663--689},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0322},
doi = {10.1006/JSCO.1999.0322},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LombardiRD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BasuPR98,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Volker Weispfenning and
Barry M. Trager},
title = {Complexity of Computing Semi-Algebraic Descriptions of the Connected
Components of a Semi-Algebraic Set},
booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
pages = {25--29},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/281508.281533},
doi = {10.1145/281508.281533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BasuPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/BasuPR97,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {On Computing a Set of Points Meeting Every Cell Defined by a Family
of Polynomials on a Variety},
journal = {J. Complex.},
volume = {13},
number = {1},
pages = {28--37},
year = {1997},
url = {https://doi.org/10.1006/jcom.1997.0434},
doi = {10.1006/JCOM.1997.0434},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/BasuPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BasuPR96,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {On the Combinatorial and Algebraic Complexity of Quantifier Elimination},
journal = {J. {ACM}},
volume = {43},
number = {6},
pages = {1002--1045},
year = {1996},
url = {https://doi.org/10.1145/235809.235813},
doi = {10.1145/235809.235813},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BasuPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/LickteigR96,
author = {Thomas Lickteig and
Marie{-}Fran{\c{c}}oise Roy},
title = {Semi-algebraic Complexity of Quotients and Sign Determination of Remainders},
journal = {J. Complex.},
volume = {12},
number = {4},
pages = {545--571},
year = {1996},
url = {https://doi.org/10.1006/jcom.1996.0033},
doi = {10.1006/JCOM.1996.0033},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/LickteigR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RoyV96,
author = {Marie{-}Fran{\c{c}}oise Roy and
Nicolai N. Vorobjov Jr.},
editor = {Erwin Engeler and
Bob F. Caviness and
Yagati N. Lakshman},
title = {Computing the Complexification of a Semi-Algebraic Set},
booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
pages = {26--34},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236869.236891},
doi = {10.1145/236869.236891},
timestamp = {Tue, 29 Aug 2023 20:47:14 +0200},
biburl = {https://dblp.org/rec/conf/issac/RoyV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BasuPR96,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Gary L. Miller},
title = {Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
pages = {168--173},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237814.237857},
doi = {10.1145/237814.237857},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BasuPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/RoyV94,
author = {Marie{-}Fran{\c{c}}oise Roy and
Nicolai N. Vorobjov Jr.},
title = {Finding Irreducible Components of Some Real Transcendental Varieties},
journal = {Comput. Complex.},
volume = {4},
pages = {107--132},
year = {1994},
url = {https://doi.org/10.1007/BF01202285},
doi = {10.1007/BF01202285},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/RoyV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/HeintzRS94,
author = {Joos Heintz and
Marie{-}Fran{\c{c}}oise Roy and
Pablo Solern{\'{o}}},
title = {Description of the Connected Components of a Semialgebraic in Single
Exponential Time},
journal = {Discret. Comput. Geom.},
volume = {11},
pages = {121--140},
year = {1994},
url = {https://doi.org/10.1007/BF02573999},
doi = {10.1007/BF02573999},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/HeintzRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Gonzales-VegaLRR94,
author = {Laureano Gonz{\'{a}}lez{-}Vega and
Henri Lombardi and
Tom{\'{a}}s Recio and
Marie{-}Fran{\c{c}}oise Roy},
title = {Sp{\'{e}}cialisation de la suite de Sturm},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {28},
number = {1},
pages = {1--24},
year = {1994},
url = {https://doi.org/10.1051/ita/1994280100011},
doi = {10.1051/ITA/1994280100011},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Gonzales-VegaLRR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BasuPR94,
author = {Saugata Basu and
Richard Pollack and
Marie{-}Fran{\c{c}}oise Roy},
title = {On the Combinatorial and Algebraic Complexity of Quantifier Elimination},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {632--641},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365728},
doi = {10.1109/SFCS.1994.365728},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BasuPR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuerguebMR94,
author = {Ahmed Guergueb and
Jean Mainguen{\'{e}} and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Malcolm A. H. MacCallum},
title = {Examples of Automatic Theorem Proving a Real Geometry},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
pages = {20--24},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/190347.190354},
doi = {10.1145/190347.190354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GuerguebMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HeintzRS93,
author = {Joos Heintz and
Marie{-}Fran{\c{c}}oise Roy and
Pablo Solern{\'{o}}},
title = {On the Theoretical and Practical Complexity of the Existential Theory
of Reals},
journal = {Comput. J.},
volume = {36},
number = {5},
pages = {427--431},
year = {1993},
url = {https://doi.org/10.1093/comjnl/36.5.427},
doi = {10.1093/COMJNL/36.5.427},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/HeintzRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Roy93,
author = {Marie{-}Fran{\c{c}}oise Roy},
editor = {Manuel Bronstein},
title = {Aspect Graphs of Algebraic Surfaces},
booktitle = {Proceedings of the 1993 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '93, Kiev, Ukraine, July 6-8, 1993},
pages = {135--143},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/164081.164106},
doi = {10.1145/164081.164106},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Roy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/CuckerLMPR92,
author = {Felipe Cucker and
Herv{\'{e}} Lanneau and
Bud Mishra and
Paul Pedersen and
Marie{-}Fran{\c{c}}oise Roy},
title = {{NC} Algorithms for Real Algebraic Numbers},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {3},
pages = {79--98},
year = {1992},
url = {https://doi.org/10.1007/BF01387193},
doi = {10.1007/BF01387193},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/CuckerLMPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Gonzalez-VegaLRR90,
author = {Laureano Gonz{\'{a}}lez{-}Vega and
Henri Lombardi and
Tom{\'{a}}s Recio and
Marie{-}Fran{\c{c}}oise Roy},
title = {Sp{\'{e}}cialisation de la suite de Sturm et sous-r{\'{e}}sulants},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {24},
pages = {561--588},
year = {1990},
url = {https://doi.org/10.1051/ita/1990240605611},
doi = {10.1051/ITA/1990240605611},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Gonzalez-VegaLRR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RoyS90,
author = {Marie{-}Fran{\c{c}}oise Roy and
Aviva Szpirglas},
title = {Complexity of the Computation on Real Algebraic Numbers},
journal = {J. Symb. Comput.},
volume = {10},
number = {1},
pages = {39--52},
year = {1990},
url = {https://doi.org/10.1016/S0747-7171(08)80035-1},
doi = {10.1016/S0747-7171(08)80035-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/RoyS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CuckerR90,
author = {Felipe Cucker and
Marie{-}Fran{\c{c}}oise Roy},
title = {A Theorem on Random Polynomials and Some Consequences in Average Complexity},
journal = {J. Symb. Comput.},
volume = {10},
number = {5},
pages = {405--410},
year = {1990},
url = {https://doi.org/10.1016/S0747-7171(08)80052-1},
doi = {10.1016/S0747-7171(08)80052-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CuckerR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/HeintzKRS90,
author = {Joos Heintz and
Teresa Krick and
Marie{-}Fran{\c{c}}oise Roy and
Pablo Solern{\'{o}}},
editor = {Shojiro Sakata},
title = {Geometric Problems Solvable in Single Exponential Time},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {508},
pages = {11--23},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54195-0\_35},
doi = {10.1007/3-540-54195-0\_35},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/HeintzKRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/HeintzRS90,
author = {Joos Heintz and
Marie{-}Fran{\c{c}}oise Roy and
Pablo Solern{\'{o}}},
editor = {Shojiro Sakata},
title = {Single Exponential Path Finding in Semialgebraic Sets. Part 1: The
Case of a Regular Bounded Hypersurface},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {508},
pages = {180--196},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54195-0\_50},
doi = {10.1007/3-540-54195-0\_50},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaecc/HeintzRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/HeintzRR90,
author = {Joos Heintz and
Tom{\'{a}}s Recio and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Jacob E. Goodman and
Richard Pollack and
William Steiger},
title = {Algorithms in Real Algebraic Geometry and Applications to Computational
Geometry},
booktitle = {Discrete and Computational Geometry: Papers from the {DIMACS} Special
Year},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {6},
pages = {137--164},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/006/08},
doi = {10.1090/DIMACS/006/08},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/HeintzRR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HeintzSR89,
author = {Joos Heintz and
Pablo Solern{\'{o}} and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Gerhard X. Ritter},
title = {On the Complexity of Semialgebraic Sets},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {293--298},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/HeintzSR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GonzalezLRR89,
author = {Laureano Gonz{\'{a}}lez and
Henri Lombardi and
Tom{\'{a}}s Recio and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Gaston H. Gonnet},
title = {Sturm-Habicht Sequence},
booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
17-19, 1989},
pages = {136--146},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74540.74558},
doi = {10.1145/74540.74558},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GonzalezLRR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CosteR88,
author = {Michel Coste and
Marie{-}Fran{\c{c}}oise Roy},
title = {Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation
of the Topology of Semi-Algebraic Sets},
journal = {J. Symb. Comput.},
volume = {5},
number = {1/2},
pages = {121--129},
year = {1988},
url = {https://doi.org/10.1016/S0747-7171(88)80008-7},
doi = {10.1016/S0747-7171(88)80008-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CosteR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/georob/DuvalR88,
author = {Dominique Duval and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Jean{-}Daniel Boissonnat and
Jean{-}Paul Laumond},
title = {Curves and Computer Algebra},
booktitle = {Geometry and Robotics, Workshop, Toulouse, France, May 26-28, 1988,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {391},
pages = {28--42},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51683-2\_22},
doi = {10.1007/3-540-51683-2\_22},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/georob/DuvalR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/CuckerPRRR87,
author = {Felipe Cucker and
Luis Miguel Pardo and
Mario Raimondo and
Tom{\'{a}}s Recio and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Lloren{\c{c}} Huguet i Rotger and
Alain Poli},
title = {On the Computation of the Local and Global Analytic Branches of a
Real Algebraic Curve},
booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
5th International Conference, AAECC-5, Menorca, Spain, June 15-19,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {356},
pages = {161--181},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51082-6\_76},
doi = {10.1007/3-540-51082-6\_76},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaecc/CuckerPRRR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Roy85,
author = {Marie{-}Fran{\c{c}}oise Roy},
title = {Logique et g{\'{e}}om{\'{e}}trie alg{\'{e}}brique r{\'{e}}elle},
booktitle = {Logic Colloquium '85, Orsay, France},
pages = {267--280},
publisher = {Elsevier},
year = {1985},
timestamp = {Wed, 03 Mar 2004 15:02:16 +0100},
biburl = {https://dblp.org/rec/conf/logicColl/Roy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:24 CEST 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:
