TY - GEN A1 - Melenk, Herbert T1 - Algebraic Solution of Nonlinear Equation Systems in REDUCE. N2 - 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öbner techniques in a black box manner. In addition to polynomials equations with surds, trigonometric functions and separable transcendental functions are covered. T3 - ZIB-Report - TR-93-02 Y1 - 1993 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/494 UR - https://nbn-resolving.org/urn:nbn:de:0297-zib-4944 ER -