The Contribution of T. Sunaga to Interval Analysis and Reliable Computing

The contribution of T. Sunaga to interval analysis and reliable computing is not well-known amongst specialists in the field. We present and comment Sunaga’s basic ideas and results related to the properties of intervals and their application.

[1]  E. Kaucher.  Interval Analysis in the Extended Interval Space IR , 1980 .

[2]  J. Norton,et al.  Bounding Approaches to System Identification , 1996 .

[3]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[4]  J. Neumann,et al.  Numerical inverting of matrices of high order , 1947 .

[5]  P. Henrici,et al.  Circular arithmetic and the determination of polynomial zeros , 1971 .

[6]  Willard L. Miranker,et al.  Computer arithmetic in theory and practice , 1981, Computer science and applied mathematics.

[7]  Masao Iri.  GUARANTEED ACCURACY AND FAST AUTOMATIC DIFFERENTIATION , 1992 .

[8]  S. M. Markov.  Some Applications of Extended Interval Arithmetic to Interval Iterations , 1980 .

[9]  E. Kaucher,et al.  Algebraische Erweiterungen der Intervallrechnung unter Erhaltung der Ordnungs- und Verbandsstrukturen , 1977 .

[10]  照雄 須永,et al.  少数歯数差内歯車を用いた差動減速機 : 第1報, 設計の基礎 , 1973 .

[11]  S. Markov.  INTERVAL DIFFERENTIAL EQUATIONS , 1980 .

[12]  Kohshi Okumura,et al.  Improvement of algorithm using interval analysis for solution of nonlinear circuit equations , 1987 .

[13]  L. Schwartz.  Théorie des distributions , 1966 .

[14]  Lubomir V. Kolev,et al.  Interval Methods for Circuit Analysis , 1993, Advanced Series in Circuits and Systems.

[15]  Christian P. Ullrich,et al.  Embedding directed intervals in Mathematica , 1996, RITA.

[16]  H. Ratschek,et al.  Representation of semigroups as systems of compact convex sets , 1977 .

[17]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[18]  Ramon E. Moore.  Interval arithmetic and automatic error analysis in digital computing , 1963 .

[19]  Svetoslav Markov,et al.  On directed interval arithmetic and its applications , 1996 .

[20]  Masao Iri.  Roles of automatic differentiation in nonlinear analysis and high-quality computation , 1997 .

[21]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[22]  Svetoslav Markov,et al.  An iterative method for algebraic solution to interval equations , 1999 .

[23]  R. Young.  The algebra of many-valued quantities , 1931 .