International projects:
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.
Completed projects:
-
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
ALiCEnext
-
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
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 third-party funded; by order of the
German Constitutional Court, Karlsruhe)