. . "Global analysis (Mathematics)" . . "Mathematics." . . "Kongress." . . "Analyse numérique Informatique Congrès." . . "Automatisches Beweisverfahren." . . "Analysis." . . "Analysis" . "Analyse mathématique Informatique Congrès." . . "Analyse mathématique." . . "Analiza numeryczna oprogramowanie konferencje." . . "Wiskundige analyse." . . "Cincinnati <Ohio, 1989>" . . "Anàlisi numèrica Processament de dades Congressos." . . "IMA Participating Institutions Conference (1989 : University of Cincinnati)" . . . "analyse numérique." . . "Analiza numeryczna zastosowania naukowe konferencje." . . "Computeralgebra." . . "Computeralgebra" . . . . "Kongress"@en . . "Kongress" . . . . . "This volume is the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad etc. to do precise computations in bifurcation analysis and related areas of analysis. Another group of papers deals with the development of the software to solve equations exactly, carry of explicit integrations etc. for these general software packages. A third group discusses the use of interval arithmetic algorithms and software to give rigorous proofs of mathematical theorems and give precise estimates of stabililty regions." . . . . . . . "Computer Aided Proofs in Analysis" . . "Computer aided proofs in analysis"@en . . "Computer aided proofs in analysis" . . . . . . . . . . . . . . . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . . . . "Computer aided proofs in analysis : [... based on the proceedings of an IMA Participating Institutions (PI) conference held at the University of Cincinnati in April 1989]" . . . "Kongreß" . . . . "Electronic books" . . . "mathématique symbolique." . . "Anàlisi numèrica Informàtica Congressos." . . "IMA Participating Institutions Conference (1989 : Cincinnati)" . . . "IMA Participating Institutions Conference (1989 ; Cincinnati)." .