Here, you find a collection of some C++ and C-XSC example programs:

Example program in C++ and C-XSC from the paper:
M. Zimmer, W. Krämer, G. Bohlender and W. Hofschuster: Extension of the C-XSC Library with Scalar Products with Selectable Precision, Serdica Journal of Computing, Proceedings of the International Workshop MMSC'09

Download:

• sptest.cpp
  Time Measurements (section 6.2)
• scalar_product.cpp
  A test program program which measures the run-time of point and interval scalar product calculations (real and complex).

Example programs in C++ and C-XSC from the paper:
W. Hofschuster, W. Krämer and M. Neher: C-XSC and Closely Related Software Packages, Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar 08021, Revised Papers, LNCS 5492/2009, Springer Verlag, pp. 68-102, 2009

Download:

• lx_interval_demo.cpp   (source code with Makefile)
  Verified Multiple Precision Computation with very wide exponent range
  You need the lx_interval package to compile this example program.
• cinewton.cpp   (complete package with Makefile)
  Complex Interval Newton method
• matwrap.cpp   (source code with Makefile)
  Accurate Linear Interval Iterations (Powers of a square interval matrix)
• simpson.cpp   (complete package with Makefile)
  Verified Integration using Simpson's Rule
• clavis_example.cpp
  Verified Integration using the CLAVIS package
You need the CLAVIS package to compile this example program.
• mpi_vfis_ex.cpp
  Example for computing a verified enclosure for linear Fredholm Integral Equations of the second kind based on an MPI extension for the use of C-XSC in parallel environments. This program is designed for the parallel computer ALiCEnext; on other machines, the handling of input parameters and output files may require adjustments
You need the VFIS package (Parallel System Version, archiv file 'System-FIGL-Loeser-par.tgz') and additionaly the MPI extension to compile this example program.
• IESolve-CXSC.cpp
  Example for computing a verified enclosure for linear Fredholm Integral Equations of the second kind.
You need the VFIS package (Serial System Version, archiv file 'System-FIGL-Loeser.tgz') to compile this example program.

Example programs in C, C++ and C-XSC from the paper:
W. Hofschuster and W. Krämer: C-XSC 2.0 - A C++ Library for Extended Scientific Computing, Numerical Software with Result Verification, LNCS 2991/2004, Springer Verlag, pp. 15-35, 2004

Download:

• representable.cpp
  This C-XSC program checks whether the number 0.1 is representable as a point interval.
• constref.cpp
  A C++ program demonstrates the differences between reference parameters and const reference parameters.
• operators.cpp
  This C++ program shows the overloading of operators like [ ] for objects and const-objects.
• matrices.cpp
  The following program shows how the first row and the first column of a real matrix may be modified calling a function called testfct. The formal parameter of this function must be of data type rmatrix_subv.
• accumulate.cpp
  Example 5.1: Accurate summation of floating-point numbers with C-XSC.
• arith_expr1.cpp
  Example 5.2: Accurate evaluation of arithmetical expressions with staggered intervals in C-XSC.
• arith_expr2.cpp
  Example 5.2: Accurate evaluation of arithmetical expressions with C-XSC and CToolbox.
• lss1.c
  Example 5.3: Linear System of Equation in C with totally wrong result.
• nested_integral.cpp
  Example 5.4: Cauchy principal value integral in C-XSC. You need the CLAVIS library to compile this example program.
• timings.cpp
  Example 5.5: Time measurements in C-XSC

How can I get the C-XSC library?

http://www2.math.uni-wuppertal.de/wrswt/xsc/download.html