Thursday 16 April 2015 from 12:00–13:00 in Carslaw 535A
Please join us for lunch at the Grandstand after the talk!
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.