TY - GEN A1 - Melenk, Herbert T1 - The Complexity Barrier in REDUCE - a Case Study. N2 - 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. T3 - ZIB-Report - TR-94-06 Y1 - 1994 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/511 UR - https://nbn-resolving.org/urn:nbn:de:0297-zib-5119 ER -