Zak Tonks

Full Name:
Mr Zak Tonks
Dept of Computer Science
Job Title:
PhD Research Programme in Computing
E-mail Address:
Postal Address:
Mr Zak Tonks
1 West 4.56
Dept of Computer Science
University of Bath
United Kingdom
PhD Student at the University of Bath working in problems in Computer Algebra, especially Quantifier Elimination and other problems in real algebraic geometry. Work with Maplesoft to produce Computer Algebra software in Quantifier Elimination. In terms of Quantifier Elimination I am interested in Virtual Term Substitution (VTS) and Cyilndrical Algebraic Decomposition (CAD).