Differential algebra

mathematical function built from basic functions and elementary operations

algebra over a field

an algebra equipped with a derivation

algorithm used to compute integrals of functions, especially used in computer algebra systems

in mathematics, computation of antiderivatives

function on an algebra which generalizes certain features of derivative operator

theorem

study of Galois symmetry groups of differential fields

tangent space associated to a point in a locally ringed space in algebraic geometry

algebraically defined notion of differential form on an algebra over a ring or on a scheme

theorem in differential algebra

differential associative algebra with integer grading in which the differential has grading +1 (cohomological convention) or −1 (homological convention)

type of derivative of a linear operator