Refine
Year of publication
- 1993 (1) (remove)
Document Type
- ZIB-Report (1)
Language
- English (1)
Has Fulltext
- yes (1)
Is part of the Bibliography
- no (1)
Institute
- ZIB Allgemein (1)
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.