Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Opus Repository ZIB  (2)
  • 1990-1994  (2)
  • 1975-1979
  • 1994  (1)
  • 1993  (1)
Source
  • Opus Repository ZIB  (2)
Years
  • 1990-1994  (2)
  • 1975-1979
Year
  • 1994  (1)
  • 1993  (1)
  • 1990  (2)
Keywords
Language
  • 1
    facet.materialart.
    Unknown
    The Complexity Barrier in REDUCE - a Case Study. (1994)
    Details
    Publication Date: 2020-11-17
    Description: 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.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
  • 2
    facet.materialart.
    Unknown
    Algebraic Solution of Nonlinear Equation Systems in REDUCE. (1993)
    Details
    Publication Date: 2014-02-26
    Description: 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.
    Keywords: ddc:000
    Language: English
    Type: reportzib , doc-type:preprint
    Format: application/postscript
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    OPUS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...