n (countable|mathematics) Any formal system in which symbolic expressions are manipulated according to fixed rules.
n (uncountable|mathematics) differential calculus | Differential calculus and integral calculus considered as a single subject; analysis.