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
setsdefining standard number sets: integers, reals, complexes, and important subsets of these
numeralnumber representions: binary, decimal, hexidecimal
additionadding numbers (repetitive counting)
subtractionsubtracting numbers (inverse of addition)
negationnegating numbers (subtraction from zero)
orderingordering relations of numbers: <, ≤ >, ≥
multiplicationmultiplying numbers (repetitive addition)
divisiondividing numbers (inverse of multiplication)
modularmodular arithmetic (i.e., remainders of division)
exponentiationexponentiating numbers (repetitive multiplication)
summationadd function evaluation instances: ∑
productmultiply function evaluation instances: ∏
differentiationrates of change; calculus: ∂, ∇, etc.
integrationsummation over infinitesimals, inverse of differentiation: ∫