Ingen översättning hittades i den valda målspråket.

Din sökning innehåller flera ord. För bättre resultat, prova att söka orden separat: probabilistically, checkable, proof

Liknande ord

Definitioner

Substantiv

  1. (mathematics) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Böjningsformer

Pluralprobabilistically checkable proofs

Kategorier