Proof theory
Diophantine approximation
Dynamic programming
Earley parser
Euclidean algorithm
Mathematics
Mathematical analysis
Mathematical logic