Type InferenceExplores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Parts and Vectors in CoordinatesCovers landmarks, coordinate systems, frames, and terminology in coordinates, emphasizing geometric angles and orthogonal vectors.