English
|
German
|
Russian
|
Czech
English
for English speakers
English
as a second language
Englisch
für Deutschsprachige
английский
для русскоговорящих
angličtina
pro mluvčí češtiny
probabilistically checkable proof
English
Meaning
probabilistically checkable proof
meaning
What does
probabilistically checkable proof
mean?
probabilistically checkable proof
noun
—
(
mathematics
)
A
reasonable
proof
of
a
computational
theorem
or
conjecture
obtained
via
a
randomized
algorithm
.
Are you looking for...?
probabilistically
|
checkable
|
proof
probabilistic safety assessment
|
probabilistic safety analysis
|
probabilistic automata
|
probabilistic system
|
probabilistic model
|
probabilistics
|
probabilistic
|
probabilist
|
probabilism
|
probability level
|
probability unit method
|
probability of occurrence