Definition, synonyms and related words
A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.