Institut für Symbolisches Rechnen

The primary goals of RISC are research, education, and industrial cooperations in the field of symbolic computation. These goals are based on the conviction that, in computer science, symbolic computation is one of the most exciting theoretical areas that needs profound formal mathematical training and extensive systems training and opens some of the most promising directions for future software industry. A complete up-to-date listing of publications with online versions of freely available papers for download can be found at the institute's webpage.