Akademik

Beweisalgorithmus

(m)

алгоритм доказательства, алгоритм, дающий доказательство

Немецко-русский математический словарь. 2013.