Automatic Result Verification in the Environment of High Performance Computing (project has expired)

Institutions involved in the project:
 

Instituto de Informática Universidade Federal do Rio Grande do Sul (UFRGS) Brazil	Scientific Computing / Software Engineering Department of Mathematics University of Wuppertal, (BUW) Germany	Faculdade de Informática Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS) Brazil	Fakultät für Mathematik Universität Karlsruhe (TH) Germany

The bilateral project "Automatic Result Verification in the Environment of High Performance Computing" (BRA 02/A12) is funded by International Bureau (IB, BMBF, Germany), FAPERGS (Brasil) and DAAD (Probral, AZ 415-br-probral/ale-03/23581).

Principal investigators:

Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS),
Faculdade de Informática,
Porto Alegre,
Prof. Dr. Dalcidio Moraes Claudio

and

Bergische Universität Wuppertal (BUW),
Fachbereich Mathematik und Institut für Angewandte Informatik,
Prof. Dr. Walter Krämer

Documents:

Agreement of Cooperation by and between the Universidade Federal do Rio Grande do Sul (UFRGS),
Brazil  and the Bergische Universität Wuppertal (BUW), Germany
(in English: Page 1, Page 2; in Portuguese: Page 1, Page 2)
 

Scientists involved in the project:
 

Exchange of experts:

• Dr. Bohlender (Universität Karlsruhe), March 2002 in Porto Alegre
• Prof. Dr. Krämer (BUW), March 2002 in Porto Alegre
• MSc. Carlos Hölbig (UFRGS), September 2002 to February 2003 in Wuppertal and two weeks in December 2002 in Karlsruhe
• Prof. Dr. Diverio (UFRGS), September 2002 in Wuppertal
• BSc. Mariana Kolberg (PUCRS), September 2002 to February 2003 in Karlsruhe and two weeks in October 2002 in Wuppertal
• Meeting in Paris and presentation of a talk about the project at the 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN2002).
• Dr. Bohlender (Universität Karlsruhe), July 4, 2003 in Wuppertal with Prof. Dr. Krämer and Dr. Hofschuster
• Prof. Dr. Krämer (Universität Wuppertal), August 1, 2003 in Karlsruhe with Dr. Bohlender and Dr. Klatte
• BSc. Mariana Kolberg (PUCRS), January-August 2004 in Karlsruhe
• Workshop "Perspektiven im Bereich numerischer Einschliessungsverfahren" in Freudenstadt, March 17-19, 2004
• Prof. Dr. Diverio (UFRGS), May 31-July 5, 2004 in Germany
• MSc. Carlos Hölbig (UFRGS), July 5-30, 2004 in Karlsruhe and one week July 19-24, 2004 in Wuppertal
• Workshop, July 22, 2004 in Wuppertal with MSc. Carlos Hölbig (UFRGS), BSc. Mariana Kolberg (PUCRS), Dr. Bohlender and Dr. Klatte (Universität Karlsruhe), Dipl.-Math. Grimmer, Dr. Hofschuster, Prof. Dr. Krämer (BUW)
• Dr. Bohlender and Dr. Klatte (Universität Karlsruhe), 2 weeks in September 2004 in Porto Alegre
• Dipl.-Math. Grimmer (BUW), August 2004 - October 2004 in Porto Alegre
• Minisymposium and presentations at the XXVII Congresso Nacional de Matematica Aplicada e Computacional (CNMAC), September 2004, Porto Alegre.
• Prof. Dr. Krämer (Universität Wuppertal), November 19, 2004 in Karlsruhe with Dr. Bohlender and Dr. Klatte
• Dr. Bohlender, Dr. Klatte (Universität Karlsruhe) and Prof. Dr. Krämer (Universität Wuppertal), August 9 - September 5, 2005 in Porto Alegre and Recife
• MSc. Mariana Kolberg (PUCRS), October 2004 in Karlsruhe
• Workshop "Perspektiven im Bereich numerischer Einschliessungsverfahren (Event Nr. 05412)" in IBFI Schloss Dagstuhl, October 9-12, 2005
• Meeting in Duisburg and presentation of a talk about the project at the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN2006).

• Hölbig, Carlos; Krämer, Walter and Diverio, Tiarajú:
  An Accurate and Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix
  to appear in proceeding volume to ParCo2003 in Dresden (PDF (105 KB))
• Hölbig, Carlos; Krämer, Walter:
  Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC
  Preprint BUW-WRSWT 2003/1, Universität Wuppertal, 2003 (PDF (196 KB))
• Bohlender, G.; Lüderitz Kolberg, M.; Claudio, D. M.:
  Modifications to Expression Evaluation in C-XSC
  Preprint BUW-WRSWT 2005/5, Universität Wuppertal, 2005 (PDF (93 KB))
• Hölbig, Carlos:
  Ambiente de Alto Desempenho com Alta Exatidão para a Resolução de Problemas
  Tese (doutorado), Universidade Federal do Rio Grande do Sul.Porto Alegre: PPGC da UFRGS, 2005 (PDF)
• Kolberg, M.; Baldo, L.; Velho, P.; Fernandes, L. F.; Claudio, D.:
  Optimizing a Parallel Self-verified Method for Solving Linear Systems
  Lecture Notes in Computer Science: Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, volume 3, pp. 949-955, Springer Berlin / Heidelberg, 2007
• Kolberg, M.; Fernandes, L. F.; Claudio, D.:
  Dense Linear System: A Parallel Self-verified Solver
  International Journal of Parallel Programming, Springer Netherlands, 2007

• Grimmer, Markus: Multiple Precision Interval Arithmetic: Comparing some Packages
  Talk in Passo Fundo/Brazil, August 2004 (PDF (149 KB)).
• Grimmer, Markus: intpakX: A Maple Power Tool for verified numerical computing
  Talk at CNMAC 2004 in Porto Alegre/Brazil, September 2004. (PDF (361 KB)).

• Preprint
  Hölbig, Carlos and Krämer, Walter:
  Selfverifying Solvers for Linear Systems with Band Matrices Realized in C-XSC