Identifying new useful specifications for applications of real solving polynomial systems can also be discussed in this session.
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