Solving Real Life Applications With High Accuracy

[1]  Jack Dongarra,et al.  Sourcebook of parallel computing , 2003 .

[2]  S. Rump.  Validated solution of large linear systems , 1993 .

[3]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[4]  Robert Michael Kirby,et al.  Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation , 2003 .

[5]  H. Stetter,et al.  Validation Numerics: Theory And Applications , 2000 .

[6]  G.P. Dimuro,et al.  Towards interval analysis of the load uncertainty in power electric systems , 2004, 2004 International Conference on Probabilistic Methods Applied to Power Systems.

[7]  Philippe Olivier Alexandre Navaux,et al.  Parallelization of Krylov Subspace Methods in Multiprocessor PC Clusters , 2003, PARCO.

[8]  Walter Krämer,et al.  Numerical Toolbox for Verified Computing II: Advanced Numerical Problems , 2006 .

[9]  J. Stoer,et al.  Introduction to Numerical Analysis , 2002 .

[10]  Walter Krämer,et al.  C-XSC 2.0: A C++ Library for Extended Scientific Computing , 2003, Numerical Software with Result Verification.

[11]  N Ranaldo,et al.  Parallel Computing: Software Technology, Algorithms, Architectures & Applications , 2004 .

[12]  Ulrich Kulisch,et al.  Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs , 1994 .

[13]  Ansi Ieee,et al.  IEEE Standard for Binary Floating Point Arithmetic , 1985 .

[14]  Walter Krämer,et al.  An Accurate an Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix , 2003, PARCO.