Numerical and Symbolic Scientific Computing

RISC-Linz participates in the SFB ("Sonderforschungsbereich", special research area) Numerical and Symbolic Scientific Computing of the Johannes Kepler University in Linz; this SFB has started operation in 1998.

RISC-Linz Projects

Project 2: Solving and Proving in General Domains

• Project Director Bruno Buchberger

Project 3: Proving and Solving over Reals

• Project Director Josef Schicho

Project 4: Symbolic-Numeric Computation on Algebraic Curves and Surfaces

• Project Director Franz Winkler

Project 5: Symbolic Summation and Combinatorial Identities

• Project Director Peter Paule

SFB Server