enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Substitution (logic) - Wikipedia

    en.wikipedia.org/wiki/Substitution_(logic)

    Substitution is a basic operation in algebra, in particular in computer algebra. [ 10 ] [ 11 ] A common case of substitution involves polynomials , where substitution of a numerical value (or another expression) for the indeterminate of a univariate polynomial amounts to evaluating the polynomial at that value.

  3. Lambda calculus - Wikipedia

    en.wikipedia.org/wiki/Lambda_calculus

    Substitution, written M[x := N], is the process of replacing all free occurrences of the variable x in the expression M with expression N. Substitution on terms of the lambda calculus is defined by recursion on the structure of terms, as follows (note: x and y are only variables while M and N are any lambda expression): x[x := N] = N

  4. Integration by substitution - Wikipedia

    en.wikipedia.org/wiki/Integration_by_substitution

    In calculus, integration by substitution, also known as u-substitution, reverse chain rule or change of variables, [1] is a method for evaluating integrals and antiderivatives. It is the counterpart to the chain rule for differentiation , and can loosely be thought of as using the chain rule "backwards."

  5. Tangent half-angle substitution - Wikipedia

    en.wikipedia.org/.../Tangent_half-angle_substitution

    The substitution is described in most integral calculus textbooks since the late 19th century, usually without any special name. [5] It is known in Russia as the universal trigonometric substitution, [6] and also known by variant names such as half-tangent substitution or half-angle substitution.

  6. Change of variables - Wikipedia

    en.wikipedia.org/wiki/Change_of_variables

    Change of variables is an operation that is related to substitution. However these are different operations, as can be seen when considering differentiation or integration (integration by substitution). A very simple example of a useful variable change can be seen in the problem of finding the roots of the sixth-degree polynomial:

  7. Plethystic substitution - Wikipedia

    en.wikipedia.org/wiki/Plethystic_substitution

    Plethystic substitution is a shorthand notation for a common kind of substitution in the algebra of symmetric functions and that of symmetric polynomials. It is essentially basic substitution of variables, but allows for a change in the number of variables used.

  8. Algebra - Wikipedia

    en.wikipedia.org/wiki/Algebra

    Algebra is the branch of mathematics that studies certain abstract systems, known as algebraic structures, ... like substitution [44] and elimination, [45] ...

  9. Trigonometric substitution - Wikipedia

    en.wikipedia.org/wiki/Trigonometric_substitution

    In mathematics, a trigonometric substitution replaces a trigonometric function for another expression. In calculus , trigonometric substitutions are a technique for evaluating integrals. In this case, an expression involving a radical function is replaced with a trigonometric one.