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

Project 2 deals with efficiently proving/solving constraints arising from problems over the reals. This is a booming branch of modern scientific computing whose foundations go back to the beginning of the systematic usage of computers in problem solving and beyond. Traditionally problems over the reals occur in various areas of economics, natural sciences and computer science. They cover a broad range from problems, for instance, in cost optimization and production planning in economics to problems in autonomic complexity analysis in computer science.