Methods for automatic error analysis of numerical algorithms /

Vita.

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

The automatic generation of deterministic parsing algorithms /

ILIAC IV document no. 248

An automatic verifier for a class of sorting programs /

Thesis--University of Illinois at Urbana-Champaign.

Automatic detection and treatment of oscillatory and/or stiff ordinary differential equations /

"Presented at the Differential Equation Workshop, Center for Interdisciplinary Research (Zif), University of Bielefeld, West Germany, April 21, 1980."

Automatic multirate methods for ordinary differential equations /

"UILU-ENG 80 1701."

Automatic integration of the heat equation /

Thesis (M. Sc.)--University of Illinois at Urbana-Champaign.

Automatic solutions of partial differential equations.

Vita.

Deepwater port inspection methods and procedures /

Includes bibliographical references.