אנגלית ⇄ סינית +

formalized arithmetic
.טֶכנו	形式化算法
.מָתֵי	★ 形式化算术