Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 11
    Book
    Book
    Lisp Anleitung (1975)
    Berlin,
    Details
    Title: Lisp Anleitung
    Author: Melenk, Herbert
    Contributer: Roitzsch, Rainer , Grossrechenzentrum für die Wissenschaft in Berlin
    Edition: 2. Aufl.
    Publisher: Berlin,
    Year of publication: 1975
    Type of Medium: Book
    Language: German
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 12
    Book
    Book
    Erschließung der Datenbanksoftware für die Speicherung von Zeitreihen : Studie zum Einsatz von DBS im wissenschaftlichen Bereich im Anschluß an eine Vortragsreihe im GRZ-Kolloquium (1975)
    Berlin :Großrechenzentrum für die Wissenschaft,
    Details
    Title: Erschließung der Datenbanksoftware für die Speicherung von Zeitreihen : Studie zum Einsatz von DBS im wissenschaftlichen Bereich im Anschluß an eine Vortragsreihe im GRZ-Kolloquium
    Author: Melenk, Herbert
    Contributer: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin :Großrechenzentrum für die Wissenschaft,
    Year of publication: 1975
    Type of Medium: Book
    Language: German
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 13
    Book
    Book
    Standard LISP und REDUCE 2 im BS 2000 (1981)
    Berlin :Großrechenzentrum für die Wissenschaft,
    Details
    Title: Standard LISP und REDUCE 2 im BS 2000
    Author: Melenk, Herbert
    Contributer: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin :Großrechenzentrum für die Wissenschaft,
    Year of publication: 1981
    Pages: 7 S.
    Type of Medium: Book
    Language: German
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 14
    facet.materialart.
    Unknown
    Portable Standard LISP for CRAY X-MP Computers. (1986)
    Details
    Publication Date: 2018-12-06
    Description: 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.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 15
    facet.materialart.
    Unknown
    Implementation of the LISP-Arbitrary Precision Arithmetic for a Vector Processor. (1988)
    Details
    Publication Date: 2018-12-06
    Description: 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.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 16
    facet.materialart.
    Unknown
    On Gröbner Bases Computation on a Supercomputer Using REDUCE. (1988)
    Details
    Publication Date: 2018-12-06
    Description: 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.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 17
    facet.materialart.
    Unknown
    Portable Common LISP Subset Implementation for CRAY X+MP Computers. (1987)
    Details
    Publication Date: 2018-12-06
    Description: This document describes the installation procedure and maintenance for the Portable Common LISP Subset (PCLS) developed at the University of Utah.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 18
    facet.materialart.
    Unknown
    REDUCE User s Guide for the CRAY 1 / CRAY X-MP Series Running UNICOS. Version 3.3. (1988)
    Details
    Publication Date: 2018-12-06
    Description: 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).
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 19
    facet.materialart.
    Unknown
    Implementation of Portable Standard LISP for the SPARC Processor. (1989)
    Details
    Publication Date: 2018-12-06
    Description: The SPARC processor is a RISC (Reduced Instruction Set Computer) microcomputer, built into the SUN4 workstations. Since RISC processors are very well-suited for LISP processing, the implementation of a dialect of LISP (Portable Standard LISP, PSL) boded well for a great speed-up in comparison with other types of microcomputers. A first approach was done at The RAND Corporation in Santa Monica, which was derived from classical processor types like MC68000 or VAX. At the Konrad- Zuse-Zentrum für Informationstechnik Berlin (ZIB) that initial implementation was redesigned in order to adapt PSL to the specific features of the SPARC processor. The present implementation, in some parts, is very close to Cray PSL version also done in ZIB. Some timing informations are given in the appendix.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 20
    facet.materialart.
    Unknown
    The Complexity Barrier in REDUCE - a Case Study. (1994)
    Details
    Publication Date: 2020-11-17
    Description: The power of the symbolic math system {\small REDUCE} for solving large and difficult problems in science and engineering is demonstrated by a set of model problems. These include algebraic equation solving, formal variable elimination, formal power series, symbolic treatment of differential equations and applications from theoretical physics.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...