Talk page

Title:
Quantifier elimination for real closed fields : a purely algebraic variant of CAD

Speaker:
Marie-Francoise Roy

Link:
https://video-archive.fields.utoronto.ca/view/4351

Workshop:
Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation