Announcement
Site Map
Speakers
Links
Registration
Travel
Accommodation
Schedule


Speakers
Invited Speakers and Titles of Talk

 Thomas C. Hales, Pittsuburgh, USA 
  "Proving Theorems in Geometry by Computer"

 Masao Iri, Tokyo, Japan 
  "Teruo SUNAGA --- A Pioneer of Interval Arithmetic in Japan"

 Guenter Mayer, Rostock, Germany 
  "On Regular and Singular Interval Systems"

 Shin'ichi Oishi, Tokyo, Japan
  "Recent Advances in Fast and Accurate Numerical Verification Methods 
   for Problems of Linear Numerical Algebra"

 Knut Petras, Braunschweig, Germany 
  "Validated Numerical Integration --- Progress and Challenges"

 Michael Plum, Karlsruhe, Germany 
  "Enclosure Methods for Elliptic Partial Differential Equations"

 Eric Walter, Paris, France 
  "Guaranteed Nonlinear Parameter Identification in Knowledge-based Models"

 Nobito Yamamoto, Tokyo, Japan 
  "Numerical Error Estimation with Guaranteed Accuracy for Finite Element Method"



List of Authors  


    List of authors   

    If above file is not displayed correctly, click here.