Большой англо-русский и русско-английский словарь
мат. экспериментальное доказательство
English-Russian big polytechnic dictionary
экспериментальная проверка
proof machine — машина для проверки и сортировки депозитов
proof of deposits — система проверки и сортировки депозитов