Proving and Solving over the Reals - Periode III (Subprojekt des SFB F-13)

The goal of the subproject is to develop mathematical theories, algorithms, and software for efficiently proving/disproving algebraic statements and solving algebraic constraints over the real numbers. The statement/conditions may contain inequalities and quantifiers. The importance of the goal comes from the observation that many difficult problems in mathematics, scientific, engineering and industrial computation can be reduced to that of solving algebraic constraints.