@misc{WolfNeun2008, author = {Wolf, Thomas and Neun, Winfried}, title = {About a Computer Algebra based online Mathtest}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10688}, number = {08-14}, year = {2008}, abstract = {The article describes the online mathematics test {\tt http://lie.math.brocku.ca/mathtest}, its typical applications and experiences gathered.}, language = {en} } @misc{NeunSturmVigerske2010, author = {Neun, Winfried and Sturm, Thomas and Vigerske, Stefan}, title = {Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11644}, number = {10-01}, year = {2010}, abstract = {Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods to prove or disprove convexity of rational functions over a polyhedral domain. Our algorithms reduce convexity questions to real quantifier elimination problems. Our methods are implemented and publicly available in the open source computer algebra system REDUCE. Our long term goal is to integrate REDUCE as a workhorse'' for symbolic computations into a numerical solver.}, language = {en} } @misc{NeunMelenk1988, author = {Neun, Winfried and Melenk, Herbert}, title = {Implementation of the LISP-Arbitrary Precision Arithmetic for a Vector Processor.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-93}, number = {SC-88-01}, year = {1988}, abstract = {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{\"o}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.}, language = {en} } @misc{MelenkNeun1988, author = {Melenk, Herbert and Neun, Winfried}, title = {Parallel Polynomial Operations in the Buchberger Algorithm.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-125}, number = {SC-88-04}, year = {1988}, abstract = {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).}, language = {en} } @misc{MelenkNeun1986, author = {Melenk, Herbert and Neun, Winfried}, title = {Portable Standard LISP for CRAY X-MP Computers.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-28}, number = {SC-86-02}, year = {1986}, abstract = {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.}, language = {en} } @misc{MelenkNeun1989, author = {Melenk, Herbert and Neun, Winfried}, title = {Implementation of Portable Standard LISP for the SPARC Processor.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4625}, number = {TR-89-06}, year = {1989}, abstract = {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{\"u}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.}, language = {en} } @misc{MelenkNeun1988, author = {Melenk, Herbert and Neun, Winfried}, title = {REDUCE User s Guide for the CRAY 1 / CRAY X-MP Series Running UNICOS. Version 3.3.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4539}, number = {TR-88-02}, year = {1988}, abstract = {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).}, language = {en} } @misc{MelenkNeun1988, author = {Melenk, Herbert and Neun, Winfried}, title = {REDUCE Installation Guide for CRAY 1 / X-MP Systems Running UNICOS. Version 3.3.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4541}, number = {TR-88-03}, year = {1988}, abstract = {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.}, language = {en} } @misc{MelenkNeun1987, author = {Melenk, Herbert and Neun, Winfried}, title = {Portable Standard LISP Implementation for CRAY X+MP Computers. Release of PSL 3.4 for COS.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4465}, number = {TR-87-02}, year = {1987}, abstract = {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.}, language = {en} } @misc{MelenkNeun1987, author = {Melenk, Herbert and Neun, Winfried}, title = {Portable Common LISP Subset Implementation for CRAY X+MP Computers.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4479}, number = {TR-87-03}, year = {1987}, abstract = {This document describes the installation procedure and maintenance for the Portable Common LISP Subset (PCLS) developed at the University of Utah.}, language = {en} }