OSCAR Symbolic Tools
Edit this page Contact Imprint Privacy policy Supported by SFB-TRR 195 © 2018-2025 The OSCAR Team
OSCAR Symbolic Tools
OSCAR Coding Sprint 02/2026
Participants Program

Participants

  1. Igor Makhlin (TU Berlin)
  2. Kevin Kühn (TU Berlin)
  3. Michael Joswig (TU Berlin)
Edit this page Contact Imprint Privacy policy Supported by SFB-TRR 195 © 2018-2025 The OSCAR Team