Computer algebra

In der Mathematik und Computeralgebra bezeichnet die automatische Differenzierung (auch Autodifferenzierung , Autodiff oder AD genannt ), auch algorithmische Differenzierung , rechnerische Differenzierung oder

Ein binärer Ausdrucksbaum ist eine spezielle Art von Binärbaum zur Darstellung von Ausdrücken . Zwei gängige Ausdruckstypen, die ein binärer Ausdrucksbaum darstellen kann, sind algebraische und boolesche Ausdrücke .

In der Mathematik und Informatik ist Computeralgebra , auch symbolische oder algebraische Berechnung genannt , ein wissenschaftliches Gebiet, das sich mit der Erforschung und Entwicklung von Algorithmen und Software zur

In der Mathematik bezeichnet man als elementare Funktion eine Funktion einer einzelnen Variablen ( reell oder komplex ), die typischerweise Anfängern begegnet.

In der kommutativen Algebra und der algebraischen Geometrie ist Eliminationstheorie die klassische Bezeichnung für algorithmische Ansätze zur Eliminierung einiger Variablen zwischen Polynomen mit mehreren Variablen, um

In der Mathematik ist die Resultante zweier Polynome ein Polynomausdruck ihrer Koeffizienten, der genau dann gleich null ist, wenn die Polynome eine gemeinsame Nullstelle (möglicherweise in einer Körpererweiterung )

In der Mathematik und Computeralgebra bezeichnet die Faktorisierung von Polynomen die Darstellung eines Polynoms mit Koeffizienten in einem gegebenen Körper oder in den ganzen Zahlen als Produkt irreduzibler Faktoren mit

In Mathematik und Informatik ist das Horner-Verfahren (oder Horner-Schema ) ein Algorithmus zur Polynomauswertung .

In der Mathematik , und insbesondere in der numerischen Analysis und Computeralgebra , besteht die Isolierung reeller Wurzeln eines Polynoms darin, disjunkte Intervalle der reellen Zahlengeraden zu erzeugen , die jeweils

In der Mathematik , insbesondere in der Computeralgebra und der Eliminationstheorie , bezeichnet man als reguläre Kette eine spezielle Art von Dreiecksmenge multivariater Polynome über einem Körper.

Die symbolische Regression ( SR ) ist eine Art der Regressionsanalyse , die den Raum mathematischer Ausdrücke durchsucht , um das Modell zu finden, das am besten zu einem gegebenen Datensatz passt, sowohl im Hinblick auf

Das „Journal of Symbolic Computation“ ist eine monatlich erscheinende, von Fachkollegen begutachtete wissenschaftliche Zeitschrift, die alle Aspekte des symbolischen Rechnens abdeckt und zunächst von Academic Press und