Sekirov Dictionary

probabilistically checkable proof

noun1

A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

forms

probabilistically checkable proofs

This dictionary works without the internet: on your phone · in Chrome