Here, you find a collection of useful programs in Pascal-XSC and some additional modules for Pascal-XSC:
 

• Numerical Toolbox for Verified Computing I (Pascal-XSC)
• AWA
• Inverse Sturm-Liouville Problem (ISLP)
• Linear ODEs with Polynomial Coefficients (PIVP)
• Linear n-th Order ODEs with Analytic Coefficients (LIVP)
• Elementary Functions for Complex Intervals
• Multiple-Precision (Interval) Arithmetic (mp_ari / mpi_ari)
• Error function and complementory error function
• Ordinary Free Boundary Problem
• Iterative methods for linear complementarity problems
• A linear complementarity problem with a P-matrix
• Validated numerical integration of piecewise analytic functions over an interval

(Authors: R. Hammer, M. Hocks, U. Kulisch, D. Ratz; Universität Karlsruhe)

Content:

1. One-Dimensional Problems:
   • Evaluation of Polynomials (Module rpoly, Module rpeval)
   • Automatic Differentiation (Module ddf_ari)
   • Nonlinear Equations in One Variable (Module xi_ari, Module nlfzero)
   • Global Optimization (Module lst1_ari, Module gop1)
   • Evaluation of Arithmetic Expressions (Module expreval)
   • Zeros of Complex Polynomials (Module cpoly, Module cipoly, Module cpzero)
2. Multi-Dimensional Problems:
   • Linear Systems of Equations (Module matinv, Module linsys)
   • Linear Optimization (Module lop_ari, Module rev_simp, Module lop)
   • Automatic Differentiation for Gradients, Jacobians, and Hessians (Module hess_ari, Module grad_ari)
   • Nonlinear Systems of Equations (Module nlss)
   • Global Optimization (Module lst_ari, Module gop)
3. Utility Modules:
   • (Modules b_util, r_util, i_util, mvi_util)

Documentation:
R. Hammer, M. Hocks, U. Kulisch, D. Ratz: "Numerical Toolbox for Verified Computing I", Springer Verlag, Berlin, Heidelberg (1993).

Download:

• Dos: README, toolbox.zip, pkunzip.exe
• Unix: README, toolbox.tar.Z

(Author: R. Lohner; Universität Karlsruhe)

Content: AWA is a software for the computation of guaranteed bounds for solutions of ordinary initial value problems.

Documentation:

• R. Lohner: "Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen", Dissertation, Universität Karlsruhe (1988).
• W. Krämer, W. Hofschuster: "Bedienungsanleitung zum Programm AWA" (Postscript 183 KB).

Download:

• README,
• DOS: awaMSDOS.zip, unzip.exe
• UNIX: awa.bin.HPPA.tar.Z, awa.bin.LINUX.tar.Z, awa.bin.RS6000.tar.Z, awa.bin.SUN4.tar.Z, awa.src.tar.Z

Alternative Download (FTP-Server Universität Karlsruhe): README, DOS, UNIX,

(Author: M. Neher; Universität Karlsruhe)

Content: A Pascal-XSC package for the inverse Sturm-Liouville problem with examples. ISLP is distributed without any warranty.

Download:

• ISLP (released 950620)
  
• README
  

Alternative Download (Universität Karlsruhe): ISLP

(Author: M. Neher; Universität Karlsruhe)

Content: A Pascal-XSC package for the validated solution of linear ODEs with polynomial coefficients.

Download: Necessary Pascal-XSC program files (compile in this order):

• Useful procedures that close gaps in ordinary Pascal-XSC (File service.p)
  
• Staggered correction arithmetic module (File mps_arip.p)
  
• ODE solver (File pivp_mps.p)
  
• Main program (File pivp9906.p)
  

Necessary data files:

• Data input file (File awp.ein)
  
• Date file (File aktdatum.txt)
  

Additional data files:

• Example 1 (File pivpbsp1.ein)
  
• Example 2 (File pivpbsp2.ein)
  
• Example 3 (File pivpbsp3.ein)
  
• Example 4 (File pivpbsp4.ein)
  

Alternative Download (Universität Karlsruhe): PIVP

(Author: M. Neher; Universität Karlsruhe)

Content: A Pascal-XSC package for the validated solution of linear n-th order ODEs with analytic coefficients.

Download: Necessary Pascal-XSC program files (compile in this order):

• Useful procedures that close gaps in ordinary Pascal-XSC (File service.p)
  
• Multiple precision real arithmetic module (File mp_ari.p)
  
• Multiple precision interval arithmetic module (File mpi_ari.p)
  
• Complex standard functions module (File icf_ari.p)
  
• Real interval Taylor arithmetic module (File itaylor.p)
  
• Complex interval Taylor arithmetic module (File citaylor.p)
  
• Staggered correction arithmetic module (File mps_aril.p)
  
• Staggered correction Taylor Arithmetic module (File mps_tayl.p)
  
• Module for the definition of the IVP (File ivp_data.p)
  
• Module for the computation of modified Cauchy estimates (File cauchyco.p)
  
• ODE solver (File livp_mps.p)
  
• Main program (File livptayp.p)
  

Necessary data files:

• Data input file (File awp.ein)
  
• Date file (File aktdatum.txt)
  

Additional data files:

• Example 1 (File livpbsp1.ein)
  
• Example 2 (File livpbsp2.ein)
  
• Example 3 (File livpbsp3.ein)
  

Alternative Download (Universität Karlsruhe): LIVP

(Authors: W. Krämer, A. Westphal)

Content: Elementary functions (exp, sin, cos, sinh, cosh, tan, cot, tanh, coth, arg, ln, log2, log10, sqrt, arcsin, arccos, arsinh, arcosh, arctan, arccot, artanh, arcoth, power) for complex intervals.

Download:

• ci_functions.p

(Authors: K. Braune, D. Cordes, R. Hammer, W. Hofschuster, W. Krämer)

Download:

• Multiple precision real arithmetic: mp_ari.p
• Multiple precision interval arithmetic: mpi_ari.p

(Authors: F. Blomquist, W. Krämer)

Content: Reliable computation of the error function and the complementory error function.

Documentation:

• Krämer, W.; Blomquist, F.: "Reliable computation of the error function and the complementory error function", Preprint BUGHW-WRSWT 2000/2, Universität Wuppertal, 2000 (Postscript (851 KB), PDF (387 KB)).
• Blomquist, F.; Krämer, W.: "Algorithmen mit garantierten Fehlerschranken für die Fehler- und die komplementäre Fehlerfunktion", Preprint IWRMM 97/3, Universität Karlsruhe, 1997 (Postscript (543 KB)).

Download:

• erf_help.p
• erf_mod.p
• erf_test.p

(Author: U. Schäfer; Universität Karlsruhe)

Content: Programs for the validated solution of ordinary free boundary problems.

Documentation:

• Readme (Postscript 43 KB)
• Schäfer, U.: "An enclosure method for free boundary problems based on a linear complementarity problem with interval data", Numer. Funct. Anal. Optim., 22 (2001), pp. 991-1011.
• Schäfer, U.: "Accelerated enclosure methods for ordinary free boundary problems", Reliable Computing 9 (2003), pp. 391-403.

Download:

• Freebound1.p, Freebound2.p, Freebound3.p, Freebound4.p
• newG1.p, newG2.p, newG3.p, newG4.p
• Mix1.p, Mix2.p, Mix3.p, Mix4.p
• Fastmix1.p, Fastmix2.p, Fastmix3.p, Fastmix4.p
• Fastermix1.p, Fastermix2.p, Fastermix3.p, Fastermix4.p
• Fastestmix1.p, Fastestmix2.p, Fastestmix3.p, Fastestmix4.p

Alternative Download (Universität Karlsruhe): U. Schäfer

(Author: U. Schäfer; Universität Karlsruhe)

Documentation:

• Alefeld, G.; Schäfer, U.: "Iterative methods for linear complementarity problems with interval data", Computing, 70 (2003), pp. 235-259.

Download:

• jacobi.p, esv.p, sesv.p
• GS1.p, ESV1.p, SESV1.p (especially for Example 5.6)

Alternative Download (Universität Karlsruhe): U. Schäfer

(Author: U. Schäfer; Universität Karlsruhe)

Documentation:

• Schäfer, U.: "A linear complementarity problem with a P-matrix", SIAM Rev., 46 (2004), pp. 189-201.

Download:

• newton.p
• ILA.p

Alternative Download (Universität Karlsruhe): U. Schäfer

(Author: K. Petras; Universität Braunschweig/Universität Wuppertal)

Documentation:

• Description of the package
• Petras, K.: " Self-Validating Integration and Approximation of Piecewise Analytic Functions", Preprint.

Download:

• cinte.tgz

Alternative Download (Universität Braunschweig): K. Petras

How can I get the Pascal-XSC compiler?

http://www2.math.uni-wuppertal.de/wrswt/xsc/pxsc_download.html
or
http://www.xsc.de