Thursday 16 April 2015 from 12:00–13:00 in Carslaw 535A
Quantifier Elimination (QE) and Cylindrical Algebraic Decomposition (CAD): History and Recent Progress
Scott McCallum (Macquarie)
Abstract
This talk is about a method for deciding quantified statements involving polynomial equations and inequalities in which the variables range over the real numbers.
This topic involves much computational polynomial algebra, and some logic and real algebraic geometry as well.
Recent progress includes improvement to the projection operator for CAD, and partial extension of the method to problems involving certain mixed polynomial-transcendental functions.