Viens megapiemērs, kas nāk prātā, skatoties uz šo, ir programmu korektuma automātiska pierādīšana. Tur ir sastopama tieši tā pati "viennozīmīgi dati ar ne pārāk augstu dimensionalitāti un precīzi zināmi noteikumi" situācija. No tā, savukārt, izriet tas, ka šo pieeju varētu izmantot arī patvaļīgi plašiem matemātikas apgabaliem.