Here you can get Symbulator; a symbolic circuit simulation program and many other high quality applied mathematics and engineering programs.