zbMATH — the first resource for mathematics

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. (English, Japanese) Zbl 0974.68001
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).
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B25 Proceedings of conferences of miscellaneous specific interest
03F60 Constructive and recursive analysis
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations