23/04/2016, 11:15 — 11:45 — Abreu Faro Amphitheatre
Diogo Gomes, King Abdullah University of Science and Technology

Applied logic and computer algebra in partial differential equations

In this talk, we present a number of examples in partial differential equations (PDE) where computer algebra and quantifier elimination methods can be used to prove theorems. These include systems of polynomial inequalities arising in PDE estimates and the construction of conserved and dissipated quantities for partial differential equations.