Mathematical analysis
Mathematics
Abstract interpretation
Function
Exponential function
Complex analysis
Formal methods
Centripetal CatmullRom spline