algorithmicization
time complexity
superoptimizer
computable function
approximand
algorithmization
Cook reduction
algorithmizability
universal algebra
polynomialist
Kosaraju's algorithm
algebraic language
hyperstructure
onto function
prime formula
algebraicity
headroom
polytime
surjective function
surjection
Hermite polynomial
Alexander-Conway polynomial
number cruncher
approximation algorithm
Legendre polynomial
cobwebbing
absolute term
numerical analysis
Zeno machine
correctness
fill-in
extended Euclidean algorithm
irreducible
forward-backward algorithm
lazy evaluation
finger tree
Real Programmer
Schur function
matrix algebra
algorithmist
quartic function
loop invariant
trapdoor function
approximant
synchrosqueezing
span
Rademacher complexity
pseudocoding
anamorphism
BFI