算法验证翻译

英语翻译：

【计】 proof of algorithm

分词翻译：

算法的英语翻译：

algorithm; arithmetic
【计】 ALG; algorithm; D-algorithm; Roth's D-algorithm
【化】 algorithm
【经】 algorithm

验证的英语翻译：

test and verify
【计】 proofness; proving; validate; verification; verify check; verifying
【化】 proof; verification
【经】 examine