Jing Yang |
Ph. D in Mathematics, Beihang University, 2013
Supervisors: Dongming Wang & Hoon Hong
B. Sc. in Information and Computing Science, Beihang University, 2006
- Computer Algebra
- Real Algebraic Geometry
- Quantifier Elimination