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.