subformula
counterformula
subequation
multiformula
incantation
atomic formula
simultaneous equations
baby formula
recurrence relation
prime formula
prenex
primitive
biordinal
Newton-Cotes formula
formulary
matrix operation
degree
preparation
formulation
succedent
ordinary differential equation
quadratic equation
schema
simple root
multiple root
sequent
matrix addition
antecedent
overrelaxation
prefactor
submultialgebra
axiom schema
axiom scheme
Voronoi formula
monic polynomial
counterterm
chemical formula
Jacobi polynomial
formulaicness
Alexander-Conway polynomial
Sheffer sequence
inference rule
quantic
binomial
polyexponential
transposition
rewriting
reformulation
Lax pair
Lagrange's interpolation formula
matrix algebra
equation
determinant
regression
quartic
similarity
singular value decomposition
fewnomial
sulfinylamine
Green's theorem
eliminand
exponential equation
Laguerre polynomial