DFG-SFB/Transregio 195: "Symbolische Werkzeuge in der Mathematik und ihre Anwendung"