Pascal-XSC Additional Software (Download)

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)

(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:


 
  AWA

(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:

Download:

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


 
  Inverse Sturm-Liouville Problem (ISLP)

(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:

Alternative Download (Universität Karlsruhe): ISLP


 
  Linear ODEs with Polynomial Coefficients (PIVP)

(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):

Necessary data files: Additional data files:

Alternative Download (Universität Karlsruhe): PIVP


 
  Linear n-th Order ODEs with Analytic Coefficients (LIVP)

(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):

Necessary data files: Additional data files:

Alternative Download (Universität Karlsruhe): LIVP


 
  Elementary Functions for Complex Intervals

(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:


 
  Multiple-Precision (Interval) Arithmetic (mp_ari / mpi_ari)

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

Download:


 
  Error function and complementory error function

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

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

Documentation:

Download:


 
  Ordinary Free Boundary Problem

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

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

Documentation:

Download:

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


 
  Iterative methods for linear complementarity problems with interval data

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

Documentation:

Download:

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


 
  A linear complementarity problem with a P-matrix

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

Documentation:

Download:

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


 
  Validated numerical integration of piecewise analytic functions over an interval

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

Documentation:

Download:

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


How can I get the Pascal-XSC compiler?

There are several free versions of PASCAL-XSC available for download from our www-server
http://www2.math.uni-wuppertal.de/wrswt/xsc/pxsc_download.html
or
http://www.xsc.de