Quantifier elimination for real closed fields : a purely algebraic variant of CAD
Speaker:
Marie-Francoise Roy, Université de Rennes 1
Date and Time:
Wednesday, December 9, 2015 - 9:55am
Location:
Fields Institute, Room 230
