English Dictionary

The mathematician explained how the new probabilistically checkable proof reduced the verification time for large computational theorems.

その数学者は、新しいランダム化アルゴリズムで検証できる証明が大規模な計算定理の検証時間を短縮したことを説明した。