Research Projects

DFG Collaborative Research Centre TRR 195 – Symbolic Tools in Mathematics and their Application (2nd round)

Aachen, Kaiserslautern, Saarland | Jan. 2021 -
[website]

Forschungsinitiative Rheinland-Pfalz – SymbTools

TU Kaiserslautern | Oct. 2019 -
[website]

DFG Collaborative Research Centre TRR 195 – Symbolic Tools in Mathematics and their Application (1st round)

Aachen, Kaiserslautern, Saarland | Jan. 2017 - Dec. 2020
[website]

DFG Priority Project SPP 1489 – Symbolic Tools in Mathematics and their Application (1st round)

TU Kaiserslautern | Feb. 2014 - Dec. 2016
[website]

ANR Exacta (INRIA) – Exact/Certified Computation with Algebraic Systems

Sorbonne Université | Jan. 2010 - Dec. 2013
[website]