an:01673565
Zbl 0974.68001
Yoshikawa, Atsushi (ed.)
Relevance and feasibility of mathematical analysis on the computer. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, March 21--22, 2000
EN JA
RIMS Kokyuroku 1169, viii, 108 p. (2000).
00072782
2000
j
68-06 00B25 03F60 03-06
Symposium; Proceedings; Kyoto (Japan); RIMS; Mathematical analysis; Computer
The articles of this volume will not be indexed individually.
Contents: Atsushi Yoshikawa, Why such a meeting? (1-14); Tetsuro Yamamoto, Harmonic relations between Green's functions and Green's matrices for boundary value problems (15-26); Mitsuhiro T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations (27-56); Hidefumi Ohsugi and Takayuki Hibi, The achieved role of Gr??bner bases in commutative algebras (Japanese) (57-61); Vasco Brattka, Realistic models of computability on the real numbers (62-75); Hajime Ishihara, Feasibly constructive analysis (76-83); Mariko Yasugi, How to understand the computability aspects of step functions (84-91); Toshihiro Kanahori, A recognition method of matrices by combination matching of variable block pattern elements generating rectangle (Japanese) (92-96); Hirofumi Okamura, Toshihiro Kanahori and I. Sou, Handwriting interface for a computer algebra system (Japanese) (97-101); Susumu Hayashi, Formalized mathematics, proof animation, and limit computable mathematics (102-108).