Symbolic and numeric quantum circuit simulation. - Alexandre de A. Barbosa; Bernardo Lulo Jr.; Aércio Ferreira de Lima (ICQNM, 2007)