The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

General Information

News

Projects

-  F1301

-  F1302

-  F1303

-  F1304

-  F1305

-  F1306

-  F1308

-  F1309

-  F1315

-  F1322

People

Abstract


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.

Objectives

People

Principal Investigator
Prof. Dr. Josef Schicho 5231  mail

Scientific Staff
Mag. Brian Moore 5254  mail

Publications

List of Publications.

Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund