In this talk I will survey current facilities for Lie theory computation in Magma. I will discuss both practical implementations and algorithmic aspects. This talk will cover:

• Root systems
• Coxeter groups and reflection groups
• Lie algebras
• Classical groups
• Groups of Lie type (reductive algebraic groups)
• Highest weight representations

I will also discuss possible future directions, including implementation of more general algebraic groups.