dependent variable
Jacobian conjecture
prime formula
unknown
unknown quantity
system of equations
simultaneous equations
mathbabble
multiformula
system
plexus
recurrence relation
overparametrization
quartic
partial differential equation
schema
axiom scheme
axiom schema
long long
algebraic number
Lax pair
lambda term
superequilibrium
nonequation
underrelaxation
hyperjump
lambda expression
eigenproblem
biharmonic
incantation
root
infinitesimal analysis
exponential equation
multilinking
prenex
set operation
solution
declarative programming
Heyting algebra
subequation
counterextension
formulism
abuse of notation
matrix algebra
parenthesis-free notation
degree
arithmetical hierarchy
matrix operation
schematic variable
algebraic variety