http://www.risc.jku.at/research/theorema/software/ https://github.com/windsteiger/Theorema http://www.risc.jku.at/research/theorema/software/documentation/tutorial/FirstTour.html

http://www.wolfram.com/mathematica/new-in-10/