September 25 – 30 , 2005, Dagstuhl Seminar 05391

Algebraic and Numerical Algorithms and Computer-assisted Proofs

Participants

  • Götz Alefeld (KIT – Karlsruher Institut für Technologie, DE)
  • Hirokazu Anai (Fujitsu Laboratories – Kawasaki, JP)
  • Balazs Banhelyi (University of Szeged, HU)
  • Prashant Batra (TU Hamburg-Harburg, DE)
  • Henning Behnke (TU Clausthal, DE)
  • Sylvie Boldo (University of Paris South XI, FR)
  • Bruno Buchberger (Universität Linz, AT)
  • Jean-Marie Chesneaux (UPMC – Paris, FR)
  • George F. Corliss (Marquette University – Milwaukee, US)
  • Tibor Csendes (University of Szeged, HU)
  • Luiz Henrique de Figueiredo (IMPA – Rio de Janeiro, BR)
  • Borbála Fazekas (KIT – Karlsruher Institut für Technologie, DE)
  • Andreas Frommer (Bergische Universität Wuppertal, DE)
  • Stef Graillat (Université de Perpignan, FR)
  • Olga Holtz (University of California – Berkeley, US)
  • Christian Jansson (TU Hamburg-Harburg, DE)
  • Christian Keil (TU Hamburg-Harburg, DE)
  • Kenta Kobayashi (Kyushu University, JP)
  • Philippe Langlois (Université de Perpignan, FR)
  • Wolfram Luther (Universität Duisburg-Essen, DE)
  • Nami Matsunaga (Waseda Univ. / JST – Tokyo, JP)
  • Kurt Mehlhorn (MPI für Informatik – Saarbrücken, DE)
  • Kaori Nagatou (Kyushu University, JP)
  • Mitsuhiro T. Nakao (Kyushu University, JP)
  • Arnold Neumaier (Universität Wien, AT)
  • Takeshi Ogita (Waseda Univ. / JST – Tokyo, JP)
  • Shin'ichi Oishi (Waseda Univ. / JST – Tokyo, JP)
  • Knut Petras (Bergische Universität Wuppertal, DE)
  • Michael Plum (KIT – Karlsruher Institut für Technologie, DE)
  • Stefan Ratschan (Academy of Science – Prague, CZ)
  • Markus Rosenkranz (RICAM – Linz, AT)
  • Stefan Schirra (Universität Magdeburg, DE)
  • Stephan Schulz (TU München, DE)
  • Eric Walter (Supélec – Gif-sur-Yvette, FR)
  • Yoshitaka Watanabe (Kyushu University, JP)
  • Freek Wiedijk (Radboud University Nijmegen, NL)
  • Christian Wieners (KIT – Karlsruher Institut für Technologie, DE)
  • Nobito Yamamoto (The University of Electro-Communications – Tokyo, JP)
  • Kazuhiro Yokoyama (Rikkyo University – Tokyo, JP)