@misc{Melenk, author = {Melenk, Herbert}, title = {The Complexity Barrier in REDUCE - a Case Study.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-5119}, number = {TR-94-06}, abstract = {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.}, language = {en} } @misc{Melenk, author = {Melenk, Herbert}, title = {Algebraic Solution of Nonlinear Equation Systems in REDUCE.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-4944}, number = {TR-93-02}, abstract = {The strategy for solving nonlinear equation systems automatically in the computer algebra system REDUCE is described. Kernel of the solver is a factoring Buchberger algorithm. Pre -- and postprocessors enable the use of the Gr{\"o}bner techniques in a black box manner. In addition to polynomials equations with surds, trigonometric functions and separable transcendental functions are covered.}, language = {en} } @misc{CaprasseDemaretGatermannetal., author = {Caprasse, H. and Demaret, J. and Gatermann, Karin and Melenk, Herbert}, title = {Power-Law Type Solutions of Fourth-Order Gravity}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-466}, number = {SC-90-18}, abstract = {We study the power-law type solutions of the fourth order field equations derived from a generic quadratic Lagrangian density in the case of multidimensional Bianchi I cosmological models. All the solutions of the system of algebraic equations have been found, using computer algebra, from a search of the Groebner bases associated to it. While, in space dimension \$ d = 3 \$ , the Einsteinian Kasner metric is still the most general power-law type solution, for \$ d > 3 \$ , no solution, other than the Minkowski space-time, is common to the three systems of equations associated with the three contributions to the Lagrangian density. In the case of a pure Riemann-squared contribution (suggested by a recent calculation of the effective action for the heterotic string), the possibility exists to realize a splitting of the \$ d \$-dimensional space into a ( \$ d - 3 \$)-dimensional internal space and a physical 3- dimensional space, the latter expanding in time as a power bigger than 2 (about 4.5 when \$ d = 9 \$).}, language = {en} } @misc{ChevalierMelenkWarnatz, author = {Chevalier, C. and Melenk, Herbert and Warnatz, J.}, title = {Automatic Generation of Reaction Mechanisms for Description of Oxidation of Higher Hydrocarbons.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-361}, number = {SC-90-08}, abstract = {Oxidation mechanisms even for rather simple hydrocarbons like heptane consist due to the occurrence of many isomeric structures of thousands of reactions of hundreds of species. The automatic generation of these reaction mechanisms using artificial intelligence means is described. Results are presented for n-heptane-air mixtures, where a hand-written reaction mechanism tested against experimental data is available.}, language = {en} } @misc{MelenkNeun, 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}, 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{MelenkNeun, 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}, 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{MelenkNeun, 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}, 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{MelenkNeun, 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}, 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{MelenkMoellerNeun, author = {Melenk, Herbert and M{\"o}ller, H. Michael and Neun, Winfried}, title = {Symbolic Solution of Large Stationary Chemical Kinetics Problems.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-157}, number = {SC-88-07}, abstract = {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.}, language = {en} } @misc{NeunMelenk, 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}, 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} }