Graduate Computational Algebraic Geometry Seminar
Marc Moreno Maza
University of Western Ontario
Computing the real solutions of polynomial systems with the RegularChains library in Maple
Abstract: Regular chains and triangular decompositions are fundamental and
well-developed tools for describing the complex solutions of
polynomial systems. We propose adaptations of these tools focusing
on solutions of the real analogue: semi-algebraic systems.
Under some assumptions, such decompositions can be computed in singly
exponential time w.r.t. the number of variables. We have implemented our
algorithms and the experimental results illustrate their effectiveness.
A software demonstration illustrates this talk using various
application problems.
Wednesday October 2, 2013 at 1:00 PM in SEO 1227