# Context: proveit.number¶

Covers all generic number concepts: sets of numbers (integers, reals, and complexes), number relations (<, $\leq$, >, $\geq$), and numeric operations (+, -, $\times$, /, mod, exp), and operations over numeric functions ($\sum$, $\prod$, $\partial$, $\nabla$, $\int$).

In [1]:
import proveit
%context # toggles between interactive and static modes
common expressions axioms theorems demonstrations
sets defining standard number sets: integers, reals, complexes, and important subsets of these number representions: binary, decimal, hexidecimal adding numbers (repetitive counting) negating numbers (subtraction from zero) ordering relations of numbers: <, ≤ >, ≥ multiplying numbers (repetitive addition) dividing numbers (inverse of multiplication) modular arithmetic (i.e., remainders of division) exponentiating numbers (repetitive multiplication) add function evaluation instances: ∑ multiply function evaluation instances: ∏ rates of change; calculus: ∂, ∇, etc. summation over infinitesimals, inverse of differentiation: ∫