SMS scnews item created by Stephan Tillmann at Tue 14 Apr 2015 1022
Type: Seminar
Distribution: World
Expiry: 14 Jul 2015
Calendar1: 16 Apr 2015 1200-1300
CalLoc1: Carslaw 535A
Auth: tillmann@p710.pc (assumed)

Geometry & Topology

Quantifier Elimination (QE) and Cylindrical Algebraic Decomposition (CAD)

Scott McCallum (Macquarie)

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.