Proving and Solving over the Reals - Periode I (Subprojekt des SFB F 13)
Sprache der Bezeichnung:
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