The Littlewood-Richardson rule, theory and implementation

We present the implementation of the Littlewood-Richardson rule in LiE. We describe the mathematical problem it applies to, formulate the rule, and indicate a proof. In a brief historical sketch we indicate some early formulations and partial proofs. We derive a formulation of the rule that can be implemented very efficiently.