Prímség igazolása
Mátrix szorzási sémák
Definíció: NP nyelvosztály
Definício: Interaktív bizonyítások és az IP nyelvosztály
Példa: A nem-izomorfizmus probléma interaktív bizonyítása.
Valószínûségi bizonyítási sémák jelenleg nagyon aktív kutatási terület. Az interneten több összefoglaló cikk elérhetõ ebben a témában. Néhányat megadunk: