C++ Toolbox for Verified Computing I
                       Basic Numerical Problems

    Copyright (c) 1995 Rolf Hammer, Matthias Hocks, Dietmar Ratz

    Wissenschaftliches Rechnen/Softwaretechnologie, 
    Universitaet GH Wuppertal, Germany

    This program/module is free software for non-commercial use. For 
    details on theory, algorithms, and programs, see the book

    R. Hammer, M. Hocks, U. Kulisch, D. Ratz:  C++ Toolbox for
    Verified Computing I - Basic Numerical Problems. Springer-Verlag,
    Heidelberg, New York, 1995.

    http://www.xsc.de/

Included toolbox modules: rpeval, cpzero, linsys, linopt

See help <module> for further information on usage.