KAUST CEMSE AMCS Graduate Seminar Diogo Gomes Recent progress on symbolic computation