
Bibliography 381
[145] D. Cordes and W. Krämer, Vom Problem zum Einschließungsalgorithmus, in: U.
Kulisch (ed.), Wissenschaftliches Rechnen mit Ergebnisverifikation, pp. 167–181,
Vieweg, Braunschweig, 1989.
[146] D. Cordes and W. Krämer, PASCAL-XSC Modules for Multiple-Precision Operations
and Functions, Universität Karlsruhe, 1991.
[147] G. F. Corliss, Computing narrow inclusions for definite integrals, in: E. Kaucher, U.
Kulisch and Ch. Ullrich (eds.), Computerarithmetic: Scientific Computation and Pro-
gramming Languages, pp. 150–169, B. G. Teubner, Stuttgart, 1987.
[148] G. F. Corliss, Applications of differentiation arithmetic, in: R. E. Moore (ed.), ...