Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.