The research group's projects:
C-XSC, 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 C-XSC, documentation, port
to further platforms (e.g. actual parallel computers),
web publication of code and compiled library modules for
different platforms, installation support for C-XSC 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.
Implementation of highly accurate and efficient elementary
mathematical functions for data types double, interval, complex
and complex interval (ANSI-C library FI_LIB).
Extension of the FI_LIB library by special widely used functions
of mathematical physics.
Verified global optimisation using the parallel computer
Verified integration of singular and hypersingular integrals in C-XSC
BCD version (decimal version) of Pascal-XSC in cooperation with
Dr. Frithjof Blomquist, Saarbrücken.
This Pascal-XSC version especially avoids conversion errors in
the input/output of decimal numbers. A data format for high
(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 third-party funded; by order of the
German Constitutional Court, Karlsruhe)