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

Risc Colloquium

Prof. Hoon Hong: Cylindrical Algebraic Decomposition without Augmented Projection
When Oct 27, 2014
from 01:30 PM to 02:30 PM
Where Seminar Room pond, RISC
Add event to calendar vCal
iCal

Cylindrical algebraic decomposition is a fundamental tool in computational real algebraic geometry. It takes a set of multivariate polynomials and decomposes the real space into cylindrically arranged cells which can be described by boolean expressions of polynomial equations and inequalities. It begins by repeated projection (elimination of variables) and follows by repeated lifting. During the lifting, the descriptions of cells are constructed using Thom's lemma. This necessitates the so-called augmented projection (the derivatives are also considered). It often makes the projection time-consuming and in turn increases the number of cells. In this talk, we show how to avoid augmented projection by describing cells using Sturm-Habicht theorem (instead of Thom's lemma).

« October 2025 »
October
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Upcoming Events
RISC Forum Oct 13, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Oct 20, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Oct 27, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Nov 03, 2025 01:30 PM - 01:45 PM — RISC
RISC Forum Nov 10, 2025 01:30 PM - 01:45 PM — RISC
Previous events…
Upcoming events…