01229cam0-22004091i-450-99000133501040332120050705135139.00-12-044210-8000133501FED01000133501(Aleph)000133501FED0100013350120001205d1993----km-y0itay50------baengUSScientific computing with automatic result verificationedited by E. Adams, U. KulischSan DiegoAcademic Pressc1993X, 612 p.24 cmMathematics in science and engineering189Algoritmi numericiCalcolo paralleloLinguaggi di programmazioneEnclosure methodsWorld problemsSimulazione numericaComputabilitaProgrammi519.40285Kulisch,U.350581Adams,Ernst54191ITUNINARICAUNIMARCBK990001335010403321C-26-(18910631MA1124-E-110639MA1MA165-06Scientific computing with automatic result verification376053UNINA