Met het binnen bereik komen van symbolische rekenkracht op de computer, werd het voor de wiskundigen interessant om een algoritmische aanpak van reeds bekende terreinen uit te gaan werken. We noemen een paar voorbeelden van algemene aard.
