Rekenkundige liertheorie kin lierlinge beoordelen op rekenkundige complexiteit, op steekproofcomplexiteit (wieväöl gegevens nudig zien) of op aandere nosies vaan optimalisaasie.