C-XSC

1 Introduction.- 1.1 Typography.- 1.2 C-XSC: A Class Library in the Programming Language C++.- 1.3 C-XSC: A Programming Environment for Scientific Computing with Result Verification.- 1.4 Survey of C-XSC.- 2 The Programming Languages C and C++.- 2.1 A Short Introduction to C.- 2.2 Additional Features in C++.- 3 C-XSC Reference.- 3.1 Constants, Data Types, and Variables.- 3.2 Expressions.- 3.3 Statements.- 3.4 Error Handling.- 3.5 Pitfalls for Programming with C - XSC.- A Syntax Diagrams.- A.1 Data Types.- A.2 Management of Vectors and Matrices.- A.3 Definition of Variables.- A.4 Expressions.- A.5 Logical Expressions.- A.6 Type Castings.- A.7 Assignments.- A.8 Arithmetic Standard Functions.- A.9 Other Functions.- A.10 Input and Output.- A.11 Extension of a Syntax Diagram of C++.- B The Structure of the C - XSC Package.- B.1 Header Files.- B.2 Module Libraries.- C Error List.- D Sample Programs.- D.1 Rounding Control of Arithmetic Operations.- D.2 Rounding Control of Input and Output.- D.3 Scalar Product.- D.4 Transpose of a Matrix.- D.5 Trace of a Product Matrix.- D.6 Inverse of a Matrix.- D.7 Multiple-Precision Arithmetic.- D.8 Interval Newton Method.- D.9 Runge-Kutta Method.- D.10 Complex Polynomial Arithmetic.- D.11 Automatic Differentiation.- E Scientific Computation with Verified Results.- E.1 Evaluation of Polynomials.- E.2 Matrix Inversion.- E.3 Linear Systems of Equations.- E.4 Eigenvalues of Symmetric Matrices.- E.5 Fast Fourier Transform.- E.6 Zeros of a Nonlinear Equation.- E.7 System of Nonlinear Equations.- E.8 Ordinary Differential Equations.