Symbolic quantum gate simulation by maxima programming - Eeu, Tien Yew (2010)