[Publicity] Theorema 2.0 is available for download

[RISC Secretary]

Dear friends and colleagues,

it is a great pleasure to announce that

   *** Theorema 2.0 is available for download ***

since Friday, July 11, 2014. Please visit

http://www.risc.jku.at/research/theorema/software/

for any further information. You might also visit

https://www.facebook.com/mathematicsTheorema

We hope you enjoy,
Bruno Buchberger & The Theorema Group
RISC, JKU Linz, Austria.