1. McCune mußte deshalb sein neues Beweisprogramm EQP speziell auf die Lösung einer Problemklasse zuschneiden. ( Quelle: Die Zeit (13/1998)）
2. In einem vom BMBF geförderten Verbundprojekt mit der WASY GmbH Berlin werden adaptive Algorithmen für diese Problemklasse entwickelt. ( Quelle: bmb+f Forschungslandkarte Deutschland 1998）