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 - 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 -