Calculus

← Back to Domain-Specific Abstractions by Domain

4 domain-specific abstractions whose origin domain is Calculus.

• Antiderivative — A function whose derivative equals a given function on a declared domain, with all solutions differing by constants on each connected component under standard assumptions.
• Differential of a function — The linear map giving the first-order change of a differentiable function at a point, written df and represented in one variable by dy=f′(x)dx.
• Indeterminate form — A limiting-value pattern whose component limits do not by themselves determine the limit of their arithmetic combination.
• One-sided limit — The limiting value approached by a function when its argument tends to a point only through values on one specified side.