RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

The RISC Curriculum in Symbolic Computation

Symbolic Computation

Symbolic computation is the sub-area of mathematics and computer science which solves problems on symbolic objects representable on a computer. Typical examples of such objects are

The problem solutions are integrated in many advanced software systems for computer algebra, computer aided design and manufacturing, computer supported reasoning, knowledge management, and formal system specification and verification. Besides playing a fundamental role within mathematics itself, symbolic computation is thus a key technology in many scientific and technical areas today.

Symbolic Computation

More than any other area, symbolic computation depends on the integration of the

It is a main objective of the symbolic computation curriculum at RISC to unite these three aspects. Graduates of this program are not only experts in symbolic computation but, due to their work in highly abstract models with the goal to develop effective software solutions, also professionals in developing innovative computer-based solutions for challenging problems arising in theoretical investigations and real-world applications. Therefore they are highly qualified to find their place in research and development, in academia and industry.



Graduate Studies Coordinator