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 - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - Portable Standard LISP Implementation for CRAY X+MP Computers. Release of PSL 3.4 for COS. N2 - Portable Standard LISP (PSL) is a portable implementation of the programming language LISP constructed at the University of Utah. The version 3.4 of PSL was implemented for CRAY X-MP computers by Konrad Zuse-Zentrum Berlin; this implementation is based to an important part on the earlier implementation of PSL 3.2 at Salt Lake City, Los Alamos and Mendota Heights. T3 - ZIB-Report - TR-87-02 Y1 - 1987 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4465 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - Portable Common LISP Subset Implementation for CRAY X+MP Computers. N2 - This document describes the installation procedure and maintenance for the Portable Common LISP Subset (PCLS) developed at the University of Utah. T3 - ZIB-Report - TR-87-03 Y1 - 1987 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4479 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - REDUCE Installation Guide for CRAY 1 / X-MP Systems Running COS. Version 3.3. N2 - This guide describes the CRAY/COS REDUCE distribution tape and the procedures for installing, testing and maintaining REDUCE on a CRAY 1 or CRAY X-MP running COS. 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-87-04 Y1 - 1987 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4486 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - REDUCE Users Guide for the CRAY 1 / X-MP Series Running COS. Version 3.3. N2 - This document describes operating procedures for running REDUCE specific to the CRAY 1 and CRAY X-MP computers running the CRAY Operating System (COS). 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-87-05 Y1 - 1987 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-4498 ER - TY - GEN A1 - Anderson, J. A1 - Galway, W. A1 - Kessler, R. A1 - Melenk, Herbert A1 - Neun, Winfried T1 - The Implementation and Optimization of Portable Standard LISP for the CRAY. N2 - Portable Standard LISP (PSL), a dialect of LISP developed at the University of Utah, has been implemented and optimized for the CRAY 1 and CRAY X-MP supercomputers. This version uses a new implementation technique that permits a step-by-step development of the PSL kernel. The initial CRAY version was acceptable, although the execution speed of the PSL was not as fast as had been anticipated. CRAY-specific optimizations were undertaken that in some cases provided a ten-fold speed improvement, resulting in a fast LISP implementation. T3 - ZIB-Report - SC-87-01 Y1 - 1987 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-31 ER - TY - GEN A1 - Melenk, Herbert A1 - Neun, Winfried T1 - Portable Standard LISP for CRAY X-MP Computers. N2 - Portable Standard LISP (PSL) is a portable implementation of the programming language LISP constructed at the University of Utah. The version 3.4 of PSL was implemented for CRAY X-MP computers by Konrad-Zuse-Zentrum Berlin; this implementation is based to an important part on the earlier implementation of PSL 3.2 at the University of Utah, Los Alamos National Laboratories and CRAY Research Inc. at Mendota Heights. During the work on implementing PSL the language LISP was investigated for areas which can be supported by vector hardware. One area was found in the COMMON LISP sequence functions and some typical application areas of LISP programming can be improved by vector processing too. A model for the implementation of vector instructions in LISP was developed. For arithmetic an experimental vectorizing extent of the PSL compiler was constructed. With this means full vector hardware capacity can become available for LISP applications. T3 - ZIB-Report - SC-86-02 Y1 - 1986 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-28 ER -