Atlas est un logiciel de calcul formel sur la structure et les représentations (en dimension infinie) de groupes de Lie réels :

• donnée de racines (root datum) définissant un groupe réductif complexe connexe
• classe intérieure (inner class) de formes réelles
• formes réelles
• classes de conjugaison de sous-groupes de Cartan
• composantes connexes de groupes réels
• doubles classes K\G/B
• blocs de représentations
• polynômes de Kazhdan-Lusztig-Vogan
• W-graphes

I/O par fichiers texte

Développement du logiciel, recherche.