calculus
111Itō calculus — Itō calculus, named after Kiyoshi Itō, extends the methods of calculus to stochastic processes such as Brownian motion (Wiener process). It has important applications in mathematical finance and stochastic differential equations.The central… …
112Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based …
113Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …
114List of basic calculus topics — For a more comprehensive list, see the List of calculus topics. Calculus is a central branch of mathematics, developed from algebra and geometry. It is built around two major complementary ideas, both of which rely critically on the concept of… …
115Infinitesimal calculus — Gottfried Wilhelm Leibniz (left) and Isaac Newton (right) …
116Secondary calculus and cohomological physics — In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the space of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and… …
117Multiplicative calculus — In mathematics, multiplicative calculus refers to a number of calculi whose derivative and integral are multiplicative as compared to the classical (or conventional) calculus which is additive and linear. Different examples are given below.… …
118Non-standard calculus — Abraham Robinson Contents 1 Motivation …
119Matrix calculus — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation Taylor s theorem Related rates …
120Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… …
