Deutsche Version

International projects:

• Bilateral project: "High Performance Verified Computing (HPVC)" (Brazil - Germany) funded by DAAD (Germany) and FAPERGS (Brasil)
• Former bilateral project: "Automatic Result Verification in the Environment of High Performance Computing" (Brazil - Germany) funded by the International Bureau (IB, BMBF, Germany) and FAPERGS (Brasil)

• Project: "Parametric Linear Interval Systems" (Bulgarian - Germany) funded by DFG und Bulgarian National Science Fund

• 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.

• Verification and computational algebra: The intpakX package for implementing verificational algorithms and their visualisation as contribution to the Maple Application Center as a Maple Power Tool.

• Cooperation with the research group "Computer Arithmetics and Validated Numerics (CAVN)" at the University of Karlsruhe

• 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)