Ontify
Construction of Lie algebras (including, notably, the exceptional simple Lie algebras) from a pair of real division algebras (R, C, H, O).