Contains some 20 papers from an April 1989 conference at the U. of Cincinnati. Aspects of using computer methods to obtain precise answers to questions in analysis are addressed by developers and end users in symbolic algebra, interval arithmetic, and other fields. No index. Annotation copyright Book News, Inc. Portland, Or.
