00738nam0-22002531i-450-990001321940403321000132194FED01000132194(Aleph)000132194FED0100013219420000920d1991----km-y0itay50------baengComputer aided proofs in analysisProceedings of the Conference held at the University of Cincinnati in April 1989.New YorkSpringer-Verlag1991.251 p.24 cm519.4ITUNINARICAUNIMARCBK990001321940403321121-D-309006MA1MA1Computer aided proofs in analysis382980UNINAING01