Scientific Computing, Validated Numerics, Interval Methods (university Series In Mathematics)

the Symposium Continues Two Series Of Symposia, One Focusing On The Numerical And Algorithmic Aspects Of Scientific Computing With A Strong Emphasis On Validation And Verification Of Computed Results As Well As On Arithmetic, Programming, And Algorithmic Tools For The Purpose; The Other Devoted To Interval Methods And Their Applications In Science And Engineering. The 31 Selected Papers (from 164 Total) Seek To Strengthen The Theory, Improve The Tools, Perform Applications, Develop Enclosure Methods, And Transfer The Mechanisms And Design Process From These Areas To Other Fields. The Disk Contains The Latest Version Of Sun's Forte Developer 6 Update 2 Compilers And Productivity Tools That Support Interval Arithmetic In Both Fortran 95 And C++. Annotation C. Book News, Inc., Portland, Or (booknews.com)