Search results

called infinitesimal calculus or "the calculus of infinitesimals", it has two major branches, differential calculus and integral calculus. The former concerns...

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application...

Multivariable calculus (also known as multivariate calculus) is the extension of calculus in one variable to calculus with functions of several variables:...

In dentistry, calculus or tartar is a form of hardened dental plaque. It is caused by precipitation of minerals from saliva and gingival crevicular fluid...

Calculus, originally called infinitesimal calculus, is a mathematical discipline focused on limits, continuity, derivatives, integrals, and infinite series...

The term vector calculus is sometimes used as a synonym for the broader subject of multivariable calculus, which spans vector calculus as well as partial...

Differential calculus Integral calculus Multivariable calculus Fractional calculus Differential Geometry History of calculus Important publications in calculus Continuous...

In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed...

Placement (AP) Calculus (also known as AP Calc, Calc AB / BC, AB / BC Calc or simply AB / BC) is a set of two distinct Advanced Placement calculus courses and...

differential calculus is a subfield of calculus that studies the rates at which quantities change. It is one of the two traditional divisions of calculus, the...

In mathematics, tensor calculus, tensor analysis, or Ricci calculus is an extension of vector calculus to tensor fields (tensors that may vary over a...

In mathematics, matrix calculus is a specialized notation for doing multivariable calculus, especially over spaces of matrices. It collects the various...

In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise...

The felicific calculus is an algorithm formulated by utilitarian philosopher Jeremy Bentham (1748–1832) for calculating the degree or amount of pleasure...

the calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus has...

An ethical calculus is the application of mathematics to calculate issues in ethics. Generally, ethical calculus refers to any method of determining a...

Stochastic calculus is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals...

Calculus bovis, niu-huang (牛黃) or cattle gallstones are dried gallstones of cattle used in Chinese herbology. In China and Japan it has been long used...

In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a...

Professor Cuthbert Calculus (French: Professeur Tryphon Tournesol [pʁɔ.fɛ.sœʁ tʁi.fɔ̃ tuʁ.nə.sɔl], meaning "Professor Tryphon Sunflower") is a fictional...