TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - REDUCE User s Guide for the CRAY 1 / CRAY X-MP Series Running UNICOS. Version 3.3. N2 - This document describes operating procedures for running REDUCE specific to the CRAY 1 and CRAY X-MP computers running the Operating System UNICOS. The document was derived from the corresponding document for Vax/UNIX prepared by A. C. Hearn and L. R. Seward, The Rand Corporation, Santa Monica, (CP85). T3 - ZIB-Report - TR-88-02 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4539 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - REDUCE Installation Guide for CRAY 1 / X-MP Systems Running UNICOS. Version 3.3. N2 - This guide describes the CRAY/UNICOS REDUCE distribution tape and the procedures for installing, testing and maintaining REDUCE on a CRAY 1 or CRAY X-MP running UNICOS. This document was derived from the corresponding document for Vax/UNIX prepared by A. C. Hearn and L.R. Seward, The Rand Corporation, Santa Monica, publication CP84. T3 - ZIB-Report - TR-88-03 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4541 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - Parallel Polynomial Operations in the Buchberger Algorithm. N2 - The Buchberger algorithm is a basic tool for the solution of systems of polynomial equations in an environment of computer algebra applications. A model for overlapped processing of different steps of the algorithm is presented, which uses the data structure of the polynomials (distributive representation) for synchronization. The model can be applied for multi processors with fast access to shared data. It is tested with Cray X-MP multi processors based on a parallel version of Portable Standard Lisp (PSL 3.4). T3 - ZIB-Report - SC-88-04 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-125 ER - TY - GEN A1 - Melenk, Herbert A1 - Möller, H. Michael A1 - Neun, Winfried T1 - Symbolic Solution of Large Stationary Chemical Kinetics Problems. N2 - The paper presents a new application of computer algebra to the treatment of steady states of reaction systems. The method is based on the Buchberger algorithm. This algorithm was modified such that it can exploit the special structure of the equations derived from reaction systems, so even large systems can be handled. In contrast to numerical approximation techniques, the algebraic solution gives a complete and definite overview of the solution space and it is even applicable when parameter values are unknown or undetermined. The algorithm, its adaptation to the problem class and its application to selected examples are presented. T3 - ZIB-Report - SC-88-07 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-157 ER - TY - GEN A1 - Neun, Winfried A1 - Melenk, Herbert T1 - Implementation of the LISP-Arbitrary Precision Arithmetic for a Vector Processor. N2 - Portable Standard LISP (PSL, Version 3.4) and REDUCE 3 were implemented for CRAY1 and Cray X- MP computers at the Konrad-Zuse-Zentrum Berlin in 1986. As an special aspect of the implementation of PSL, an interface to the vector hardware of CRAY processors was defined. With that interface and mostly driven by the needs of REDUCE applications (e.g. extensive calculations of Gröbner bases), the arbitrary precision integer arithmetic of PSL was rebuild using full power of the vector hardware. A modular arithmetic using vector hardware was also constructed. T3 - ZIB-Report - SC-88-01 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-93 ER - TY - GEN A1 - Melenk, Herbert A1 - Möller, H. Michael A1 - Neun, Winfried T1 - On Gröbner Bases Computation on a Supercomputer Using REDUCE. N2 - Gröbner bases are the main tool for solving systems of algebraic equations and some other problems in connection with polynomial ideals using Computer Algebra Systems. The procedure for the computation of Gröbner bases in REDUCE 3.3 has been modified in order to solve more complicated algebraic systems of equations by some general improvements and by some tools based on the specific resources of the CRAY X-MP. We present this modification and illustrate it by examples. T3 - ZIB-Report - SC-88-02 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-107 ER -