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