×

Guide to the Atlas software: computational representation theory of real reductive groups. (English) Zbl 1175.22001

Arthur, James (ed.) et al., Representation theory of real reductive Lie groups. AMS-IMS-SIAM joint summer research conference, Snowbird, UT, USA, June 4–8, 2006. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4366-6/pbk). Contemporary Mathematics 472, 1-37 (2008).
The main goal of the Atlas computer software is to compute the unitary dual of any real reductive Lie group \(G\). As a step in this direction, it currently computes the admissible representations of \(G\).
The underlying mathematics of the software is described in [J. Adams and F. du Cloux, J. Inst. Math. Jussieu 8, No. 2, 209–259 (2009; Zbl 1221.22017)].
This paper is a guide to the software that is illustrated by numerous examples. The software is currently in an early stage of development. Improved versions will be available soon.
For the entire collection see [Zbl 1148.22001].

MSC:

22-04 Software, source code, etc. for problems pertaining to topological groups
68W30 Symbolic computation and algebraic computation
22E15 General properties and structure of real Lie groups
22E30 Analysis on real and complex Lie groups

Citations:

Zbl 1221.22017
PDFBibTeX XMLCite
Full Text: arXiv