The Complexity Barrier in REDUCE - a Case Study.
Please always quote using this URN: urn:nbn:de:0297-zib-5119
- 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.
Author: | Herbert Melenk |
---|---|
Document Type: | ZIB-Report |
Date of first Publication: | 1994/07/20 |
Series (Serial Number): | ZIB-Report (TR-94-06) |
ZIB-Reportnumber: | TR-94-06 |