International projects:
The research group's projects:

CXSC, a C++ class library for scientific computing with additional
software packages for self verifying solvers for standard numerical problems,
support, service and further development of CXSC, documentation, port
to further platforms (e.g. actual parallel computers),
web publication of code and compiled library modules for
different platforms, installation support for CXSC users)
 Arbitrary precision real and complex interval arithmetics.

Development of a systematical error calculus for automatical,
reliable a priori error estimations of floating point algorithms
with arbitrary precision interval arithmetics.
Completed projects:

Implementation of highly accurate and efficient elementary
mathematical functions for data types double, interval, complex
and complex interval (ANSIC library FI_LIB).
Extension of the FI_LIB library by special widely used functions
of mathematical physics.

Verified global optimisation using the parallel computer
ALiCEnext

Verified integration of singular and hypersingular integrals in CXSC

BCD version (decimal version) of PascalXSC in cooperation with
Dr. Frithjof Blomquist, Saarbrücken.
This PascalXSC version especially avoids conversion errors in
the input/output of decimal numbers. A data format for high
precision computations
(21 decimal digits) is included. A free LINUX version is also
available; this one is especially
useful for mathematics and informatics lessons at schools.

Analysis of the German Finanzausgleichsgesetz (FAG),
model calculations with regard to the ineffectiveness or modification of parts of
the FAG (project thirdparty funded; by order of the
German Constitutional Court, Karlsruhe)