Speaker: Scott Murray Title: Lie Theory in Magma Time & Place: 3-4pm, Thursday 17 Dec, Carslaw 535 Abstract: 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.