Personal tools
You are here: Home / Events / Improvements and Extensions to CAD-Based Quantifier Elimination

Improvements and Extensions to CAD-Based Quantifier Elimination

Filed under:
Prof. Scott McCallum (Macquarie University Sydney, Australia), 15 October 2012, 1:30 p.m., RISC seminar room
When Oct 15, 2012
from 01:30 PM to 03:00 PM
Where RISC seminar room
Add event to calendar vCal
iCal

Improvements and Extensions to CAD-Based Quantifier Elimination

The talk will informally describe some relatively recent improvements and extensions to cylindrical algebraic decomposition (CAD) based quantifier elimination (QE). The improvements include improved projection operators and the use of equational constraints (where present) to further reduce the size of projection sets. Some limited success in solving certain problems involving mixed polynomial-transcendental functions with methods similar to CAD will also be reported.