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:

Quasisplit Hecke algebras and symmetric spaces by George Lusztig and David A. Vogan Jr., Duke Math. J. 163 (2014), no. 5, 983-1034. The theory of twisted Kazhdan-Lusztig-Vogan polynomials.

Parameters for Twisted Representations by Jeffrey Adams and David A. Vogan Jr. - application of the previous paper to computing Hermitian forms on unequal rank groups

Representations of K by David Vogan, Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap., 12 (2007) 321-401, on computing K-types of representations.

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