The following pages link to Marie-Françoise Roy (Q171409):
Displaying 50 items.
- (Q162068) (redirect page) (← links)
- Divide and conquer roadmap for algebraic sets (Q464736) (← links)
- (Q486684) (redirect page) (← links)
- A baby step-giant step roadmap algorithm for general algebraic sets (Q486687) (← links)
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- (Q581616) (redirect page) (← links)
- Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets (Q581617) (← links)
- Bounding the radii of balls meeting every connected component of semi-algebraic sets (Q607049) (← links)
- Sylvester double sums and subresultants (Q629347) (← links)
- (Q755824) (redirect page) (← links)
- On the analyticity of the homology (Q755825) (← links)
- Complexity of computation on real algebraic numbers (Q757065) (← links)
- (Q793108) (redirect page) (← links)
- Central orderings in fields of real meromorphic function germs (Q793109) (← links)
- Open morphisms of real closed spaces (Q810109) (← links)
- A new general formula for the Cauchy index on an interval with subresultants (Q820980) (← links)
- Some continuous Positivstellensätze (Q909731) (← links)
- Open locally semi-algebraic maps (Q911665) (← links)
- Séparation de semi-algébriques. (Separation of semi-algebraic sets) (Q919056) (← links)
- Computing the first Betti number of a semi-algebraic set (Q937278) (← links)
- Certificates of positivity in the Bernstein basis (Q938310) (← links)
- Bounding the Betti numbers and computing the Euler-Poincaré characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials (Q967467) (← links)
- An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions (Q987564) (← links)
- Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials (Q1024388) (← links)
- Survey on the topology of real algebraic sets (Q1061798) (← links)
- Piecewise-rational retractions onto closed, convex, semi-algebraic sets with interior-synopsis (Q1061799) (← links)
- Research announcement on extending Nash functions off singular curves (Q1061800) (← links)
- On pythagorean real irreducible algebroid curves (Q1064366) (← links)
- An introduction to real algebra (Q1065883) (← links)
- Locally semialgebraic spaces (Q1068900) (← links)
- Extensions of semidefinite functions (Q1068901) (← links)
- Faisceaux cohérents en géométrie algébrique réelle. (Coherent sheaves in real algebraic geometry) (Q1071836) (← links)
- Real strict localizations (Q1077549) (← links)
- Pfister's theorem for varieties and reduced Witt rings (Q1080905) (← links)
- Separably real closed local rings (Q1083520) (← links)
- The geometric theory of \(p\)-adic fields (Q1091428) (← links)
- Well-ordering and choice in toposes (Q1103041) (← links)
- Finite cardinals in general topoi (Q1103042) (← links)
- Real algebraic curves and complete intersections (Q1115929) (← links)
- Cauchy index computation (Q1127957) (← links)
- Contribution to the study of the natural number object in elementary topoi (Q1136762) (← links)
- Weakly semialgebraic spaces (Q1188538) (← links)
- Homology of locally semialgebraic spaces (Q1189377) (← links)
- On randomized semi-algebraic test complexity (Q1260656) (← links)
- Description of the connected components of a semialgebraic set in single exponential time (Q1317872) (← links)
- A note on Rabin's width of a complete proof (Q1327592) (← links)
- Finding irreducible components of some real transcendental varieties (Q1332661) (← links)
- A completely normal spectral space that is not a real spectrum (Q1336460) (← links)
- On computing a set of points meeting every cell defined by a family of polynomials on a variety (Q1361873) (← links)
- New structure theorem for subresultants (Q1569836) (← links)
