SFB/TR 89 - Invasives Rechnen (InvasIC)