Prelegere Prof. Robert Vajda - vineri, 22.09.2017, ora 14:00, sala 130

Titlul prelegerii este: "Real Quantifier Elimination and its Applications".

Profesorul Robert Vajda de la Institutul Bolyai, Universitatea din Szeged.

Prezentarea va avea loc în sala 130, în ziua de vineri, 22 septembrie 2017, la ora 14.00.

Prelegerea are loc în cadrul programului Erasmus+.

Abstract: In this talk we explain in an elementary level what is meant by quantifier elimination over the reals. We briefly sum the ideas of cylindrical algebraic decomposition (CAD). We show how to perform effective quantifier elimination over the reals by CAD. Various possible application fields including elementary geometry reasoning, polynomial optimization, approximation and stability of dynamic systems will be given. Finally we report on the existing implementations.