Seminar of Theoretical Computer Science - Marek Košta

Friday 21.4.2017 at 11:00, Lecture room M/213

---

Marek Košta:
Real Quantifier Elimination

Abstract: 
In this talk I will discuss the problem of real quantifier elimination from both theoretical and practical points of view. I will first formally introduce the problem and shortly discuss its time complexity. Afterwards I will explain the two most prominent practically applicable methods for real quantifier elimination: (1) Cylindrical Algebraic Decomposition and (2) Virtual Substitution. On the way I will briefly mention some of my results on novel concepts for Virtual Substitution. Finally, I will show how concrete problems can be easily solved by the computer logic system Redlog, which implements various methods for real quantifier elimination. 

web:  http://kedrigern.dcs.fmph.uniba.sk/STI2
rss:  http://kedrigern.dcs.fmph.uniba.sk/STI2/rss.hp

 

---