James Davenport

 

James Davenport
University of Bath, UK

 Title:  Recent developments in Cylindrical Algebraic Decomposition and Quantifier Elimination