Search Results - "Roy, Marie-Francoise" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

A new general formula for the Cauchy index on an interval with subresultants

A new general formula for the Cauchy index on an interval with subresultants

by Perrucci, Daniel, Roy, Marie-Françoise
Published in Journal of symbolic computation (01.03.2022)

Get full text

Journal Article

Quantitative curve selection lemma

Quantitative curve selection lemma

by Basu, Saugata, Roy, Marie-Françoise
Published in Mathematische Zeitschrift (01.03.2022)

Get full text

Journal Article

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology

by Diatta, Daouda Niang, Diatta, Sény, Rouillier, Fabrice, Roy, Marie-Françoise, Sagraloff, Michael
Published in Discrete & computational geometry (01.04.2022)

Get full text

Journal Article

Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation

by Roy, Marie-Françoise, Szpirglas, Aviva
Published in Journal of symbolic computation (01.01.2020)

Get full text

Journal Article

Divide and Conquer Roadmap for Algebraic Sets

Divide and Conquer Roadmap for Algebraic Sets

by Basu, Saugata, Roy, Marie-Françoise
Published in Discrete & computational geometry (01.09.2014)

Get full text

Journal Article

A global approach to the gender gap in mathematical, computing and natural sciences : how to measure it, how to reduce it?

A global approach to the gender gap in mathematical, computing and natural sciences : how to measure it, how to reduce it?

by Chiu, Mei-Hung, Roy, Marie-Françoise, Mihaljević, Helena, Gledhill, Irvy M.A., Ivie, Rachel, Ponce-Dawson, Silvina
Published in South African Journal of Science (01.03.2019)

Get full text

Journal Article

Elementary recursive quantifier elimination based on Thom encoding and sign determination

Elementary recursive quantifier elimination based on Thom encoding and sign determination

by Perrucci, Daniel, Roy, Marie-Françoise
Published in Annals of pure and applied logic (01.08.2017)

Get full text

Journal Article

An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem

An elementary recursive bound for effective positivstellensatz and Hilbert's 17th problem

by Lombardi, Henri, Perrucci, Daniel, Roy, M.-F
Year of Publication 2020

Get full text

eBook

Bounding the radii of balls meeting every connected component of semi-algebraic sets

Bounding the radii of balls meeting every connected component of semi-algebraic sets

by Basu, Saugata, Roy, Marie-Françoise
Published in Journal of symbolic computation (01.12.2010)

Get full text

Journal Article

Zero–nonzero and real–nonreal sign determination

Zero–nonzero and real–nonreal sign determination

by Perrucci, Daniel, Roy, Marie-Françoise
Published in Linear algebra and its applications (15.11.2013)

Get full text

Journal Article

Algebraic winding numbers

Algebraic winding numbers

by Perrucci, Daniel, Roy, Marie-Françoise
Published in Journal of algebra (01.12.2024)

Get full text

Journal Article

New fast euclidean algorithms

New fast euclidean algorithms

by Roy, Marie-Françoise, Sedjelmaci, Sidi Mohamed
Published in Journal of symbolic computation (01.03.2013)

Get full text

Journal Article

Sylvester double sums and subresultants

Sylvester double sums and subresultants

by Roy, Marie-Françoise, Szpirglas, Aviva
Published in Journal of symbolic computation (01.04.2011)

Get full text

Journal Article

Certificates of Positivity in the Bernstein Basis

Certificates of Positivity in the Bernstein Basis

by Boudaoud, Fatima, Caruso, Fabrizio, Roy, Marie-Françoise
Published in Discrete & computational geometry (01.06.2008)

Get full text

Journal Article

Computing the First Betti Number of a Semi-Algebraic Set

Computing the First Betti Number of a Semi-Algebraic Set

by Basu, Saugata, Pollack, Richard, Roy, Marie-Françoise
Published in Foundations of computational mathematics (01.02.2008)

Get full text

Journal Article

Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials

Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials

by Basu, Saugata, Pasechnik, Dmitrii V., Roy, Marie-Françoise
Published in Journal of algebra (15.04.2009)

Get full text

Journal Article

An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions

An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions

by Basu, Saugata, Pollack, Richard, Roy, Marie-Françoise
Published in Combinatorica (Budapest. 1981) (01.01.2009)

Get full text

Journal Article

Real Algebraic Geometry: Proceedings of the Conference Held in Rennes, France, June 24-28 1991

Real Algebraic Geometry: Proceedings of the Conference Held in Rennes, France, June 24-28 1991

by Coste, Michel, Mahe, Louis, Roy, Marie-Francoise
Year of Publication 1992

Get full text

eBook

The Gender Gap in Science

The Gender Gap in Science

by Chiu, Mei-Hung, Roy, Marie-Francoise, Liaw, Hongming
Published in Chemistry international (01.07.2018)

Get full text

Journal Article

Dynamical method in algebra: effective Nullstellensätze

Dynamical method in algebra: effective Nullstellensätze

by Coste, Michel, Lombardi, Henri, Roy, Marie-Françoise
Published in Annals of pure and applied logic (30.08.2001)

Get full text

Journal Article