Personal tools
You are here: Home / Internal / RISC Forum / 2012 / RISC Colloquium

RISC Colloquium

Prof. Scott McCallum: Improvements and Extensions to CAD-Based Quantifier Elimination
When Oct 15, 2012
from 01:30 PM to 02:30 PM
Where Seminar Room
Add event to calendar vCal
iCal

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.

« December 2019 »
December
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Upcoming Events
RISC Forum Dec 16, 2019 01:30 PM - 01:45 PM
NO RISC Forum Dec 23, 2019 01:30 PM - 01:45 PM
NO RISC Forum Dec 30, 2019 01:30 PM - 01:45 PM
NO RISC Forum Jan 06, 2020 01:30 PM - 01:45 PM
RISC Forum Jan 13, 2020 01:30 PM - 02:15 PM
Previous events…
Upcoming events…