noun: (complex analysis) Formula which links complex exponentiation with trigonometric functions:
noun: (differential geometry) Formula which calculates the normal curvature of an arbitrary direction in the tangent plane in terms of the principal curvatures 𝜅₁ and 𝜅₂ and the angle 𝜃 which that direction makes with the first principal direction:
