Mathematical Background of the Software

The starting point for the software is explained in Algorithms for Representation Theory of Real Groups by Jeffrey Adams and Fokko du Cloux, J. Inst. Math. Jussieu 8 (2009), 209-259.

The complete details are in Unitary Representations of Real Reductive Groups by Jeffrey Adams, Peter Trapa, Marc van Leeuwen, and David A. Vogan, Jr.

Also recommended:

The papers section of the web site has many other papers and notes, including the notes from the AIM workshops.