Marie-Fran\c{c}oise Roy
Identifiers
- name variant Marie-Fran\c{c}oise Roy 0.60 · backfill
Papers (5)
- A data analysis of women's trails among ICM speakers math.HO · 2019 · author #2
- Elementary recursive quantifier elimination based on Thom encoding and sign determination math.AG · 2016 · author #2
- An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem math.AG · 2014 · author #3
- A baby step-giant step roadmap algorithm for general algebraic sets math.AG · 2012 · author #2
- Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials math.GT · 2008 · author #3
Mentions
Frequent Coauthors
- Daniel Perrucci 2 shared papers
- Saugata Basu 2 shared papers
- Dmitrii V. Pasechnik 1 shared papers
- \'Eric Schost 1 shared papers
- Helena Mihaljevi\'c 1 shared papers
- Henri Lombardi 1 shared papers
- Mohab Safey El Din 1 shared papers