MACIS 2009 Session - Real Solving Polynomial Systems

Organizer

• Mohab Safey El Din (UPMC Paris 06, France)

Overview

• Problem

  Given a polynomial system of polynomial equations/inequalities, provide any kind of useful informations on the solution set such as
  • deciding emptiness of the solution set,
  • provide sampling points in the components of the solution set,
  • describe the solution set,
  for the end-user in engineering sciences.

  Identifying new useful specifications for applications of real solving polynomial systems can also be discussed in this session.

• Motivation and Importance

  Real solving polynomial systems of equations/inequalities has many applications in several fields of engineering sciences such as robotics, signal theory, chemistry, biology, etc. There is thus a need of algorithm/software dedicated to answer efficiently the end-user questions about real equation solving. This session aims at presenting and discussing

  • algorithmic works and/or software developments in this area;
  • new applications and challenging problems for real solving polynomial systems
  • new useful specifications in this area.

Talks/Abstracts

• To be announced.